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

Research Output

2020

Computer modeling of a potential agent against SARS-Cov-2 (COVID-19) protease

Lesk, A. M., Konagurthu, A. S., Allison, L., Garcia de la Banda, M., Stuckey, P. J. & Abramson, D., 14 Jul 2020, (Accepted/In press) In : Proteins: Structure, Function, and Bioinformatics. 2 p.

Research output: Contribution to journalArticleOtherpeer-review

Open Access
2019

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)

Optimal context-sensitive Dynamic Partial Order Reduction with observers

Albert, E., De La Banda, M. G., Gómez-Zamalloa, M., Isabel, M. & Stuckey, P. J., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 352-362 11 p.

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

2 Citations (Scopus)
2018

Process plant layout optimization: equipment allocation

Belov, G., Czauderna, T., de la Banda, M. G., Klapperstueck, M., Senthooran, I., Smith, M., Wybrow, M. & Wallace, M., 23 Aug 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 473-489 17 p. (Lecture Notes in Computer Science; vol. 11008 ).

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

Solver-independent large neighbourhood search

Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

5 Citations (Scopus)

Towards semi-automatic learning-based model transformation

Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

2017

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)

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)

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S., 8 May 2017, Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. 7923707. (Data Compression Conference. Proceedings).

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

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

5 Citations (Scopus)
9 Citations (Scopus)
2016

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)

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
5 Citations (Scopus)
2015

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)

Towards automatic dominance breaking for constraint optimization problems

Mears, C. D. & Garcia De La Banda, M. J., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 360 - 366 7 p.

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

Open Access
File
3 Citations (Scopus)
2014

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)

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)

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

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)

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

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)

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)

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

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)

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

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

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

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)

Symmetries and lazy clause generation

Chu, G., Stuckey, P., Garcia De La Banda, M. J. & Mears, C., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). Walsh, T. (ed.). Menlo Park CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 516 - 521 6 p.

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

6 Citations (Scopus)
2010

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)

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)

Symmetries and lazy clause generation

Chu, G., Garcia De La Banda, M. J., Mears, C. D. & Stuckey, P. J., 2010, Proceedings of SymCon'10 the Tenth International Workshop on Symmetry in Constraint Satisfaction Problems. Flener, P. & Pearson, J. (eds.). Uppsala Sweden: Uppsala University, p. 1 - 15 15 p.

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

2009

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)

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)

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)

Using relaxations in maximum density still life

Chu, G., Stuckey, P. J. & Garcia De La Banda, M. J., 2009, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 258 - 273 16 p.

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

5 Citations (Scopus)
2008

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

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

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

Preface

De La Banda, M. G. & Pontelli, E., 1 Dec 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. de la Banda, M. G. & Pontelli, E. (eds.). Berlin Germany: Springer, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 5366).

Research output: Chapter in Book/Report/Conference proceedingForeword / PostscriptOther

Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)

Garcia De La Banda, M. J. & Pontelli, E., 2008, Berlin Germany: Springer-Verlag London Ltd. 826 p.

Research output: Book/ReportEdited Book

Symmetry breaking and branching constraints

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

Research output: Contribution to conferenceOther

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

101 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

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)

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)

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)