María García de la Banda

Author

Also Known As

M García de la Banda, M. Garcia de la Banda, M. García Banda, M. García de la Banda, MARIA GARCIA DE LA BANDA, MARIC GARCÍA DE LA BANDA, MARÍA GARCÍA DE LA BANDA, Madrina Banda, Maria Banda, Maria Garcia De La Banda

148

Publications

2.4K

Citations

H-Index

Concepts

All Affiliations

Monash University The University of Melbourne Data61 Universidad Politécnica de Madrid Pennsylvania State University

About

María García de la Banda is an author at Monash University specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	26	1.1K
2	Medicine	3	3	269
3	Language Studies	2	2	98
4	Natural Sciences	2	2	251
5	Biochemistry	2	2	251

María García de la Banda

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
Functional insights from the distribution and role of homopeptide repeat-containing proteins Noel G. Faux, Stephen Bottomley, Arthur M. Lesk, Genome Research Amino AcidsProtein AssemblyGeneticsMolecular BiologyHomopeptide Repeat-containing Proteins	2005	209
The Design of the Zinc Modelling Language Kim Marriott, Nicholas Nethercote, Reza Rafeh, Constraints EngineeringFormal ModelingModeling MethodDesignFormal Methods	2008	136
Proceedings of the 24th International Conference on Logic Programming (ICLP 2008) María García de la Banda, Enrico Pontelli Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	2008	124
POPS: A COMPUTATIONAL TOOL FOR MODELING AND PREDICTING PROTEASE SPECIFICITY Sarah Boyd, Robert N. Pike, George B. Rudy, Journal of Bioinformatics and Computational Biology	2005	98
Finding all minimal unsatisfiable subsets María García de la Banda, Peter J. Stuckey, Jeremy Wazny Mathematical ProgrammingEngineeringVerificationComputational ComplexityFormal Verification	2003	76
Improving abstract interpretations by combining domains Michael Codish, Anne Mulkers, Maurice Bruynooghe, ACM Transactions on Programming Languages and Systems EngineeringSoftware SystemsVerificationSoftware EngineeringSemantics	1995	75
Global analysis of constraint logic programs María García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, ACM Transactions on Programming Languages and Systems Dataflow AnalysisConstraint SolvingGeneralized FrameworkEngineeringDeclarative Programming	1996	67
Effectiveness of global analysis in strict independence-based automatic parallelization Francisco Bueno, María García de la Banda, Manuel V. Hermenegildo International Conference on Logic Programming Cluster ComputingEngineeringComputer ArchitectureParallel ImplementationSoftware Analysis	1994	63
Lock-free parallel dynamic programming Alex Stivala, Peter J. Stuckey, María García de la Banda, Journal of Parallel and Distributed Computing Mathematical ProgrammingEngineeringProgram AnalysisComputer ArchitectureDynamic Programming	2010	49
Analyzing logic programs with dynamic scheduling Kim Marriott, María García de la Banda, Manuel V. Hermenegildo Programming Language TheoryLogic Programming LanguagesEngineeringRuntime VerificationAutomated Reasoning	1994	45

Page 1