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

Research Output 1993 2019

Filter
Article
2017
3 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

8 Citations (Scopus)
2016
4 Citations (Scopus)

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
2015
1 Citation (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

2014
6 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

5 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

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

2 Citations (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

5 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

4 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

2013
3 Citations (Scopus)

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

1 Citation (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

2012
5 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

4 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
2011
14 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

2010
30 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

2009
4 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

12 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

13 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

2008
98 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

2007
21 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

32 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

2006

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

2005
2 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

30 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 : Journal of Biological Chemistry. 280, 47, p. 39510 - 39514 5 p.

Research output: Contribution to journalArticleResearchpeer-review

137 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

17 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

74 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

16 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, In : Lecture Notes in Computer Science. 3668, p. 9-13 5 p.

Research output: Contribution to journalArticleResearchpeer-review

13 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, In : Lecture Notes in Computer Science. 3709, p. 13-16 5 p.

Research output: Contribution to journalArticleResearchpeer-review

2004
8 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, In : Lecture Notes in Computer Science. 3049, p. 233 - 260 28 p.

Research output: Contribution to journalArticleResearchpeer-review

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

2002
13 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

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

2001
12 Citations (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, In : Lecture Notes in Computer Science. 2042, p. 86 - 102 17 p.

Research output: Contribution to journalArticleResearchpeer-review

4 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

10 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

2000
11 Citations (Scopus)

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

6 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

1999
35 Citations (Scopus)

An Overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, In : Lecture Notes in Computer Science. p. 174 - 188 15 p.

Research output: Contribution to journalArticleResearchpeer-review

25 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

23 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

1998
11 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

1997
8 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

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

1 Citation (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

11 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

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