Maria Garcia de la Banda

Cited by

	All	Since 2020
Citations	3812	714
h-index	33	14
i10-index	81	28

260

130

195

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 74 69 123 79 31 62 69 77 65 64 99 145 137 189 251 163 144 160 143 141 115 124 115 117 134 110 120 132 152 143 127 39

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Christopher MearsRedbubbleVerified email at cmears.id.au
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Reza RafehSenior Academic Staff Member, Waikato Institute of TechnologyVerified email at wintec.ac.nz
James WhisstockMonash University, ARC Centre of Excellence in Advanced Molecular Imaging, EMBL AustraliaVerified email at monash.edu
Arun KonagurthuDepartment of Data Science and AI, Monash UniversityVerified email at monash.edu
Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
lloyd allison-Verified email at monash.edu.au
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
Manuel CarroIMDEA Software Institute and Universidad Politécnica de MadridVerified email at imdea.org
Gregory J. DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Geoffrey ChuNICTA VRL, University of MelbourneVerified email at csse.unimelb.edu.au
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Kevin LeoMonash UniversityVerified email at monash.edu
Sarah BoydMonash UniversityVerified email at monash.edu

Maria Garcia de la Banda

Faculty of Information Technology, Monash University

Verified email at monash.edu

Declarative Programming Languages Constraint Programming Parallelism Bioinformatics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Functional insights from the distribution and role of homopeptide repeat-containing proteins NG Faux, SP Bottomley, AM Lesk, JA Irving, JR Morrison, ... Genome research 15 (4), 537-551, 2005	236	2005
The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004	234	2004
The design of the Zinc modelling language K Marriott, N Nethercote, R Rafeh, PJ Stuckey, M Garcia De La Banda, ... Constraints 13, 229-267, 2008	192	2008
Improving abstract interpretations by combining domains M Codish, A Mulkers, M Bruynooghe, MG De La Banda, M Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 1995	164	1995
POPS: A COMPUTATIONAL TOOL FOR MODELING AND PREDICTING PROTEASE SPECIFICITY E SARAH, N ROBERT, B GEORGE, CW JAMES, MG DE LA BANDA Journal of Bioinformatics and Computational Biology. 3 (4), 551-585, 2005	123*	2005
Finding all minimal unsatisfiable subsets MG de la Banda, PJ Stuckey, J Wazny Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	118	2003
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ... Informatica, 1996	117	1996
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. F Bueno, MJG de la Banda, MV Hermenegildo ILPS, 320-336, 1994	107	1994
Global analysis of constraint logic programs M García de la Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ... ACM Transactions on Programming Languages and Systems 18 (5), 564-614, 1996	94	1996
An overview of HAL B Demoen, MG de la Banda, W Harvey, K Marriott, P Stuckey Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999	89	1999
Lock-free parallel dynamic programming A Stivala, PJ Stuckey, MG de la Banda, M Hermenegildo, A Wirth Journal of Parallel and Distributed Computing 70 (8), 839-848, 2010	75	2010
Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming F Bueno, M Garcia De La Banda, M Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (2), 189-239, 1999	75	1999
Analyzing logic programs with dynamic scheduling K Marriott, MJ García de la Banda, M Hermenegildo Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	75	1994
The modelling language Zinc MG de la Banda, K Marriott, R Rafeh, M Wallace International Conference on Principles and Practice of Constraint …, 2006	70	2006
The G12 project: Mapping solver independent models to efficient solutions PJ Stuckey, MG De La Banda, M Maher, K Marriott, J Slaney, Z Somogyi, ... Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005	69	2005
Optimizing compilation of constraint handling rules in HAL C Holzbaur, MG De La Banda, PJ Stuckey, GJ Duck Theory and Practice of Logic Programming 5 (4-5), 503-531, 2005	59	2005
A practical approach to the global analysis of CLP programs MG de la Banda, M Hermenegildo Proceedings of the 10th International Logic Programming Symposium, 437-455, 1993	56*	1993
Independence in constraint logic programs M García de la Banda, MV Hermenegildo, K Marriott MIT Press, 1993	55	1993
On implementing symmetry detection C Mears, M Garcia De La Banda, M Wallace Constraints 14, 443-477, 2009	54	2009
Elucidation of the substrate specificity of the C1s protease of the classical complement pathway FK Kerr, G O'Brien, NS Quinsey, JC Whisstock, S Boyd, MG de la Banda, ... Journal of Biological Chemistry 280 (47), 39510-39514, 2005	54	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors