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

Research Output

1993

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)
1994

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)
1995

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

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)
1996

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)

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)

Towards independent and-parallelism in CLP

Garcia De La Banda, M. J., Bueno, F. & Hermenegildo, M., 1996, In : Lecture Notes in Computer Science. 1140, p. 77 - 91 15 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)
1997

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)

Optimization of logic programs with dynamic scheduling

Puebla, G., Garcia De La Banda, M. J., Marriott, K. & Stuckey, P. J., 1997, Logic Programming. Cambridge MA USA: The MIT Press, p. 93 - 107 15 p.

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

1998

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)
1999

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)

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)

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)

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

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., Garcia De La Banda, M. J., Lopez, P. & Puebla, G., 1999, Clayton Vic Australia: Monash University. 18 p.

Research output: Book/ReportBookOther

Type Constraint Solving for Parametric and Ad-hoc Polymorphism

Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J., 1999, Proceedings of the 22nd Australasian Computer Science Conference, (ACSC'99). Singapore: Springer-Verlag London Ltd., p. 217 - 228 12 p.

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

Type Constraint Solving for Parametric and Ad-hoc Polymorphism

Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther

2000

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)

Mode Checking in HAL

Garcia De La Banda, M. J., Stuckey, P. J., Harvey, W. & Marriott, K., 2000, In : Lecture Notes in Computer Science. p. 1270 - 1284 15 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)
2001

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)

Building constraint solvers with HAL

Garcia De La Banda, M. J., Jeffery, D. G., Marriott, K., Nethercote, N., Stuckey, P. J. & Holzbaur, C., 2001, In : Lecture Notes in Computer Science. 2237, p. 90 - 104 15 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Optimizing compilation of constraint handling rules

Holzbaur, C., Garcia De La Banda, M. J., Jeffery, D. G. & Stuckey, P. J., 2001, In : Lecture Notes in Computer Science. 2237, p. 74 - 89 16 p.

Research output: Contribution to journalArticleResearchpeer-review

10 Citations (Scopus)
2002

Personnel Scheduling Using Hybrid CLP and Meta-Heuristic Approaches

Owens, B., Jussien, N. (ed.), Ernst, A., Laburthe, F. (ed.), Garcia De La Banda, M. J. & Marriott, K. G., 2002, p. 149 - 164. 16 p.

Research output: Contribution to conferenceOther

To the Gates of HAL: a HAL tutorial

Garcia De La Banda, M. J., Demoen, B., Marriott, K. & Stuckey, P. J., 2002, In : Lecture Notes in Computer Science. 2441, p. 47 - 66 20 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Trailing analysis for HAL

Schrijvers, T., Garcia De La Banda, M. J. & Demoen, B., 2002, In : Lecture Notes in Computer Science. 2401, p. 38 - 53 16 p.

Research output: Contribution to journalArticleResearchpeer-review

2003

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)

ViMer: a visual debugger for Mercury

Cameron, M. M., Garcia De La Banda, M. J., Marriott, K. G. & Moulder, P., 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. 56 - 66 11 p.

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

8 Citations (Scopus)
2004

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)

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)

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

PoPS: a computational tool for modeling and predicting protease specificity

Boyd, S. E., De La Banda, M. G., Pike, R. N., Whisstock, J. C. & Rudy, G. B., 2004, Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004. IEEE, Institute of Electrical and Electronics Engineers, p. 372-381 10 p.

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

13 Citations (Scopus)

PoPS: a computational tool for modeling and predicting protease specificity

Boyd, S. E., Garcia De La Banda, M. J., Pike, R. N., Whisstock, J. & Rudy, G. B., 2004, Proceedings of the 2004 IEEE Computational Systems Bioinformatics Conference. Markstein, V. (ed.). Los Alamitos USA: IEEE Computer Society, p. 372 - 381 10 p.

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

Set-sharing is not always redundant for pair-sharing

Bueno, F. & Garcia De La Banda, M. J., 2004, Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004). Kameyama, Y. & Stuckey, P. J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 2998. p. 117 - 131 15 p.

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

6 Citations (Scopus)

The refined operational semantics of constraint handling rules

Duck, G. J., Stuckey, P. J., Garcia De La Banda, M. J. & Holzbaur, C., 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. 90 - 104 15 p.

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

60 Citations (Scopus)
2005

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)

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)

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)

Optimizing compilation of constraint handling rules in HAL

Holzbaur, C., Garcia De La Banda, M. J., Stuckey, P. J. & Duck, G. J., 2005, In : Theory and Practice of Logic Programming. 5, 4-5, p. 503 - 531 29 p.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (Scopus)

PoPS: A computational tool for modeling and predicting protease specificity

Boyd, S. E., Pike, R. N., Rudy, G. B., Whisstock, J. & Garcia De La Banda, M. J., 2005, In : Journal of Bioinformatics and Computational Biology. 3, 3, p. 551 - 585 35 p.

Research output: Contribution to journalArticleResearchpeer-review

77 Citations (Scopus)

The G12 project: mapping solver independent models to efficient solutions

Stuckey, P. J., Garcia De La Banda, M. J., Maher, M., Marriott, K. G., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 2005, Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. van Beek, P. (ed.). Berlin Germany: Springer, p. 13-16 4 p. (Lecture Notes in Computer Science; vol. 3709).

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

13 Citations (Scopus)

The G12 project: Mapping solver independent models to efficient solutions

Stuckey, P. J., De La Banda, M. G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 31 Oct 2005, Logic Programming: 21st International Conference, ICLP 2005 Sitges, Spain, October 2-5, 2005 Proceedings. Gabbrielli, M. & Gupta, G. (eds.). Berlin Germany: Springer, p. 9-13 5 p. (Lecture Notes in Computer Science; vol. 3668).

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

17 Citations (Scopus)

Towards the new modelling language zinc

Rafeh, R., Marriott, K. G., Wallace, M. & Garcia De La Banda, M. J., 2005, p. 138 - 142. 5 p.

Research output: Contribution to conferenceOther

2006

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)

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

The modelling language Zinc

Garcia De La Banda, M. J., Marriott, K. G., Rafeh, R. & Wallace, M., 2006, Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006). Benhamou, F. (ed.). Germany: Springer-Verlag London Ltd., Vol. 4204. p. 700 - 705 6 p.

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

19 Citations (Scopus)
2007

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

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