The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria J. García de la Banda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
  2. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in Dynamically Scheduled Logic Languages. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:47-61 [Conf]
  3. Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
    Model Checking in HAL. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1270-1284 [Conf]
  4. Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
    The Modelling Language Zinc. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:700-705 [Conf]
  5. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    An Overview of HAL. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:174-188 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    CSB, 2004, pp:372-381 [Conf]
  8. Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
    To the Gates of HAL: A HAL Tutorial. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:47-66 [Conf]
  9. Francisco Bueno, Maria J. García de la Banda
    Set-Sharing Is Not Always Redundant for Pair-Sharing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:117-131 [Conf]
  10. Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
    Building Constraint Solvers with HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:90-104 [Conf]
  11. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    Herbrand Constraint Solving in HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:260-274 [Conf]
  12. Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
    Compiling Ask Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:105-119 [Conf]
  13. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    The Refined Operational Semantics of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:90-104 [Conf]
  14. Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
    Optimizing Compilation of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:74-89 [Conf]
  15. Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Optimization of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:93-107 [Conf]
  16. Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
    Trailing Analysis for HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:38-53 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  18. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
    Herbrand Constraints in HAL. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:499-538 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  22. Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
    Goal Dependent versus Goal Independent Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:305-319 [Conf]
  23. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Adding Constraint Solving to Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:118-133 [Conf]
  24. Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
    From Zinc to Design Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:215-229 [Conf]
  25. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:194-205 [Conf]
  26. Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
    Towards Independent And-Parallelism in CLP. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:77-91 [Conf]
  27. Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo
    Analyzing Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:240-253 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:151-161 [Conf]
  29. Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny
    Finding all minimal unsatisfiable subsets. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:32-43 [Conf]
  30. M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder
    ViMer: a visual debugger for mercury. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:56-66 [Conf]
  31. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    Extending arbitrary solvers with constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:79-90 [Conf]
  32. Maria J. García de la Banda, Manuel V. Hermenegildo
    A Practical Application of Sharing and Freeness Inference. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:118-125 [Conf]
  33. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:320-336 [Conf]
  34. Maria J. García de la Banda, Manuel V. Hermenegildo
    A Practical Approach to the Global Analysis of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:437-455 [Conf]
  35. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:130-146 [Conf]
  36. Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Efficient Analysis of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:417-431 [Conf]
  37. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  38. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  39. 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. [Citation Graph (0, 0)][DBLP]
    J. Bioinformatics and Computational Biology, 2005, v:3, n:3, pp:551-586 [Journal]
  40. Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
    Differential Methods in Logic Program Analysis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:1, pp:1-37 [Journal]
  41. Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Exploiting Goal Independence in the Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:3, pp:247-261 [Journal]
  42. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:2, pp:165-218 [Journal]
  43. Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
    Global Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:564-614 [Journal]
  44. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:189-239 [Journal]
  45. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in CLP languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:296-339 [Journal]
  46. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:28-44 [Journal]
  47. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL progams. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:623-668 [Journal]
  48. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:503-531 [Journal]
  49. Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
    Improving PARMA trailing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:609-644 [Journal]

  50. A Novel Approach For Detecting Symmetries in CSP Models. [Citation Graph (, )][DBLP]


  51. Improving PARMA Trailing [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002