Maria Garcia de la Banda
Maria Garcia de la Banda
Professor, Faculty of Information Technology, Monash University
Verified email at monash.edu
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
2212004
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
2082005
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
1752008
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
1441995
Finding all minimal unsatisfiable subsets
MG de la Banda, PJ Stuckey, J Wazny
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1152003
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
1041996
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
1032005
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
F Bueno, MJG de la Banda, MV Hermenegildo
ILPS, 320-336, 1994
971994
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
801996
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
771999
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
International Conference on Principles and Practice of Constraint …, 2006
662006
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
662005
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
661999
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
641994
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
582010
Independence in Constraint Logic Programs.
MJG de la Banda, MV Hermenegildo, K Marriott
ILPS 93, 130-146, 1993
551993
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
532005
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
471999
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
471993
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
462005
The system can't perform the operation now. Try again later.
Articles 1–20