Maria Garcia de la Banda's Publication List

(Always out of date)

Books Edited

Maria Garcia de la Banda, Enrico Pontelli, editors. Proceedings of the Twenty Fourth International Conference on Logic Programming. Lecture Notes in Computer Science 5366. Springer-Verlag, 2008.

Book Chapters

B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriot, D. Overton, and P.J. Stuckey. Herbrand constraints in HAL. In K-K. Lau and M. Bruynooghe, editors, Program Development in Computational Logic, Lecture Notes in Computer Science 3049, pages 501--540. Springer-Verlag, 2004.
J. Correas, M. Hermegildo, G. Puebla, M. Garcia de la Banda, K. Marriot, and P.J. Stuckey. A generic framework for context-sensitive analysis of modular programs. In K-K. Lau and M. Bruynooghe, editors, Program Development in Computational Logic, Lecture Notes in Computer Science 3049, pages 234--261. Springer-Verlag, 2004.
M. Hermenegildo, F. Bueno, D. Cabeza, M. Garcia de la Banda, P. López, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Special volume on Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85, Nova Science Publishers, 1999, ISBN 1-56072-673-3.

Journal Publications

C. Mears, M. Garcia de la Banda, and M. Wallace. On implementing symmetry detection. Constraints, 14(4):443-477, 2009. [PDF] [DOI]
K. Marriott, N. Nethercote, R. Rafeh, P.J. Stuckey, M. Garcia de la Banda, and M. Wallace. The design of the Zinc modelling language. Constraints, 13(3):229-267, 2008. [PDF] [DOI]
M. Garcia de la Banda and P.J. Stuckey. Using Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS Journal of Computing 19(4):607-617, 2007. [PDF]
N.G. Faux, G.A. Huttley, K. Mahmood, G. Webb, M. Garcia de la Banda, and J.C. Whisstock. RCPdb: An evolutionary classification and codon usage database for repeat-containing proteins, Genome Research , 17(7): 1118-1127, 2007.
Tom Schrijvers, Maria Garcia de la Banda, Bart Demoen, and Peter J. Stuckey. Improving PARMA trailing. Theory and Practice of Logic Programming, 6(6):609-644, 2006. CORR entry
M. Garcia de la Banda, W. Harvey, K. Marriott, P.J. Stuckey, and B. Demoen. Checking modes in HAL programs. Theory and Practice of Logic Programming, 5(6):623-668, 2005. CORR entry
C. Holzbaur, M. Garcia de la Banda, P.J. Stuckey, and G. Duck. Optimizing compilation of constraint handling rules in HAL. Theory and Practice of Logic Programming, 5(4\&5):503-532, 2005. CORR entry
S. E. Boyd, M. Garcia de la Banda, R. N. Pike, J. C. Whisstock and G. B. Rudy. PoPS: A Computational Tool for Modeling and Predicting Protease Specificity. Journal of Bioinformatics and Computational Biology. World Scientific, Volume 3(3): pages 551-585, 2005.
N. G. Faux, S. P. Bottomley, A. M. Lesk, J. A. Irving, J. R. Morrison, M. Garcia de la Banda and J. C. Whisstock. Functional insights from the distribution and role of homopeptide repeat containing proteins. Genome Research. 15: 537-551, 2005.
F. K. Kerr, G. O'Brien, N. S. Quinsey, J. C. Whisstock, S. Boyd, M. Garcia de la Banda, D. Kaiserman, A. Y. Matthews, P. I. Bird and R. N. Pike.Elucidation of the Substrate Specificity of the C1s Protease of the Classical Complement Pathway. Journal of Biological Chemistry American Society for Biochemistry & Molecular Biology, Inc., USA, ISSN: 0021-9258m Vol 280, Issue 47, pp 39510-39514, 2005.
M. Garcia de la Banda, M. Hermenegildo and K. Marriott. Independence in CLP Languages. ACM Transactions on Programming Languages and Systems. 22(2):296-339, 2000. [PDF]
F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic And-Parallelization of Logic Programs. ACM Transactions on Programming Languages and Systems. ACM. 21(2):189-238, 1999. [PDF]
K. Muthukumar, F. Bueno, M. Garcia de la Banda, M. Hermenegildo. Automatic Compile-Time Parallelisation of Logic Programs for Restricted, Goal-Level, Independent And-Parallelism. Journal of Logic Programming. North-Holland. 38(2):165-218, 1999.
M. Garcia de la Banda, K. Marriott, H. Sondergaard, and P.J. Stuckey. Differential methods in logic program analysis. Journal of Logic Programming, 35(1):1--37, 1998. [Postscript]
M. Codish, M. Bruynooghe, M. Garcia de la Banda, M. Hermenegildo. Exploiting Goal Independence in the Analysis of Logic Programs. Journal of Logic Programming, Technical Note. North-Holland. 32(3):247-261, 1997.
M. Garcia de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, and W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems. ACM. 18(5):564-615, 1996. [Postscript]
M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems. ACM. 17(1):28-44, 1995. [PDF]

Invited Conference Publications

P.J. Stuckey, M. Garcia de la Banda, M. Maher, K. Marriott, J. Slaney, Z. Somogyi, M. Wallace, and T. Walsh. The G12 project: Mapping solver independent models to efficient solutions. In M. Gabrielli and G. Gupta, editors, Proceedings of the 21st International Conference on Logic Programming (ICLP), LNCS 3668 pages 9-13. Springer, 2005. [PDF]
P.J. Stuckey, M. Garcia de la Banda, M. Maher, K. Marriott, J. Slaney, Z. Somogyi, M. Wallace, and T. Walsh. The G12 project: Mapping solver independent models to efficient solutions. In P. Van Beek, editor, Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP), LNCS 3709 pages 13-16. Springer, 2005. [PDF]
M. Garcia de la Banda, B, Demoen, K. Marriott, and P. J. Stuckey. To the Gates of HAL: A HAL Tutorial Proceedings of the International Symposium on Functional and Logic Programming (FLPOS) , LNCS 2441, 47--66, 2002. [Postscript]

Conference Publications

G. Chu, P.J. Stuckey, and M. Garcia de la Banda. Using relaxations in maximum density still life. In I. Gent, editor, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. LNCS, Vol 5732: 258-273, 2009. [PDF]
R. Rafeh, K. Marriott, M. Garcia de la Banda, N. Nethercote, and M. Wallace: Adding Search to Zinc. Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP'08). LNCS, Vol 5202: pages 624-629, Australia 2008. [PDF]
C. Mears, M. Garcia de la Banda, M. Wallace, and B. Demoen. A Novel Approach For Detecting Symmetries in CSP Models. Proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08). LNCS, Vol 5015: pages 158-172, France 2008. [PDF]
S.E. Boyd, M. Garcia de la Banda, F.K. Kerr, and G. O'Brien. Cooperative effects in the substrate specificity of the complement protease CIS. In Proceedings of the 5th General Meeting of the International Proteolysis Society Book of Abstracts. Novartis Pharma A, Basel Switzerland, page 361, October 2007.
R. Rafeh, M. Garcia de la Banda, K. Marriott, M. Wallace. From Zinc to design model. In Proceedings of 9th International Symposium on Practical Aspects of Programming Languages, LNCS, Vol 4354: pages 215--229, France 2007. [PDF]
R. Becket, M. Garcia de la Banda, K. Marriott, Z. Somogyi, P.J. Stuckey, and M. Wallace. Adding constraint solving to Mercury. In P. Van Hentenryck, editor, Proceedings of the Practical Applications of Declarative Programming, LNCS, page 118-133. Springer, 2006. [PDF]
G.J. Duck, M. Garcia de la Banda, and P.J. Stuckey. Compiling ask constraints. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming,LNCS, page 105-119. Springer-Verlag, 2004. [Postscript]
G.J. Duck, M. Garcia de la Banda, P.J. Stuckey, and C. Holzbaur. The refined operational semantics for constraint handling rules. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming,LNCS, page 120-136. Springer-Verlag, 2004. [Postscript] Full version [PDF]
S. E. Boyd, M. Garcia de la Banda, R. N. Pike, J. C. Whisstock and G. B. Rudy. PoPS: A Computational Tool for Modeling and Predicting Protease Specificity. In 3rd IEEE Computer Society Computational Systems Bioinformatics Conference (CSB 2004). IEEE Computer Society Press, pages 372-381, USA 2004.
F. Bueno and M. Garcia de la Banda. Set-sharing is not always redundant for pair-sharing.In International Symposium on Functional and Logic Programming (FLOPS'2004), LNCS 2998, pages 117-131, Japan 2004. Full version [PDF]
G.J. Duck, P.J. Stuckey, M. Garcia de la Banda, and C. Holzbaur. Extending arbitrary solvers with constraint handling rules. In D. Miller, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, page 79--90. ACM Press, 2003. ACM page [Postscript]
M. Garcia de la Banda, P.J. Stuckey, and J. Wazny. Finding all minimal unsatisfiable subsets. In D. Miller, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), page 32--43. ACM Press, 2003. ACM page [Postscript]
M. Cameron, M. Garcia de la Banda, K. Marriott, and P. Moulder. Vimer: a visual debugger for Mercury. In ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming- PPDP'2003, ACM, pages 56-66, Sweden 2003. ACM page [PDF]
T. Shrijvers, M. Garcia de la Banda, and B. Demoen. Trailing analysis for HAL. In P. Stuckey, editor, Proceedings of the 18th International Conference on Logic Programming- ICLP'2002, LNCS, pages 38-53, Denmark 2002. [PDF]
B. Owens, A. Ernst, M. Garcia de la Banda, and K. Marriott. Personnel scheduling using hybrid CLP and meta-heuristic approaches. In Fourth International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems- CPAIOR'2002, pages 149-163, France 2002.
C. Holzbaur, P.J. Stuckey, M. Garcia de la Banda, and D. Jeffery. Optimizing compilation of constraint handling rules. In P. Codognet, editor, Logic Programming: Proceedings of the 17th International Conference, LNCS, pages 74--89. Springer-Verlag, 2001. [Postscript]
M. Garcia de la Banda, D. Jeffery, K. Marriott, P.J. Stuckey, N. Nethercote, and C. Holzbaur. Building constraint solvers with HAL. In P. Codognet, editor, Logic Programming: Proceedings of the 17th International Conference, LNCS, pages 90--104. Springer-Verlag, 2001. [Postscript]
F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey. A model for inter-module analysis and optimizing compilation. In Kung-Kiu Lau, editor, Tenth International Workshop on Logic-based Program Synthesis and Transformation, LNCS 2042, pages 86--102. Springer-Verlag, July 2001. [Postscript] [DOI]
M. Garcia de la Banda, P.J. Stuckey, W. Harvey, and K. Marriott. Mode checking in HAL. In J. LLoyd et al., editor, Proceedings of the First International Conference on Computational Logic, LNCS 1861, 1270--1284. Springer-Verlag, July 2000. [Postscript]
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. Herbrand constraint solving in HAL. In D. De Schreye, editor, Logic Programming: Proceedings of the 16th International Conference, pages 260--274. MIT Press, 1999. [Postscript]
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In J. Jaffar, editor, Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, LNCS. Springer-Verlag, pages 174--188, October 1999. [Postscript]
B. Demoen, M. Garcia de la Banda, and P.J. Stuckey. Type constraint solving for parametric and ad-hoc polymorphism. In J. Edwards, editor, Proceedings of the 22nd Australian Computer Science Conference, pages 217--228. Springer-Verlag, January 1999. [Postscript]
M. Garcia de la Banda, G. Puebla, K. Marriott, and P.J. Stuckey. Optimization of logic programs with dynamic scheduling. In L. Naish, editor, Logic Programming: Proceedings of the 14th International Conference, pages 93--107, Leuven, Belgium, July 1997. MIT Press. [Postscript]
M. Garcia de la Banda, M. Hermenegildo, and K. Marriott. Independence in Dynamically Scheduled Logic Languages. In M. Hanus and M. Rodriguez-Artalejo, editors, Proceedings of th 5th International Conference on Algebraic and Logic Programming (ALP'96), pages 47-61, LNCS 1139, Aachen, Germany, September 1996.
M. Garcia de la Banda, F. Bueno, and M. Hermenegildo. Towards Independent And-Parallelism in CLP. In H. Kuchen and S.D. Swierstra, editors, Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP'96), pages 77-91, LNCS 1140, Aachen, Germany, September 1996.
M. Garcia de la Banda, K. Marriott, and P.J. Stuckey. Efficient analysis of logic programs with dynamic scheduling. In Logic Programming: Proceedings of the 1995 International Symposium, pages 417--43, Portland, Oregon, December 1995. MIT Press.
F. Bueno, M. Garcia de la Banda and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In M. Bruynooghe, editor, Proceedings of the 1994 International Logic Programming Symposium (ILPS'94), pages 320-336, New York, USA, MIT Press, November 1994.
F. Bueno, M. Garcia de la Banda and M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelisation of Logic Programs. In H.V. Howard, editor, Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), pages 63-73, World Scientific Publishing, September 1994.
U. Montanari, F. Rossi, F. Bueno, M. Garcia de la Banda and M. Hermenegildo. Towards a Concurrent Semantics based Analysis of CC and CLP. In A. Borning, editor, Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming (PPCP'94), pages 151-161, Washington, USA, LNCS 874, May 1994.
M. Codish, M. Garcia de la Banda, M. Bruynooghe and M. Hermenegildo. Goal Dependent vs. Goal Independent Analysis of Logic Programs. In F. Pfenning, editor, Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning (LPAR'94), pages 305-319, Kiev, Ukraine, LNCS 822, July 1994.
K. Marriott, M. Garcia de la Banda and M. Hermenegildo. Analysing Logic Programs with Dynamic Scheduling. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), pages 240-253, Portland, Oregon, ACM, January 1994.
M. Garcia de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium (ILPS'93) , pages 437-455, Vancouver, Canada, MIT Press, October 1993.
M. Garcia de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium (ILPS'93) , pages 130-146, Vancouver, Canada, MIT Press, October 1993.
M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda, and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. In D. Schmidt, editor, Proceedings of the ACM SIGPLAN 1993 Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93), pages 194-205, Copenhagen, Denmark, ACM, June 1993.
M. Garcia de la Banda and M. Hermenegildo. A Practical Application of Sharing and Freeness Inference. In M. Billaud, P. Casteran, M.M. Corsini, K. Musumbu, and A. Rauzy, editors, Proceedings of the 1992 International Workshop on Static Analysis (WSA'92)., pages 118-125, Bordeaux, France, Atelier IRISA, 1992.