Maria Garcia de la Banda

Cited by

	All	Since 2016
Citations	3054	603
h-index	30	13
i10-index	64	17

240

120

180

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 68 40 106 77 27 51 67 68 61 58 89 144 125 195 228 161 139 145 172 135 111 114 108 117 127 104 116 31

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
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
Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Gregory DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
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
Sarah BoydMonash UniversityVerified email at monash.edu
Robert N PikeLa Trobe UniversityVerified email at latrobe.edu.au
Arun KonagurthuSenior LecturerVerified email at monash.edu
Manuel CarroIMDEA Software Institute and Universidad Politécnica de MadridVerified email at imdea.org
Noel G FauxMelbourne Data Analytics Platform | Petascale Campus Initiative - The University of MelbourneVerified email at unimelb.edu.au

Maria Garcia de la Banda

Professor, 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
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	217	2004
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	198	2005
The design of the Zinc modelling language K Marriott, N Nethercote, R Rafeh, PJ Stuckey, MG De La Banda, ... Constraints 13 (3), 229-267, 2008	174	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	136	1995
Finding all minimal unsatisfiable subsets MG de la Banda, PJ Stuckey, J Wazny Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	106	2003
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	101	2005
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems. MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ... APPIA-GULP-PRODE, 105-110, 1996	101	1996
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. F Bueno, MJG de la Banda, MV Hermenegildo ILPS, 320-336, 1994	98	1994
An overview of HAL B Demoen, MG de la Banda, W Harvey, K Marriott, P Stuckey International Conference on Principles and Practice of Constraint …, 1999	78	1999
Global analysis of constraint logic programs MG De La Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ... ACM Transactions on Programming Languages and Systems 18 (5), 564-614, 1996	75	1996
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	66	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	64	1994
The modelling language Zinc MG de la Banda, K Marriott, R Rafeh, M Wallace International Conference on Principles and Practice of Constraint …, 2006	63	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, ... International Conference on Logic Programming, 9-13, 2005	63	2005
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	58	2010
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	53	2005
Independence in Constraint Logic Programs. MJG de la Banda, MV Hermenegildo, K Marriott ILPS 93, 130-146, 1993	52	1993
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism K Muthukumar, F Bueno, MG de la Banda, M Hermenegildo The Journal of Logic Programming 38 (2), 165-218, 1999	47	1999
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	45	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	45	1993

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

Upload PDF

Follow this author

Cited by

Co-authors