default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaria Garcia de la Banda
Maria J. García de la Banda
Person information
- affiliation: Monash University, Melbourne, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Elvira Albert
, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024)- [c63]Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI 2024: 8065-8072 - [d13]Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". Zenodo, 2024
- [d12]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions] - [d11]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions] - [i7]Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR abs/2409.10196 (2024) - 2023
- [j36]Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu:
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. 39(Supplement-1): 357-367 (2023) - [j35]Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda:
Human-centred feasibility restoration in practice. Constraints An Int. J. 28(2): 203-243 (2023) - [j34]Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202: 111730 (2023) - [c62]Maria Garcia de la Banda:
Beyond Optimal Solutions for Real-World Problems (Invited Talk). CP 2023: 1:1-1:4 - [c61]Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow:
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. CP 2023: 21:1-21:18 - [c60]Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack:
Addressing Problem Drift in UNHCR Fund Allocation. CP 2023: 37:1-37:18 - [d10]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions] - [d9]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions] - [d8]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions] - [d7]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions] - [d6]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions] - [d5]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions] - [d4]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions] - [d3]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions] - [d2]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions] - [d1]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions] - [i6]Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR abs/2308.06292 (2023) - 2022
- [j33]Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing constraint models. Artif. Intell. 302: 103599 (2022) - 2021
- [c59]Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu:
On identifying statistical redundancy at the level of amino acid subsequences. BIBM 2021: 64-71 - [c58]Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda:
Human-Centred Feasibility Restoration. CP 2021: 49:1-49:18 - 2020
- [c57]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485 - [c56]Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535 - [c55]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Aggregation and Garbage Collection for Online Optimization. CP 2020: 231-247 - [c54]Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Core-Guided Model Reformulation. CP 2020: 445-461 - [c53]Gleb Belov, Wenbo Du, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei:
From Multi-Agent Pathfinding to 3D Pipe Routing. SOCS 2020: 11-19
2010 – 2019
- 2019
- [c52]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: 352-362 - [i5]Gleb Belov, Liron Cohen, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei:
Position Paper: From Multi-Agent Pathfinding to Pipe Routing. CoRR abs/1905.08412 (2019) - 2018
- [c51]Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Solver-Independent Large Neighbourhood Search. CP 2018: 81-98 - [c50]Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda:
Towards Semi-Automatic Learning-Based Model Transformation. CP 2018: 403-419 - [c49]Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace:
Process Plant Layout Optimization: Equipment Allocation. CP 2018: 473-489 - 2017
- [j32]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. Bioinform. 33(7): 1005-1013 (2017) - [j31]Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace:
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23(1): 281-290 (2017) - [c48]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: 526-543 - [c47]Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace:
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. CP 2017: 321-337 - [c46]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: 340-349 - 2016
- [j30]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Visual search tree profiling. Constraints An Int. J. 21(1): 77-94 (2016) - [c45]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Learning from Learning Solvers. CP 2016: 455-472 - 2015
- [j29]Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen:
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20(2): 235-273 (2015) - [c44]Christopher Mears, Maria Garcia de la Banda:
Towards Automatic Dominance Breaking for Constraint Optimization Problems. IJCAI 2015: 360-366 - 2014
- [j28]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. Bioinform. 30(17): 512-518 (2014) - [j27]Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace:
The future of optimization technology. Constraints An Int. J. 19(2): 126-138 (2014) - [j26]Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace:
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19(3): 195-242 (2014) - [j25]Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19(4): 434-462 (2014) - [j24]Parthan Kasarapu, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
On Representing Protein Folding Patterns Using Non-Linear Parametric Curves. IEEE ACM Trans. Comput. Biol. Bioinform. 11(6): 1218-1228 (2014) - [j23]Bart Demoen, Maria Garcia de la Banda:
Redundant Sudoku rules. Theory Pract. Log. Program. 14(3): 363-377 (2014) - 2013
- [j22]Bart Demoen, Maria Garcia de la Banda:
Redundant disequalities in the Latin Square problem. Constraints An Int. J. 18(4): 471-477 (2013) - [j21]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): 721-735 (2013) - [c43]Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing Constraint Models. CP 2013: 432-447 - 2012
- [j20]Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17(1): 1-38 (2012) - [j19]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 Res. 40(Web-Server-Issue): 334-339 (2012) - [j18]Bart Demoen, Maria Garcia de la Banda:
Introduction to the special issue on Prolog systems. Theory Pract. Log. Program. 12(1-2): 1-4 (2012) - [i4]Bart Demoen, Maria Garcia de la Banda:
Redundant Sudoku Rules. CoRR abs/1207.5926 (2012) - 2011
- [j17]Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu:
Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. 23(1): 120-137 (2011) - [j16]Maria Garcia de la Banda, Enrico Pontelli:
Introduction to the 24th international conference on logic programming special issue. Theory Pract. Log. Program. 11(2-3): 131-133 (2011) - [c42]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears:
Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521 - 2010
- [j15]Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth:
Lock-free parallel dynamic programming. J. Parallel Distributed Comput. 70(8): 839-848 (2010) - [c41]Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR 2010: 71-86
2000 – 2009
- 2009
- [j14]Christopher Mears, Maria Garcia de la Banda, Mark Wallace:
On implementing symmetry detection. Constraints An Int. J. 14(4): 443-477 (2009) - [c40]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda:
Using Relaxations in Maximum Density Still Life. CP 2009: 258-273 - 2008
- [j13]Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace:
The Design of the Zinc Modelling Language. Constraints An Int. J. 13(3): 229-267 (2008) - [c39]Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace:
Adding Search to Zinc. CP 2008: 624-629 - [c38]Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen:
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR 2008: 158-172 - [e1]Maria Garcia de la Banda, Enrico Pontelli:
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366, Springer 2008, ISBN 978-3-540-89981-5 [contents] - 2007
- [j12]Maria Garcia de la Banda, Peter J. Stuckey:
Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS J. Comput. 19(4): 607-617 (2007) - [c37]Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace:
From Zinc to Design Model. PADL 2007: 215-229 - 2006
- [j11]Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey:
Improving PARMA trailing. Theory Pract. Log. Program. 6(6): 609-644 (2006) - [c36]Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace:
The Modelling Language Zinc. CP 2006: 700-705 - [c35]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: 118-133 - 2005
- [j10]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): 551-586 (2005) - [j9]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): 503-531 (2005) - [j8]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): 623-668 (2005) - [c34]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: 13-16 - [c33]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: 9-13 - [i3]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
Improving PARMA Trailing. CoRR abs/cs/0505085 (2005) - 2004
- [c32]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: 372-381 - [c31]Francisco Bueno, Maria J. García de la Banda:
Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131 - [c30]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: 90-104 - [c29]Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey:
Compiling Ask Constraints. ICLP 2004: 105-119 - [p2]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: 233-260 - [p1]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: 499-538 - [i2]Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. CoRR cs.PL/0408025 (2004) - [i1]Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. CoRR cs.PL/0409038 (2004) - 2003
- [c28]Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny:
Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43 - [c27]M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder:
ViMer: a visual debugger for mercury. PPDP 2003: 56-66 - [c26]Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90 - 2002
- [c25]Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66 - [c24]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen:
Trailing Analysis for HAL. ICLP 2002: 38-53 - 2001
- [c23]Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89 - [c22]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: 90-104 - 2000
- [j7]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in CLP languages. ACM Trans. Program. Lang. Syst. 22(2): 296-339 (2000) - [c21]Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott:
Model Checking in HAL. Computational Logic 2000: 1270-1284 - [c20]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 - [c19]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: 86-102
1990 – 1999
- 1999
- [j6]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): 165-218 (1999) - [j5]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): 189-239 (1999) - [c18]Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
An Overview of HAL. CP 1999: 174-188 - [c17]Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
Herbrand Constraint Solving in HAL. ICLP 1999: 260-274 - 1998
- [j4]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): 1-37 (1998) - 1997
- [j3]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): 247-261 (1997) - [c16]Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107 - 1996
- [j2]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): 564-614 (1996) - [c15]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: 105-110 - [c14]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61 - [c13]Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo:
Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91 - 1995
- [j1]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): 28-44 (1995) - [c12]