Get started
Author

María García de la Banda

Observed names: Garcia de la Banda, Maria, 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, Maria Garcia De La Banda, Maria Garcia de La Banda, Maria Garcia de la Banda, Maria García De La Banda, Maria García de la Banda, María García Banda, María José García de la Banda, de la Banda, M Garcia, de la Banda, Maria Garcia
Institution: Monash University
Observed institutions: Ben-Gurion University of the Negev, Commonwealth Scientific and Industrial Research Organisation, Pennsylvania State University, Australian Research Council, The University of Melbourne, IMDEA Software Institute, Data61, Monash University, Universidad Politécnica de Madrid, KU Leuven
ORCID: 0000-0002-6666-514X
Observed ORCID: 0000-0002-6666-514X
OpenAlex ID: A5083095334
Functional insights from the distribution and role of homopeptide repeat-containing proteins
2005 · Noel G. Faux, Stephen P. Bottomley, et al. · Genome Research · 204
PDF
The Design of the Zinc Modelling Language
2008 · Kim Marriott, Nicholas Nethercote, et al. · Constraints · 145
Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)
2008 · Maria García de la Banda, Enrico Pontelli · 139
The Refined Operational Semantics of Constraint Handling Rules
2004 · Gregory J. Duck, Peter J. Stuckey, et al. · Lecture notes in computer science · 121
Pops: a Computational Tool for Modeling and Predicting Protease Specificity
2005 · SARAH E. BOYD, ROBERT N. PIKE, et al. · Journal of Bioinformatics and Computational Biology · 95
Finding all minimal unsatisfiable subsets
2003 · Maria Garcia de la Banda, Peter J. Stuckey, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 77
Improving abstract interpretations by combining domains
1995 · Michael Codish, Anne Mulkers, et al. · ACM Transactions on Programming Languages and Systems · 76
PDF
Global analysis of constraint logic programs
1996 · M. Garcia de la Banda, M. Hermenegildo, et al. · ACM Transactions on Programming Languages and Systems · 65
Effectiveness of global analysis in strict independence-based automatic parallelization
1994 · Francisco Bueno, Maria García de la Banda, et al. · Hispana · 63
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
1995 · Manuel V. Hermenegildo, Francisco Bueno, et al. · Hispana · 52
Lock-free parallel dynamic programming
2010 · Alex Stivala, Peter J. Stuckey, et al. · Journal of Parallel and Distributed Computing · 50
An Overview of HAL
1999 · Bart Demoen, Maria García de la Banda, et al. · Lecture notes in computer science · 50
Analyzing logic programs with dynamic scheduling
1994 · Kim Marriott, María José García de la Banda, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 47
PDF
Improving abstract interpretations by combining domains
1993 · M. Codish, A. Mulkers, et al. · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 46
Effectivness of abstract interpretation in automatic parallelization
1999 · Francisco Bueno, María García de la Banda, et al. · ACM Transactions on Programming Languages and Systems · 44
PDF
Elucidation of the Substrate Specificity of the C1s Protease of the Classical Complement Pathway
2005 · Felicity K. Kerr, Grace O'Brien, et al. · Journal of Biological Chemistry · 43
Optimizing compilation of constraint handling rules in HAL
2005 · CHRISTIAN HOLZBAUR, MARIA GARCIA DE LA BANDA, et al. · Theory and Practice of Logic Programming · 43
PDF
The Modelling Language Zinc
2006 · Maria Garcia de la Banda, Kim Marriott, et al. · Lecture notes in computer science · 42
Solving Talent Scheduling with Dynamic Programming
2010 · Maria Garcia de la Banda, Peter J. Stuckey, et al. · INFORMS journal on computing · 40
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
1999 · K. Muthukumar, F. Bueno, et al. · The Journal of Logic Programming · 39
PDF
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
2005 · Peter J. Stuckey, Maria Garcia de la Banda, et al. · Lecture notes in computer science · 37
Dynamic Programming to Minimize the Maximum Number of Open Stacks
2007 · Maria Garcia de la Banda, Peter J. Stuckey · INFORMS journal on computing · 36
Optimizing Compilation of Constraint Handling Rules
2001 · Christian Holzbaur, María García de la Banda, et al. · Lecture notes in computer science · 36
RCPdb: An evolutionary classification and codon usage database for repeat-containing proteins
2007 · Noel G. Faux, Gavin A. Huttley, et al. · Genome Research · 34
PDF
PoPS: a computational tool for modeling and predicting protease specificity
2004 · S.E. Boyd, M. Garcia de la Banda, et al. · IEEE Computational Systems Bioinformatics Conference (CSB) · 34
Works count: 160
Citation count: 2,635
H-index: 29
I10-index: 68
Year
Topic
Type