Maria Garcia de la Banda
Maria Garcia de la Banda
Professor, Faculty of Information Technology, Monash University
Verified email at monash.edu
TitleCited byYear
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
2152004
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
1762005
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
1592008
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
1391995
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
1101996
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
F Bueno, MJG de la Banda, MV Hermenegildo
ILPS, 320-336, 1994
1061994
Finding all minimal unsatisfiable subsets
MG de la Banda, PJ Stuckey, J Wazny
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
992003
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
972005
Global analysis of constraint logic programs
MG De La Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (5), 564-614, 1996
771996
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
761999
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
671994
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
651999
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
International Conference on Principles and Practice of Constraint …, 2006
612006
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
602005
Independence in constraint logic programs
M García de la Banda, MV Hermenegildo, K Marriott
MIT Press, 1993
601993
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
552005
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
522010
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
50*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
481999
On implementing symmetry detection
C Mears, MG De La Banda, M Wallace
Constraints 14 (4), 443-477, 2009
432009
The system can't perform the operation now. Try again later.
Articles 1–20