Maria J. Garca de la Banda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
11
Active years
1992–2008
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CPAIOR | A Novel Approach For Detecting Symmetries in CSP Models. | Christopher Mears, Maria J. Garca de la Banda, Mark Wallace, Bart Demoen |
| 2007 | PADL | From Zinc to Design Model. | Reza Rafeh, Maria J. Garca de la Banda, Kim Marriott, Mark Wallace |
| 2006 | CP | The Modelling Language Zinc. | Maria J. Garca de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace |
| 2006 | PADL | Adding Constraint Solving to Mercury. | Ralph Becket, Maria J. Garca de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2004 | FLOPS | Set-Sharing Is Not Always Redundant for Pair-Sharing. | Francisco Bueno, Maria J. Garca de la Banda |
| 2004 | ICLP | Compiling Ask Constraints. | Gregory J. Duck, Maria J. Garca de la Banda, Peter J. Stuckey |
| 2004 | ICLP | The Refined Operational Semantics of Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2003 | PPDP | Finding all minimal unsatisfiable subsets. | Maria J. Garca de la Banda, Peter J. Stuckey, Jeremy Wazny |
| 2003 | PPDP | ViMer: a visual debugger for mercury. | M. Cameron, Maria J. Garca de la Banda, Kim Marriott, Peter Moulder |
| 2003 | PPDP | Extending arbitrary solvers with constraint handling rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2002 | FLOPS | To the Gates of HAL: A HAL Tutorial. | Maria J. Garca de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
| 2002 | ICLP | Trailing Analysis for HAL. | Tom Schrijvers, Maria J. Garca de la Banda, Bart Demoen |
| 2001 | ICLP | Building Constraint Solvers with HAL. | Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
| 2001 | ICLP | Optimizing Compilation of Constraint Handling Rules. | Christian Holzbaur, Maria J. Garca de la Banda, David Jeffery, Peter J. Stuckey |
| 2000 | LOPSTR | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | LOPSTR | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 1999 | CP | An Overview of HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | ICLP | Herbrand Constraint Solving in HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1997 | ICLP | Optimization of Logic Programs with Dynamic Scheduling. | Germn Puebla, Maria J. Garca de la Banda, Kim Marriott, Peter J. Stuckey |
| 1994 | LPAR | Goal Dependent versus Goal Independent Analysis of Logic Programs. | Michael Codish, Maria J. Garca de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
| 1994 | POPL | Analyzing Logic Programs with Dynamic Scheduling. | Kim Marriott, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | ICLP | Independence in Constraint Logic Programs. | Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott |
| 1993 | ICLP | Contextual Nets and Constraint Logic Programming. | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | PEPM | Improving Abstract Interpretations by Combining Domains. | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1992 | SAS | A Practical Application of Sharing and Freeness Inference. | Maria J. Garca de la Banda, Manuel V. Hermenegildo |