Maria J. García de la Banda

54 papers A* 1A 3B 10C 7Misc 2Journal 15Unranked 14
YearRankTypeTitle / Venue / Authors
2013 J jnl
A CLP heap solver for test case generation.
Theory Pract. Log. Program.
Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey
2008 B conf
A Novel Approach For Detecting Symmetries in CSP Models.
CPAIOR
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
2007 C conf
From Zinc to Design Model.
PADL
Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
2006 C conf
Adding Constraint Solving to Mercury.
PADL
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
2006 J jnl
Improving PARMA trailing.
Theory Pract. Log. Program.
Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
2006 A conf
The Modelling Language Zinc.
CP
Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
2005 J jnl
Checking modes of HAL programs.
Theory Pract. Log. Program.
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2005 J jnl
Improving PARMA Trailing
CoRR
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
2005 J jnl
Optimizing compilation of constraint handling rules in HAL.
Theory Pract. Log. Program.
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
2005 J jnl
Pops: a Computational Tool for Modeling and Predicting Protease Specificity.
J. Bioinform. Comput. Biol.
Sarah E. Boyd, Robert N. Pike, George B. Rudy, James C. Whisstock, Maria J. García de la Banda
2005 A conf
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
CP
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005 B conf
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
ICLP
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2004 — ch.
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004 J jnl
Checking modes of HAL programs
CoRR
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2004 B conf
Compiling Ask Constraints.
ICLP
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
2004 — ch.
Herbrand Constraints in HAL.
Program Development in Computational Logic
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
2004 J jnl
Optimizing compilation of constraint handling rules in HAL
CoRR
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
2004 — conf
PoPS: A Computational Tool for Modeling and Predicting Protease Specificity.
CSB
Sarah E. Boyd, Maria J. García de la Banda, Robert N. Pike, James C. Whisstock, George B. Rudy
2004 Misc conf
Set-Sharing Is Not Always Redundant for Pair-Sharing.
FLOPS
Francisco Bueno, Maria J. García de la Banda
2004 B conf
The Refined Operational Semantics of Constraint Handling Rules.
ICLP
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
2003 C conf
Extending arbitrary solvers with constraint handling rules.
PPDP
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
2003 C conf
Finding all minimal unsatisfiable subsets.
PPDP
Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny
2003 C conf
ViMer: a visual debugger for mercury.
PPDP
M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder
2002 Misc conf
To the Gates of HAL: A HAL Tutorial.
FLOPS
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
2002 B conf
Trailing Analysis for HAL.
ICLP
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
2001 B conf
Building Constraint Solvers with HAL.
ICLP
Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
2001 B conf
Optimizing Compilation of Constraint Handling Rules.
ICLP
Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
2000 — conf
A Model for Inter-module Analysis and Optimizing Compilation.
LOPSTR (LNCS 2042: Selected Papers)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000 C conf
A model for inter-module analysis and optimizing compilation.
LOPSTR
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000 J jnl
Independence in CLP languages.
ACM Trans. Program. Lang. Syst.
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
2000 — conf
Model Checking in HAL.
Computational Logic
Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
1999 A conf
An Overview of HAL.
CP
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999 J jnl
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.
J. Log. Program.
Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999 J jnl
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Trans. Program. Lang. Syst.
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999 B conf
Herbrand Constraint Solving in HAL.
ICLP
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1998 J jnl
Differential Methods in Logic Program Analysis.
J. Log. Program.
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
1997 J jnl
Exploiting Goal Independence in the Analysis of Logic Programs.
J. Log. Program.
Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1997 B conf
Optimization of Logic Programs with Dynamic Scheduling.
ICLP
Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
1996 J jnl
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst.
Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
1996 — conf
Independence in Dynamically Scheduled Logic Languages.
ALP
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1996 — conf
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
APPIA-GULP-PRODE
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1996 — conf
Towards Independent And-Parallelism in CLP.
PLILP
Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
1995 — conf
Efficient Analysis of Logic Programs with Dynamic Scheduling.
ILPS
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
1995 J jnl
Improving Abstract Interpretations by Combining Domains.
ACM Trans. Program. Lang. Syst.
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1994 A* conf
Analyzing Logic Programs with Dynamic Scheduling.
POPL
Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo
1994 — conf
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
ILPS
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1994 B conf
Goal Dependent versus Goal Independent Analysis of Logic Programs.
LPAR
Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
1994 — conf
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — conf
A Practical Approach to the Global Analysis of CLP Programs.
ILPS
Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — conf
Contextual Nets and Constraint Logic Programming.
ICLP Workshop on Concurrent Constraint Programming
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 C conf
Improving Abstract Interpretations by Combining Domains.
PEPM
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — conf
Independence in Constraint Logic Programs.
ICLP Workshop on Concurrent Constraint Programming
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1993 — conf
Independence in Constraint Logic Programs.
ILPS
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1992 — conf
A Practical Application of Sharing and Freeness Inference.
WSA
Maria J. García de la Banda, Manuel V. Hermenegildo