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
2172004
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
1932005
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
1682008
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
1361995
Finding all minimal unsatisfiable subsets
MG de la Banda, PJ Stuckey, J Wazny
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1072003
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
982005
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
F Bueno, MJG de la Banda, MV Hermenegildo
ILPS, 320-336, 1994
971994
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
Global analysis of constraint logic programs
M García de la Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ...
CW Reports, 39-39, 1995
741995
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
671999
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
International Conference on Principles and Practice of Constraint …, 2006
632006
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
632005
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
631994
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
562010
Independence in Constraint Logic Programs.
MJG de la Banda, MV Hermenegildo, K Marriott
ILPS 93, 130-146, 1993
561993
Optimizing compilation of constraint handling rules in HAL
C Holzbaur, MG De La Banda, PJ Stuckey, GJ Duck
arXiv preprint cs/0408025, 2004
552004
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
461993
On implementing symmetry detection
C Mears, MG De La Banda, M Wallace
Constraints 14 (4), 443-477, 2009
442009
The system can't perform the operation now. Try again later.
Articles 1–20