Maria Garcia de la Banda
Maria Garcia de la Banda
Professor, Faculty of Information Technology, Monash University
Bestätigte E-Mail-Adresse bei monash.edu
Titel
Zitiert von
Zitiert von
Jahr
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
2202004
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
2072005
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
1742008
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
1421995
Finding all minimal unsatisfiable subsets
MG de la Banda, PJ Stuckey, J Wazny
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1122003
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
1022005
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
781996
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 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
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
International Conference on Principles and Practice of Constraint …, 2006
652006
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20