Maria Garcia de la Banda's Publication List

(Always out of date - the full list is here , in Google Scholar and DBLP)

Journal Publications

A.S. Konagurthu, R.Subramanian, L. Allison, D. Abramson, P.J. Stuckey, M. Garcia de la Banda, A.M. Lesk. Universal architectural concepts underlying protein folding patterns. Frontiers in Molecular Biosciences. 7: 612920, 2021.
A.M. Lesk, A.S. Konagurthu, L. Allison, M. Garcia de la Banda, P.J. Stuckey, D. Abramson. Computer modeling of a potential agent against SARS-Cov-2 (COVID-19) protease. Proteins . 88(12): 1557, 2020.
J.H. Collier, L. Allison, A.M. Lesk, P.J. Stuckey, M. Garcia de la Banda, A.S. Konagurthu. Statistical inference of protein structural alignments using information and compression. Bioinformatics . 33(7): 1005, 2017. 1
S. Goodwin, C. Mears, T.Dwyer, M. Garcia de la Banda, G. Tack, M. Wallace. What do Constraint Pro- gramming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Transactions on Visualisation and Computer Graphics. 23(1): 281–290, 2016.
M. Shishmarev, C. Mears, G. Tack, M. Garcia de la Banda. Visual search tree profiling. Constraints. 21(1): 77–94, 2016.
M. Garcia de la Banda, P.J. Stuckey, P.V. Hentenryck, M. Wallace 2014. The future of optimization technology. Constraints . 19(2): 126–138, 2014.
G. Chu, M. Garcia de la Banda, C. Mears, P.J. Stuckey. Symmetries, Almost Symmetries, and Lazy Clause Generation. Constraints. 19:434-462, 2014.
C. Mears, M. Garcia de la Banda, M. Wallace, B. Demoen. Lightweight Dynamic Symmetry Breaking. Constraints. 19:195-242, 2014.
B. Demoen, M., Garcia de la Banda. Redundant disequalities in the Latin Square problem. Constraints. 18 (4): 471-477, 2013.
G. Chu, M. Garcia de la Banda, P. Stuckey. Exploiting subproblem dominance in constraint programming. Constraints. 17(1): 1-38, 2012. [DOI] [PDF].
B. Demoen, M. Garcia de la Banda. Redundant Sudoku Rukes.Theory and Practice of Logic Programming. 14(3): 363-377. [DOI]
J.H. Collier, A.M. Lesk, M. Garcia de la Banda, A.S. Konagurthu. Super: A web server to rapidly screen superposable oligopeptide fragments from the Protein Data Bank. Nucleic Acids Research. 40(W1): W334-W339. 2012.
Garcia de la Banda, M., Stuckey, P., Chu, G. Solving Talent Scheduling with Dynamic Programming. INFORMS Journal on Computing. 23(1): 120-137, 2011.
A. Stivala, P. Stuckey, M. Garcia de la Banda, M. Hermenegildo, and A. Wirth. Lock-free parallel dynamic programming. Journal of Parallel and Distributed Computing. 70(8): 839-848, 2010. [DOI]
Y. Arafat, G. Fenalti, J. Whisstock, I.R. Mackay, M. Garcia De La Banda, M.J. Rowley, A.M. Buckle. Structural determinants of GAD antigenicity. Molecular Immunology. 47(2/3):493-505, 2009. [DOI]
S.E. Boyd, F.K. Kerr, D.W. Albrecht, M. Garcia De La Banda, N. Ng, R.N. Pike. Cooperative effects in the substrate specificity of the complement protease C1s. Biological Chemistry. 390(5/6): 503-507, 2009. [DOI]
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. 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 of 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]

Conference Publications

K. Leo, G. Gange, M. Garcia de la Banda, M. Wallace. Core-Guided Model Reformulation. Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming (CP-2020). Pages 445–461, Belgium, 2020.[PDF]
G. Belov, T. Czauderna, M. Garcia de la Banda, M. Klapperstück, I. Senthooran, M. Smith, M. Wybrow, M. Wallace. Process Plant Layout Optimization: Equipment Allocation. Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming (CP-2018). Pages 473–489, France, 2018.[PDF]
K. Zeighami, K. Leo, G. Tack, M. Garcia de la Banda. Towards Semi-Automatic Learning-Based Model Transformation. Proceedings of the 24th International Conference in Principles and Practice of Constraint Programming (CP-2018). Pages 403–419, France, 2018. [PDF]
M. Shishmarev, C. Mears, G. Tack, M. Garcia de la Banda. Learning from Learning Solvers. Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP-2016). Pages 455–472, France, 2016.[PDF]
E. Albert, M. Garcia de la Banda, M. Gomez-Zamalloa, J,M. Rojas P.J., Stuckey. A CLP heap solver for test case generation. Proceedings of the 29th International Conference in Logic Programming (ICLP-13). Pages 721-735, Turkey, 2013.
K. Leo, C., Mears, G., Tack, M., Garcia de la Banda. Globalizing Constraint Models. Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP-13). Pages 432-447, Sweden, 2013.
G. Chu, P.J., Stuckey, M., Garcia de la Banda, C., Mears. Symmetries and Lazy Clause Generation. In T. Walsh Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11). Pages 516-521, Spain, 2011.
G. Chu, M. Garcia de la Banda, and P.J. Stuckey. Automatically Exploiting Subproblem Equivalence in Constraint Programming. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-10). LNCS, Vol 6140: pages 71-86, Italy 2010. [PDF]
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]
M. Garcia de la Banda, K. Marriott, R. Rafeh, and M. Wallace. The modelling language Zinc. Proceedings of the 12th International Conference on Principles and Practice of Constraint Programmin (CP'06). LNCS, Vol 4204: pages 700-705, France 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. Schrijvers, 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] Best Technical Paper Award
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 -- LOPSTR'01, 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.

Books Edited

Bart Demoen, Maria Garcia de la Banda, (Eds.). (2012) Special Issue (Prolog Systems). Theory and Practice of Logic Programming, 12(1-2). [DOI]
Maria Garcia de la Banda, Enrico Pontelli, (Eds.), (2011) Special Issue (Introduction to the 24th international conference on logic programming). Theory and Practice of Logic Programming, 11(2-3).[DOI]
Maria Garcia de la Banda, Enrico Pontelli, (Eds.). (2008) 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.

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]