If you made any changes in Pure these will be visible here soon.

Research Output

A CLP heap solver for test case generation

Albert, E., Garcia De La Banda, M. J., Gomez-Zamalloa, M., Rojas, J. M. & Stuckey, P. J., 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 721 - 735 15 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Adding constraint solving to Mercury

Becket, R., Garcia De La Banda, M. J., Marriott, K. G., Somogyi, Z., Stuckey, P. J. & Wallace, M., 2006, Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006). Van Hentenryck, P. (ed.). Germany: Springer-Verlag London Ltd., Vol. 3819. p. 118 - 133 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

Adding search to Zinc

Rafeh, R., Marriott, K. G., Garcia De La Banda, M. J., Nethercote, N. & Wallace, M., 2008, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008). Stuckey, P. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5202. p. 624 - 629 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)

A generic framework for context-sensitive analysis of modular programs

Puebla, G., Correas, J., Hermenegildo, M. V., Bueno, F., Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 2004, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, M. & Lau, K-K. (eds.). Berlin Germany: Springer, p. 233-260 28 p. (Lecture Notes in Computer Science; vol. 3049).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

8 Citations (Scopus)

A method for detecting symmetries in constraint models and its generalisation

Mears, C. D., Garcia De La Banda, M. J., Wallace, M. & Demoen, B., 2015, In : Constraints. 20, 2, p. 235 - 273 39 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

A model of inter-module analysis and optimizing compilation

Bueno, F., Garcia De La Banda, M. J., Hermenegildo, M., Marriott, K., Puebla, G. & Stuckey, P. J., 2001, Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. Lau, K-K. (ed.). Berlin Germany: Springer, p. 86-102 17 p. (Lecture Notes in Computer Science; vol. 2042).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

12 Citations (Scopus)

Analyzing logic programs with dynamic scheduling

Marriott, K., de la Banda, M. L. G. & Hermenegildo, M., 1 Jan 1994, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 240-253 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

28 Citations (Scopus)

A new statistical framework to assess structural alignment quality using information compression

Collier, J., Allison, L., Lesk, A. M., Garcia De La Banda, M. J. & Konagurthu, A. S., 2014, In : Bioinformatics. 30, 17, p. 512 - 518 7 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

An optimization model for 3D pipe routing with flexibility constraints

Belov, G., Czauderna, T., Dzaferovic, A., de la Banda, M. G., Wybrow, M. & Wallace, M., 2017, Principles and Practice of Constraint Programming : 23rd International Conference CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Beck, J. C. (ed.). Cham Switzerland: Springer, p. 321-337 17 p. (Lecture Notes in Computer Science; vol. 10416 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File
2 Citations (Scopus)

A novel approach for detecting symmetries in CSP models

Mears, C. D., Garcia De La Banda, M. J., Wallace, M. & Demoen, B., 2008, Lecture Notes In Artificial Intelligence. Perron, L. & Trick, M. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5015. p. 158 - 172 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

A novel approach for detecting symmetries in CSP models

Demoen, B., Garcia De La Banda, M. J., Mears, C. D. & Wallace, M., 2007, Proceedings of the Seventh International Workshop on Symmetry in Constraint Satisfaction Problems. Benhamou, B., Choueiry, B. Y. & Hnich, B. (eds.). http://www.cmi.univ-mrs.fr/~benhamou/symcon07/Proceedings%20.htm: SymCon'07, p. 30 - 38 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99 Alexandria, VA, USA, October 11-14, 1999 Proceedings. Jaffar, J. (ed.). Berlin Germany: Springer, p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 1713).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

35 Citations (Scopus)

Automatically exploiting subproblem equivalence in constraint programming

Chu, G., Garcia De La Banda, M. J. & Stuckey, P. J., 2010, Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lodi, A., Milano, M. & Toth, P. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 71 - 86 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism

Muthukumar, K., Bueno, F., Garcia De La Banda, M. J. & Hermenegildo, M., 1999, In : Journal of Logic Programming. p. 165 - 218 54 p.

Research output: Contribution to journalArticleResearchpeer-review

25 Citations (Scopus)

Building constraint solvers with HAL

Garcia De La Banda, M. J., Jeffery, D. G., Marriott, K., Nethercote, N., Stuckey, P. J. & Holzbaur, C., 2001, Logic Programming: 17th International Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings. Codognet, P. (ed.). Berlin Germany: Springer, p. 90-104 15 p. (Lecture Notes in Computer Science; vol. 2237).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

Checking modes of HAL programs

Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Stuckey, P. J. & Demoen, B., 2005, In : Theory and Practice of Logic Programming. 5, 6, p. 623 - 667 45 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Compiling Ask Constraints

Duck, G. J., Garcia De La Banda, M. J. & Stuckey, P. J., 2004, Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). Demoen, B. & Lifschitz, V. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3132. p. 105 - 119 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Context-sensitive dynamic partial order reduction

Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File
10 Citations (Scopus)

Cooperative effects in the substrate specificity of the complement protease C1s

Boyd, S. E., Kerr, F. K., Albrecht, D. W., Garcia De La Banda, M. J., Ng, N. & Pike, R. N., 2009, In : Biological Chemistry. 390, 5/6, p. 503 - 507 5 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Cooperative effects in the substrate specificity of the complement protease CIS

Sotiropoulou, G. (ed.), Boyd, S. E., Pampalakis, G. (ed.), Garcia De La Banda, M. J., Arampatzidou, M. (ed.), Kerr, F. K. & O'Brien, G., 2007, p. 361 - 361. 1 p.

Research output: Contribution to conferenceAbstract

Differential Methods in Logic Program Analysis

Garcia De La Banda, M. J., Marriott, K., Stuckey, P. J. & Sondergaard, H., 1998, In : Journal of Logic Programming. p. 1 - 37 37 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Dynamic programming to minimize the maximum number of open stacks

Garcia De La Banda, M. J. & Stuckey, P. J., 2007, In : INFORMS Journal on Computing. 19, 4, p. 607 - 617 11 p.

Research output: Contribution to journalArticleResearchpeer-review

21 Citations (Scopus)

Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

Bueno, F., Garcia De La Banda, M. J. & Hermenegildo, M., 1999, In : ACM Transactions on Programming Languages and Systems. p. 189 - 239 51 p.

Research output: Contribution to journalArticleResearchpeer-review

25 Citations (Scopus)

Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

Bueno, F., Garcia De La Banda, M. J. & Hermenegildo, M., 1999, Clayton Vic Australia: Monash University. 53 p.

Research output: Book/ReportBookOther

25 Citations (Scopus)

Efficient analysis of logic programs with dynamic scheduling

Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 1995, Proceedings of the 1995 International Symposium on Logic Programming. Lloyd, J. (ed.). Massachusetts London UK: The MIT Press, p. 417 - 431 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Elucidation of the substrate specificity of the C1s protease of the classical complement pathway

Kerr, F. K., O'Brien, G., Quinsey, N. S., Whisstock, J., Boyd, S. E., Garcia De La Banda, M. J., Kaiserman, D., Matthews, A. Y., Bird, P. I. & Pike, R. N., 2005, In : The Journal of Biological Chemistry. 280, 47, p. 39510 - 39514 5 p.

Research output: Contribution to journalArticleResearchpeer-review

31 Citations (Scopus)

Exploiting goal independence in the analysis of logic programs

Codish, M., Bruynooghe, M., Garcia De La Banda, M. J. & Hermenegildo, M., 1997, In : Journal of Logic Programming. p. 247 - 261 15 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

Exploiting subproblem dominance in constraint programming

Chu, G., Garcia De La Banda, M. J. & Stuckey, P. J., 2012, In : Constraints. 17, 1, p. 1 - 38 38 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Extending arbitrary solvers with Constraint Handling Rules

Duck, G. J., Stuckey, P. J., Garcia De La Banda, M. J. & Holzbaur, C., 2003, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Miller, D. (ed.). New York USA: Association for Computing Machinery (ACM), p. 79 - 90 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

15 Citations (Scopus)

Finding all minimal unsatisfiable subsets

Garcia De La Banda, M. J., Stuckey, P. J. & Wazny, J., 2003, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Miller, D. (ed.). New York USA: Association for Computing Machinery (ACM), p. 32 - 43 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

50 Citations (Scopus)

From Zinc to design model

Rafeh, R., Garcia De La Banda, M. J., Marriott, K. G. & Wallace, M., 2007, Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007). Hanus, M. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 4354. p. 215 - 229 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Functional insights from the distribution and role of homopeptide repeat-containing proteins

Faux, N. G., Bottomley, S. P., Lesk, A. M., Irving, J. A., Morrison, J. R., Garcia De La Banda, M. J. & Whisstock, J. C., 2005, In : Genome Research. 15, 4, p. 537 - 551 15 p.

Research output: Contribution to journalArticleResearchpeer-review

143 Citations (Scopus)

Global Analysis of Constraint Logic Programs

Garcia De La Banda, M., Hermenegildo, M., Bruynooghe, M., Dumortier, V., Janssens, G. & Simoens, W., 1 Sep 1996, In : ACM Transactions on Programming Languages and Systems. 18, 5, p. 564-614 51 p.

Research output: Contribution to journalArticleResearchpeer-review

31 Citations (Scopus)

Globalizing constraint models

Leo, K., Mears, C. D., Tack, G. & Garcia De La Banda, M. J., 2013, Principles and Practice of Constraint Programming: 19th International Conference (CP2013), Proceedings. Schulte, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 432 - 447 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Herbrand constraints in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Overton, D. M. & Stuckey, P. J., 2004, In : Lecture Notes in Computer Science. 3049, p. 499 - 538 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Logic Programming Proceedings of the 1999 International Conference on Logic Programming. Massachusets USA: Massachusetts Institute of Technology Press, p. 260 - 274 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Improving abstract interpretations by combining domains

Codish, M., Mulkers, A., Bruynooghe, M., Garcia De La Banda, M. J. & Hermenegildo, M., 1995, In : ACM Transactions on Programming Languages and Systems. 17, 1, p. 28 - 44 17 p.

Research output: Contribution to journalArticleResearchpeer-review

41 Citations (Scopus)

Improving abstract interpretations by combining domains

Codish, M., Mulkers, A., Bruynooghe, M., Garcia de la Banda, M. & Hermenegildo, M., 1 Dec 1993, Proc ACM SIGPLAN Symp Partial Eval Semantics Based Program Manipulation. Anon (ed.). p. 194-205 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

17 Citations (Scopus)

Improving PARMA trailing

Schrijvers, T., Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J., 2006, In : Theory and Practice of Logic Programming. 6, 6, p. 609 - 644 36 p.

Research output: Contribution to journalArticleResearchpeer-review

Independence in CLP Languages

Garcia De La Banda, M. J., Hermenegildo, M. & Marriott, K., 2000, In : ACM Transactions on Programming Languages and Systems. p. 296 - 339 44 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Independence in dynamically scheduled logic languages

Garcia De La Banda, M. J., Hermenegildo, M. & Marriott, K. G., 1996, In : Lecture Notes in Computer Science. 1139, p. 47 - 61 15 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Information-theoretic inference of an optimal dictionary of protein supersecondary structures

Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

1 Citation (Scopus)

Introduction to the 24th international conference on logic programming special issue

De La Banda, M. G. & Pontelli, E., Mar 2011, In : Theory and Practice of Logic Programming. 11, 2-3, p. 131-133 3 p.

Research output: Contribution to journalEditorialOtherpeer-review

Introduction to the special issue on Prolog systems

Demoen, B. & Garcia De La Banda, M. J., 2012, In : Theory and Practice of Logic Programming. 12, 1-2, p. 1 - 4 4 p.

Research output: Contribution to journalLetterOther

Learning from learning solvers

Shishmarev, M., Mears, C., Tack, G. & Garcia de la Banda, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 455-472 18 p. (Lecture Notes in Computer Science; vol. 9892 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Lightweight dynamic symmetry breaking

Aloul, F. (ed.), Mears, C. D., Benhamou, B. (ed.), Garcia De La Banda, M. J., Demoen, B., Sais, L. (ed.) & Wallace, M., 2008, p. 1 - 10. 10 p.

Research output: Contribution to conferenceOther

Lightweight dynamic symmetry breaking

Mears, C. D., Garcia De La Banda, M. J., Demoen, B. & Wallace, M., 2014, In : Constraints. 19, 3, p. 195 - 242 48 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Lock-free parallel dynamic programming

Stivala, A., Stuckey, P. J., Garcia De La Banda, M. J., Hermenegildo, M. & Wirth, A., 2010, In : Journal of Parallel and Distributed Computing. 70, 8, p. 839 - 848 10 p.

Research output: Contribution to journalArticleResearchpeer-review

29 Citations (Scopus)

Logic programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 proceedings

de la Banda, M. G. & Pontelli, E., 1 Jan 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. Springer-Verlag London Ltd., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review