Maria Garcia de la Banda
Orcid: 0000-0002-6666-514XAffiliations:
- Monash University, Melbourne, Australia
According to our database1,
Maria Garcia de la Banda
authored at least 113 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques".
Dataset, March, 2024
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.
Proc. ACM Program. Lang., 2024
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
CoRR, 2024
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Optimal dynamic partial order reduction with context-sensitive independence and observers.
J. Syst. Softw., August, 2023
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences.
CoRR, 2023
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles.
Bioinform., 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
2022
2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021
2020
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.
IEEE Trans. Vis. Comput. Graph., 2017
Statistical inference of protein structural alignments using information and compression.
Bioinform., 2017
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes.
Proceedings of the 2017 Data Compression Conference, 2017
Proceedings of the Principles and Practice of Constraint Programming, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Principles and Practice of Constraint Programming, 2016
2015
Constraints An Int. J., 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
IEEE ACM Trans. Comput. Biol. Bioinform., 2014
Constraints An Int. J., 2014
A new statistical framework to assess structural alignment quality using information compression.
Bioinform., 2014
2013
2012
Theory Pract. Log. Program., 2012
Super: a web server to rapidly screen superposable oligopeptide fragments from the protein data bank.
Nucleic Acids Res., 2012
Constraints An Int. J., 2012
2011
Introduction to the 24th international conference on logic programming special issue.
Theory Pract. Log. Program., 2011
2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
2007
INFORMS J. Comput., 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
Theory Pract. Log. Program., 2005
J. Bioinform. Comput. Biol., 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
2002
Proceedings of the Logic Programming, 18th International Conference, 2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
Proceedings of the Logic Based Program Synthesis and Transformation, 2000
1999
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Trans. Program. Lang. Syst., 1999
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.
J. Log. Program., 1999
Herbrand Constraint Solving in HAL.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
Proceedings of the Principles and Practice of Constraint Programming, 1999
1998
1997
J. Log. Program., 1997
Optimization of Logic Programs with Dynamic Scheduling.
Proceedings of the Logic Programming, 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
ACM Trans. Program. Lang. Syst., 1995
Proceedings of the Logic Programming, 1995
1994
Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming.
PhD thesis, 1994
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
Proceedings of the Logic Programming, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994
1993
A Practical Approach to the Global Analysis of CLP Programs.
Proceedings of the Logic Programming, 1993
Contextual Nets and Constraint Logic Programming.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
Independence in Constraint Logic Programs.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
1992
A Practical Application of Sharing and Freeness Inference.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992