Follow
Maria Garcia de la Banda
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
Verified email at monash.edu
Title
Cited by
Cited by
Year
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
2322005
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
2272004
The design of the Zinc modelling language
K Marriott, N Nethercote, R Rafeh, PJ Stuckey, M Garcia De La Banda, ...
Constraints 13, 229-267, 2008
1872008
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
1591995
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
120*2005
Finding all minimal unsatisfiable subsets
MG de la Banda, PJ Stuckey, J Wazny
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1202003
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
1161996
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
F Bueno, MJG de la Banda, MV Hermenegildo
ILPS, 320-336, 1994
1081994
Global analysis of constraint logic programs
M García de la Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ...
ACM Transactions on Programming Languages and Systems 18 (5), 564-614, 1996
911996
An overview of HAL
B Demoen, MG de la Banda, W Harvey, K Marriott, P Stuckey
Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999
861999
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
771999
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
711994
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
702010
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
702006
The G12 project: Mapping solver independent models to efficient solutions
PJ Stuckey, MG De La Banda, M Maher, K Marriott, J Slaney, Z Somogyi, ...
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
672005
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
562005
Independence in constraint logic programs
M García de la Banda, MV Hermenegildo, K Marriott
MIT Press, 1993
561993
On implementing symmetry detection
C Mears, M Garcia De La Banda, M Wallace
Constraints 14, 443-477, 2009
542009
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
542005
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
54*1993
The system can't perform the operation now. Try again later.
Articles 1–20