| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gleb Belov, Liron Cohen 0002, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei |
Position Paper: From Multi-Agent Pathfinding to Pipe Routing.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
Optimal context-sensitive dynamic partial order reduction with observers. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Solver-Independent Large Neighbourhood Search. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace 0001 |
Process Plant Layout Optimization: Equipment Allocation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
Towards Semi-Automatic Learning-Based Model Transformation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu |
Statistical inference of protein structural alignments using information and compression. |
Bioinformatics |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace 0001 |
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. |
IEEE Trans. Vis. Comput. Graph. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey |
Context-Sensitive Dynamic Partial Order Reduction. |
CAV (1) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu |
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. |
DCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace 0001 |
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Visual search tree profiling. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Learning from Learning Solvers. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen |
A method for detecting symmetries in constraint models and its generalisation. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda |
Towards Automatic Dominance Breaking for Constraint Optimization Problems. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Parthan Kasarapu, Maria Garcia de la Banda, Arun Siddharth Konagurthu |
On Representing Protein Folding Patterns Using Non-Linear Parametric Curves. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Collier, Lloyd Allison, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu |
A new statistical framework to assess structural alignment quality using information compression. |
Bioinformatics |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace 0001 |
Lightweight dynamic symmetry breaking. |
Constraints |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace 0001 |
The future of optimization technology. |
Constraints |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey |
Symmetries, almost symmetries, and lazy clause generation. |
Constraints |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria Garcia de la Banda |
Redundant Sudoku rules. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria Garcia de la Banda |
Redundant disequalities in the Latin Square problem. |
Constraints |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Globalizing Constraint Models. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey |
A CLP heap solver for test case generation. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Collier, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu |
Super: a web server to rapidly screen superposable oligopeptide fragments from the protein data bank. |
Nucleic Acids Research |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria Garcia de la Banda |
Redundant Sudoku Rules |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
Exploiting subproblem dominance in constraint programming. |
Constraints |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria Garcia de la Banda |
Introduction to the special issue on Prolog systems. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu |
Solving Talent Scheduling with Dynamic Programming. |
INFORMS Journal on Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Enrico Pontelli |
Introduction to the 24th international conference on logic programming special issue. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears |
Symmetries and Lazy Clause Generation. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth |
Lock-free parallel dynamic programming. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
Automatically Exploiting Subproblem Equivalence in Constraint Programming. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001 |
On implementing symmetry detection. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Automatic symmetry detection, Graph automorphism |
| 1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
Using Relaxations in Maximum Density Still Life. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace 0001 |
The Design of the Zinc Modelling Language. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Modelling, Optimisation, CSP, Constraint programming, Language design |
| 1 | Maria Garcia de la Banda, Enrico Pontelli (eds.) |
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace 0001 |
Adding Search to Zinc. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen |
A Novel Approach For Detecting Symmetries in CSP Models. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Peter J. Stuckey |
Dynamic Programming to Minimize the Maximum Number of Open Stacks. |
INFORMS Journal on Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace 0001 |
From Zinc to Design Model. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey |
Improving PARMA trailing. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace 0001 |
Adding Constraint Solving to Mercury. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace 0001 |
The Modelling Language Zinc. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey |
Improving PARMA Trailing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sarah E. Boyd, Robert N. Pike, George B. Rudy, James C. Whisstock, Maria J. García de la Banda |
Pops: a Computational Tool for Modeling and Predicting Protease Specificity. |
J. Bioinformatics and Computational Biology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck |
Optimizing compilation of constraint handling rules in HAL. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen |
Checking modes of HAL programs. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace 0001, Toby Walsh |
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace 0001, Toby Walsh |
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen |
Checking modes of HAL programs |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck |
Optimizing compilation of constraint handling rules in HAL |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey |
Compiling Ask Constraints. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah E. Boyd, Maria J. García de la Banda, Robert N. Pike, James C. Whisstock, George B. Rudy |
PoPS: A Computational Tool for Modeling and Predicting Protease Specificity. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda |
Set-Sharing Is Not Always Redundant for Pair-Sharing. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey |
Herbrand Constraints in HAL. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
A Generic Framework for Context-Sensitive Analysis of Modular Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
Extending arbitrary solvers with constraint handling rules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, constraint solvers, constraint handling rules |
| 1 | Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny |
Finding all minimal unsatisfiable subsets. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
minimal unsatisfiable subsets, constraint solving |
| 1 | M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder |
ViMer: a visual debugger for mercury. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
execution trees, incremental tree layout, visualization |
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen |
Trailing Analysis for HAL. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
To the Gates of HAL: A HAL Tutorial. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
Building Constraint Solvers with HAL. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey |
Optimizing Compilation of Constraint Handling Rules. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in CLP languages. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
parallelism, constraint logic programming, independence |
| 1 | Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott |
Model Checking in HAL. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey |
A Model for Inter-module Analysis and Optimizing Compilation. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey |
A model for inter-module analysis and optimizing compilation. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization |
| 1 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
Herbrand Constraint Solving in HAL. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
An Overview of HAL. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard |
Differential Methods in Logic Program Analysis. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Exploiting Goal Independence in the Analysis of Logic Programs. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
Optimization of Logic Programs with Dynamic Scheduling. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens |
Global Analysis of Constraint Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
global program analysis, program analysis, abstract interpretation, constraint logic programming |
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García 0001, Germán Puebla |
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in Dynamically Scheduled Logic Languages. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo |
Towards Independent And-Parallelism in CLP. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Improving Abstract Interpretations by Combining Domains. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
logic programming, program analysis, abstract interpretation |
| 1 | Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
Efficient Analysis of Logic Programs with Dynamic Scheduling. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
Goal Dependent versus Goal Independent Analysis of Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Towards a Concurrent Semantics based Analysis of CC and CLP. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo |
Analyzing Logic Programs with Dynamic Scheduling. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo |
A Practical Approach to the Global Analysis of CLP Programs. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in Constraint Logic Programs. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Improving Abstract Interpretations by Combining Domains. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in Constraint Logic Programs. |
ICLP Workshop on Concurrent Constraint Programming |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Contextual Nets and Constraint Logic Programming. |
ICLP Workshop on Concurrent Constraint Programming |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo |
A Practical Application of Sharing and Freeness Inference. |
WSA |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license