Takip et
Maria Garcia de la Banda
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
monash.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
2362005
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
2332004
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
1922008
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
1631995
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
122*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
1182003
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
1171996
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
F Bueno, MJG de la Banda, MV Hermenegildo
ILPS, 320-336, 1994
1071994
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
941996
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
891999
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
751999
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
732010
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
731994
The modelling language Zinc
MG de la Banda, K Marriott, R Rafeh, M Wallace
International Conference on Principles and Practice of Constraint …, 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
692005
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
582005
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
56*1993
Independence in constraint logic programs
M García de la Banda, MV Hermenegildo, K Marriott
MIT Press, 1993
551993
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20