Maria J. García de la Banda

Publication Activity (10 Years)

Years Active: 1992-2013
Publications (10 Years): 0

Top Topics

Software Testing

Static Analysis

Test Case Generation

Top Venues

Theory Pract. Log. Program.

Publications

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. Theory Pract. Log. Program. 13 (4-5) (2013)
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR (2008)
Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
From Zinc to Design Model. PADL (2007)
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
Adding Constraint Solving to Mercury. PADL (2006)
Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
Improving PARMA trailing. Theory Pract. Log. Program. 6 (6) (2006)
Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
The Modelling Language Zinc. CP (2006)
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
Improving PARMA Trailing CoRR (2005)
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5 (4-5) (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP (2005)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs. Theory Pract. Log. Program. 5 (6) (2005)
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. Bioinform. Comput. Biol. 3 (3) (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP (2005)
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
Compiling Ask Constraints. ICLP (2004)
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)
Francisco Bueno, Maria J. García de la Banda
Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS (2004)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs CoRR (2004)
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)
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)
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
Extending arbitrary solvers with constraint handling rules. PPDP (2003)
Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny
Finding all minimal unsatisfiable subsets. PPDP (2003)
M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder
ViMer: a visual debugger for mercury. PPDP (2003)
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
To the Gates of HAL: A HAL Tutorial. FLOPS (2002)
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
Trailing Analysis for HAL. ICLP (2002)
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)
Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
Optimizing Compilation of Constraint Handling Rules. ICLP (2001)
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)
Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
Model Checking in HAL. Computational Logic (2000)
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)
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
Independence in CLP languages. ACM Trans. Program. Lang. Syst. 22 (2) (2000)
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. 21 (2) (1999)
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. 38 (2) (1999)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
An Overview of HAL. CP (1999)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
Herbrand Constraint Solving in HAL. ICLP (1999)
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
Differential Methods in Logic Program Analysis. J. Log. Program. 35 (1) (1998)
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. 32 (3) (1997)
Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
Optimization of Logic Programs with Dynamic Scheduling. ICLP (1997)
Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
Towards Independent And-Parallelism in CLP. PLILP (1996)
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
Independence in Dynamically Scheduled Logic Languages. ALP (1996)
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE (1996)
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. 18 (5) (1996)
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS (1995)
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. 17 (1) (1995)
Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo
Analyzing Logic Programs with Dynamic Scheduling. POPL (1994)
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)
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)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS (1994)
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
Independence in Constraint Logic Programs. ILPS (1993)
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
Improving Abstract Interpretations by Combining Domains. PEPM (1993)
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
Independence in Constraint Logic Programs. ICLP Workshop on Concurrent Constraint Programming (1993)
Maria J. García de la Banda, Manuel V. Hermenegildo
A Practical Approach to the Global Analysis of CLP Programs. ILPS (1993)
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)
Maria J. García de la Banda, Manuel V. Hermenegildo
A Practical Application of Sharing and Freeness Inference. WSA (1992)