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

Research Output

Abstract

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

Article

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)

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

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)

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)

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)

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)

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)

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)

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

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)

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)

On implementing symmetry detection

Mears, C. D., Garcia De La Banda, M. J. & Wallace, M., 2009, In : Constraints. 14, 4, p. 443 - 477 35 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

On representing protein folding patterns using non-linear parametric curves

Kasarapu, P., Garcia De La Banda, M. J. & Konagurthu, A. S., 2014, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 11, 6, p. 1218 - 1228 11 p.

Research output: Contribution to journalArticleResearchpeer-review

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)

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)

RCPdb: An evolutionary classification and codon usage database for repeat-containing proteins

Faux, N. G., Huttley, G. A., Mahmood, K., Webb, G., Garcia De La Banda, M. J. & Whisstock, J., 2007, In : Genome Research. 17, 7, p. 1118 - 1127 10 p.

Research output: Contribution to journalArticleResearchpeer-review

33 Citations (Scopus)

Redundant disequalities in the Latin Square problem

Demoen, B. & Garcia De La Banda, M. J., 2013, In : Constraints. 18, 4, p. 471 - 477 7 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Redundant Sudoku rules

Demoen, B. & Garcia De La Banda, M. J., 2014, In : Theory and Practice of Logic Programming. 14, 3, p. 363 - 377 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Solving talent scheduling with dynamic programming

Garcia De La Banda, M. J., Stuckey, P. J. & Chu, G., 2011, In : INFORMS Journal on Computing. 23, 1, p. 120 - 137 18 p.

Research output: Contribution to journalArticleResearchpeer-review

15 Citations (Scopus)

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S., 1 Apr 2017, In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Structural determinants of GAD antigenicity

Arafat, Y., Fenalti, G., Whisstock, J., Mackay, I. R., Garcia De La Banda, M. J., Rowley, M. J. & Buckle, A. M., 2009, In : Molecular Immunology. 47, 2-3, p. 493 - 505 13 p.

Research output: Contribution to journalArticleResearchpeer-review

14 Citations (Scopus)

Super: A web server to rapidly screen superposable oligopeptide fragments from the protein data bank

Collier, J., Lesk, A. M., Garcia De La Banda, M. J. & Konagurthu, A. S., 2012, In : Nucleic Acids Research. 40, p. 1 - 6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)

Symmetries, almost symmetries, and lazy clause generation

Chu, G., Garcia De La Banda, M. J., Mears, C. D. & Stuckey, P. J., 2014, In : Constraints. 19, 4, p. 434 - 462 29 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

The design of the Zinc modelling language

Marriott, K. G., Nethercote, N., Rafeh, R., Stuckey, P. J., Garcia De La Banda, M. J. & Wallace, M., 2008, In : Constraints. 13, 3, p. 229 - 267 39 p.

Research output: Contribution to journalArticleResearchpeer-review

100 Citations (Scopus)

The future of optimization technology

Garcia De La Banda, M., Stuckey, P. J., Van Hentenryck, P. & Wallace, M., 2014, In : Constraints. 19, 2, p. 126-138 13 p.

Research output: Contribution to journalArticleOtherpeer-review

4 Citations (Scopus)

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)

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)

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

Visual search tree profiling

Shishmarev, M., Mears, C., Tack, G. & Garcia De La Banda, M., 2016, In : Constraints. 21, 1, p. 77-94 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)
8 Citations (Scopus)
Book

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, 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, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther

Chapter (Book)

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)

Herbrand constraints in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Overton, D. M. & 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. 499-538 40 p. (Lecture Notes in Computer Science; vol. 3049).

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

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)
Conference Paper

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)