Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Maria Garcia de la Banda
@inproceedings{DBLP:conf/aaai/LeoGB024,
author = {Kevin Leo and
Graeme Gange and
Maria Garcia de la Banda and
Mark Wallace},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Automatic Core-Guided Reformulation via Constraint Explanation and
Condition Learning},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {8065--8072},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i8.28645},
doi = {10.1609/AAAI.V38I8.28645},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeoGB024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS24,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.8.3)},
publisher = {Zenodo},
year = {2024},
month = feb,
howpublished = {\url{https://doi.org/10.5281/zenodo.10603060}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10603060},
doi = {10.5281/ZENODO.10603060},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/AmarasingheASBL23,
author = {Piyumi R. Amarasinghe and
Lloyd Allison and
Peter J. Stuckey and
Maria Garcia de la Banda and
Arthur M. Lesk and
Arun Siddharth Konagurthu},
title = {Getting '{\(\phi\)}{\(\psi\)}{\(\chi\)}al' with proteins: minimum
message length inference of joint distributions of backbone and sidechain
dihedral angles},
journal = {Bioinform.},
volume = {39},
number = {Supplement-1},
pages = {357--367},
year = {2023},
url = {https://doi.org/10.1093/bioinformatics/btad251},
doi = {10.1093/BIOINFORMATICS/BTAD251},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/AmarasingheASBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SenthooranKBCL023,
author = {Ilankaikone Senthooran and
Matthias Klapperst{\"{u}}ck and
Gleb Belov and
Tobias Czauderna and
Kevin Leo and
Mark Wallace and
Michael Wybrow and
Maria Garcia de la Banda},
title = {Human-centred feasibility restoration in practice},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {203--243},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09344-5},
doi = {10.1007/S10601-023-09344-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/SenthooranKBCL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlbertBGIS23,
author = {Elvira Albert and
Maria Garcia de la Banda and
Miguel G{\'{o}}mez{-}Zamalloa and
Miguel Isabel and
Peter J. Stuckey},
title = {Optimal dynamic partial order reduction with context-sensitive independence
and observers},
journal = {J. Syst. Softw.},
volume = {202},
pages = {111730},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2023.111730},
doi = {10.1016/J.JSS.2023.111730},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AlbertBGIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Banda23,
author = {Maria Garcia de la Banda},
editor = {Roland H. C. Yap},
title = {Beyond Optimal Solutions for Real-World Problems (Invited Talk)},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.1},
doi = {10.4230/LIPICS.CP.2023.1},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Banda23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KlapperstueckNS23,
author = {Matthias Klapperstueck and
Frits de Nijs and
Ilankaikone Senthooran and
Jack Lee{-}Kopij and
Maria Garcia de la Banda and
Michael Wybrow},
editor = {Roland H. C. Yap},
title = {Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert
Views},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {21:1--21:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.21},
doi = {10.4230/LIPICS.CP.2023.21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/KlapperstueckNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WijesundaraBT23,
author = {Sameela Suharshani Wijesundara and
Maria Garcia de la Banda and
Guido Tack},
editor = {Roland H. C. Yap},
title = {Addressing Problem Drift in {UNHCR} Fund Allocation},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {37:1--37:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.37},
doi = {10.4230/LIPICS.CP.2023.37},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/WijesundaraBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.0)},
publisher = {Zenodo},
year = {2023},
month = feb,
howpublished = {\url{https://doi.org/10.5281/zenodo.7672225}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7672225},
doi = {10.5281/ZENODO.7672225},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23a,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.1)},
publisher = {Zenodo},
year = {2023},
month = mar,
howpublished = {\url{https://doi.org/10.5281/zenodo.7787491}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7787491},
doi = {10.5281/ZENODO.7787491},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23b,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.2)},
publisher = {Zenodo},
year = {2023},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.7803876}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7803876},
doi = {10.5281/ZENODO.7803876},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23c,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.3)},
publisher = {Zenodo},
year = {2023},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.7865511}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7865511},
doi = {10.5281/ZENODO.7865511},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23d,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.4)},
publisher = {Zenodo},
year = {2023},
month = may,
howpublished = {\url{https://doi.org/10.5281/zenodo.7923141}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7923141},
doi = {10.5281/ZENODO.7923141},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23e,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.5)},
publisher = {Zenodo},
year = {2023},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.8012425}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8012425},
doi = {10.5281/ZENODO.8012425},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23f,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.7.6)},
publisher = {Zenodo},
year = {2023},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.8062366}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8062366},
doi = {10.5281/ZENODO.8062366},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23g,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.8.0)},
publisher = {Zenodo},
year = {2023},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.10140806}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10140806},
doi = {10.5281/ZENODO.10140806},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23h,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.8.1)},
publisher = {Zenodo},
year = {2023},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.10208208}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10208208},
doi = {10.5281/ZENODO.10208208},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TackDLBNBS23i,
author = {Guido Tack and
Jip J. Dekker and
Kevin Leo and
Gleb Belov and
Jason Nguyen and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {MiniZinc (Version 2.8.2)},
publisher = {Zenodo},
year = {2023},
month = dec,
howpublished = {\url{https://doi.org/10.5281/zenodo.10388161}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10388161},
doi = {10.5281/ZENODO.10388161},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/TackDLBNBS23i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06292,
author = {Sandun Rajapaksa and
Lloyd Allison and
Peter J. Stuckey and
Maria Garcia de la Banda and
Arun Siddharth Konagurthu},
title = {The divergence time of protein structures modelled by Markov matrices
and its relation to the divergence of sequences},
journal = {CoRR},
volume = {abs/2308.06292},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06292},
doi = {10.48550/ARXIV.2308.06292},
eprinttype = {arXiv},
eprint = {2308.06292},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LeoMTB22,
author = {Kevin Leo and
Christopher Mears and
Guido Tack and
Maria Garcia de la Banda},
title = {Globalizing constraint models},
journal = {Artif. Intell.},
volume = {302},
pages = {103599},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103599},
doi = {10.1016/J.ARTINT.2021.103599},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LeoMTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/RajapaksaSBSAAL21,
author = {Sandun Rajapaksa and
Dinithi Sumanaweera and
Maria Garcia de la Banda and
Peter J. Stuckey and
David Abramson and
Lloyd Allison and
Arthur M. Lesk and
Arun Siddharth Konagurthu},
editor = {Yufei Huang and
Lukasz A. Kurgan and
Feng Luo and
Xiaohua Hu and
Yidong Chen and
Edward R. Dougherty and
Andrzej Kloczkowski and
Yaohang Li},
title = {On identifying statistical redundancy at the level of amino acid subsequences},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2021, Houston, TX, USA, December 9-12, 2021},
pages = {64--71},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BIBM52615.2021.9669282},
doi = {10.1109/BIBM52615.2021.9669282},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bibm/RajapaksaSBSAAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SenthooranKBCLW21,
author = {Ilankaikone Senthooran and
Matthias Klapperst{\"{u}}ck and
Gleb Belov and
Tobias Czauderna and
Kevin Leo and
Mark Wallace and
Michael Wybrow and
Maria Garcia de la Banda},
editor = {Laurent D. Michel},
title = {Human-Centred Feasibility Restoration},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {49:1--49:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.49},
doi = {10.4230/LIPICS.CP.2021.49},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SenthooranKBCLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EkBSST20,
author = {Alexander Ek and
Maria Garcia de la Banda and
Andreas Schutt and
Peter J. Stuckey and
Guido Tack},
title = {Modelling and Solving Online Optimisation Problems},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1477--1485},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5506},
doi = {10.1609/AAAI.V34I02.5506},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EkBSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/IngmarBST20,
author = {Linnea Ingmar and
Maria Garcia de la Banda and
Peter J. Stuckey and
Guido Tack},
title = {Modelling Diversity of Solutions},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1528--1535},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5512},
doi = {10.1609/AAAI.V34I02.5512},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/IngmarBST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/EkBSST20,
author = {Alexander Ek and
Maria Garcia de la Banda and
Andreas Schutt and
Peter J. Stuckey and
Guido Tack},
editor = {Helmut Simonis},
title = {Aggregation and Garbage Collection for Online Optimization},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {231--247},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_14},
doi = {10.1007/978-3-030-58475-7\_14},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/EkBSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeoGBW20,
author = {Kevin Leo and
Graeme Gange and
Maria Garcia de la Banda and
Mark Wallace},
editor = {Helmut Simonis},
title = {Core-Guided Model Reformulation},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {445--461},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_26},
doi = {10.1007/978-3-030-58475-7\_26},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeoGBW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BelovDBHKW20,
author = {Gleb Belov and
Wenbo Du and
Maria Garcia de la Banda and
Daniel Harabor and
Sven Koenig and
Xinrui Wei},
editor = {Daniel Harabor and
Mauro Vallati},
title = {From Multi-Agent Pathfinding to 3D Pipe Routing},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
pages = {11--19},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/socs.v11i1.18530},
doi = {10.1609/SOCS.V11I1.18530},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BelovDBHKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlbertBGIS19,
author = {Elvira Albert and
Maria Garcia de la Banda and
Miguel G{\'{o}}mez{-}Zamalloa and
Miguel Isabel and
Peter J. Stuckey},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Optimal context-sensitive dynamic partial order reduction with observers},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {352--362},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330565},
doi = {10.1145/3293882.3330565},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlbertBGIS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08412,
author = {Gleb Belov and
Liron Cohen and
Maria Garcia de la Banda and
Daniel Harabor and
Sven Koenig and
Xinrui Wei},
title = {Position Paper: From Multi-Agent Pathfinding to Pipe Routing},
journal = {CoRR},
volume = {abs/1905.08412},
year = {2019},
url = {http://arxiv.org/abs/1905.08412},
eprinttype = {arXiv},
eprint = {1905.08412},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DekkerBSST18,
author = {Jip J. Dekker and
Maria Garcia de la Banda and
Andreas Schutt and
Peter J. Stuckey and
Guido Tack},
editor = {John N. Hooker},
title = {Solver-Independent Large Neighbourhood Search},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {81--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_6},
doi = {10.1007/978-3-319-98334-9\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DekkerBSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZeighamiLTB18,
author = {Kiana Zeighami and
Kevin Leo and
Guido Tack and
Maria Garcia de la Banda},
editor = {John N. Hooker},
title = {Towards Semi-Automatic Learning-Based Model Transformation},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {403--419},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_27},
doi = {10.1007/978-3-319-98334-9\_27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZeighamiLTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BelovCBKSSW018,
author = {Gleb Belov and
Tobias Czauderna and
Maria Garcia de la Banda and
Matthias Klapperst{\"{u}}ck and
Ilankaikone Senthooran and
Mitch Smith and
Michael Wybrow and
Mark Wallace},
editor = {John N. Hooker},
title = {Process Plant Layout Optimization: Equipment Allocation},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {473--489},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_31},
doi = {10.1007/978-3-319-98334-9\_31},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BelovCBKSSW018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CollierALSB17,
author = {James H. Collier and
Lloyd Allison and
Arthur M. Lesk and
Peter J. Stuckey and
Maria Garcia de la Banda and
Arun Siddharth Konagurthu},
title = {Statistical inference of protein structural alignments using information
and compression},
journal = {Bioinform.},
volume = {33},
number = {7},
pages = {1005--1013},
year = {2017},
url = {https://doi.org/10.1093/bioinformatics/btw757},
doi = {10.1093/BIOINFORMATICS/BTW757},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/CollierALSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/GoodwinMDBTW17,
author = {Sarah Goodwin and
Christopher Mears and
Tim Dwyer and
Maria Garcia de la Banda and
Guido Tack and
Mark Wallace},
title = {What do Constraint Programming Users Want to See? Exploring the Role
of Visualisation in Profiling of Models and Search},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {23},
number = {1},
pages = {281--290},
year = {2017},
url = {https://doi.org/10.1109/TVCG.2016.2598545},
doi = {10.1109/TVCG.2016.2598545},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvcg/GoodwinMDBTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbertABGS17,
author = {Elvira Albert and
Puri Arenas and
Maria Garcia de la Banda and
Miguel G{\'{o}}mez{-}Zamalloa and
Peter J. Stuckey},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Context-Sensitive Dynamic Partial Order Reduction},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {526--543},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_26},
doi = {10.1007/978-3-319-63387-9\_26},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlbertABGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BelovCDBWW17,
author = {Gleb Belov and
Tobias Czauderna and
Amel Dzaferovic and
Maria Garcia de la Banda and
Michael Wybrow and
Mark Wallace},
editor = {J. Christopher Beck},
title = {An Optimization Model for 3D Pipe Routing with Flexibility Constraints},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {321--337},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_21},
doi = {10.1007/978-3-319-66158-2\_21},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BelovCDBWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/SubramanianASBA17,
author = {Ramanan Subramanian and
Lloyd Allison and
Peter J. Stuckey and
Maria Garcia de la Banda and
David Abramson and
Arthur M. Lesk and
Arun Siddharth Konagurthu},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Statistical Compression of Protein Folding Patterns for Inference
of Recurrent Substructural Themes},
booktitle = {2017 Data Compression Conference, {DCC} 2017, Snowbird, UT, USA, April
4-7, 2017},
pages = {340--349},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DCC.2017.46},
doi = {10.1109/DCC.2017.46},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcc/SubramanianASBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ShishmarevMTB16,
author = {Maxim Shishmarev and
Christopher Mears and
Guido Tack and
Maria Garcia de la Banda},
title = {Visual search tree profiling},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {77--94},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9202-1},
doi = {10.1007/S10601-015-9202-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ShishmarevMTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ShishmarevMTB16,
author = {Maxim Shishmarev and
Christopher Mears and
Guido Tack and
Maria Garcia de la Banda},
editor = {Michel Rueher},
title = {Learning from Learning Solvers},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {455--472},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_29},
doi = {10.1007/978-3-319-44953-1\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ShishmarevMTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MearsBWD15,
author = {Christopher Mears and
Maria Garcia de la Banda and
Mark Wallace and
Bart Demoen},
title = {A method for detecting symmetries in constraint models and its generalisation},
journal = {Constraints An Int. J.},
volume = {20},
number = {2},
pages = {235--273},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9175-5},
doi = {10.1007/S10601-014-9175-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MearsBWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MearsB15,
author = {Christopher Mears and
Maria Garcia de la Banda},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Towards Automatic Dominance Breaking for Constraint Optimization Problems},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {360--366},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/057},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MearsB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CollierALBK14,
author = {James H. Collier and
Lloyd Allison and
Arthur M. Lesk and
Maria Garcia de la Banda and
Arun Siddharth Konagurthu},
title = {A new statistical framework to assess structural alignment quality
using information compression},
journal = {Bioinform.},
volume = {30},
number = {17},
pages = {512--518},
year = {2014},
url = {https://doi.org/10.1093/bioinformatics/btu460},
doi = {10.1093/BIOINFORMATICS/BTU460},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/CollierALBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BandaSHW14,
author = {Maria Garcia de la Banda and
Peter J. Stuckey and
Pascal Van Hentenryck and
Mark Wallace},
title = {The future of optimization technology},
journal = {Constraints An Int. J.},
volume = {19},
number = {2},
pages = {126--138},
year = {2014},
url = {https://doi.org/10.1007/s10601-013-9149-z},
doi = {10.1007/S10601-013-9149-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BandaSHW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MearsBDW14,
author = {Christopher Mears and
Maria Garcia de la Banda and
Bart Demoen and
Mark Wallace},
title = {Lightweight dynamic symmetry breaking},
journal = {Constraints An Int. J.},
volume = {19},
number = {3},
pages = {195--242},
year = {2014},
url = {https://doi.org/10.1007/s10601-013-9154-2},
doi = {10.1007/S10601-013-9154-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MearsBDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ChuBMS14,
author = {Geoffrey Chu and
Maria Garcia de la Banda and
Christopher Mears and
Peter J. Stuckey},
title = {Symmetries, almost symmetries, and lazy clause generation},
journal = {Constraints An Int. J.},
volume = {19},
number = {4},
pages = {434--462},
year = {2014},
url = {https://doi.org/10.1007/s10601-014-9163-9},
doi = {10.1007/S10601-014-9163-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ChuBMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/KasarapuBK14,
author = {Parthan Kasarapu and
Maria Garcia de la Banda and
Arun Siddharth Konagurthu},
title = {On Representing Protein Folding Patterns Using Non-Linear Parametric
Curves},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {11},
number = {6},
pages = {1218--1228},
year = {2014},
url = {https://doi.org/10.1109/TCBB.2014.2338319},
doi = {10.1109/TCBB.2014.2338319},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/KasarapuBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DemoenB14,
author = {Bart Demoen and
Maria Garcia de la Banda},
title = {Redundant Sudoku rules},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {3},
pages = {363--377},
year = {2014},
url = {https://doi.org/10.1017/S1471068412000361},
doi = {10.1017/S1471068412000361},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DemoenB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DemoenB13,
author = {Bart Demoen and
Maria Garcia de la Banda},
title = {Redundant disequalities in the Latin Square problem},
journal = {Constraints An Int. J.},
volume = {18},
number = {4},
pages = {471--477},
year = {2013},
url = {https://doi.org/10.1007/s10601-013-9147-1},
doi = {10.1007/S10601-013-9147-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DemoenB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertBGRS13,
author = {Elvira Albert and
Maria J. Garc{\'{\i}}a de la Banda and
Miguel G{\'{o}}mez{-}Zamalloa and
Jos{\'{e}} Miguel Rojas and
Peter J. Stuckey},
title = {A {CLP} heap solver for test case generation},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {721--735},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000458},
doi = {10.1017/S1471068413000458},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlbertBGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeoMTB13,
author = {Kevin Leo and
Christopher Mears and
Guido Tack and
Maria Garcia de la Banda},
editor = {Christian Schulte},
title = {Globalizing Constraint Models},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {432--447},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_34},
doi = {10.1007/978-3-642-40627-0\_34},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeoMTB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ChuBS12,
author = {Geoffrey Chu and
Maria Garcia de la Banda and
Peter J. Stuckey},
title = {Exploiting subproblem dominance in constraint programming},
journal = {Constraints An Int. J.},
volume = {17},
number = {1},
pages = {1--38},
year = {2012},
url = {https://doi.org/10.1007/s10601-011-9112-9},
doi = {10.1007/S10601-011-9112-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ChuBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/CollierLBK12,
author = {James H. Collier and
Arthur M. Lesk and
Maria Garcia de la Banda and
Arun Siddharth Konagurthu},
title = {Super: a web server to rapidly screen superposable oligopeptide fragments
from the protein data bank},
journal = {Nucleic Acids Res.},
volume = {40},
number = {Web-Server-Issue},
pages = {334--339},
year = {2012},
url = {https://doi.org/10.1093/nar/gks436},
doi = {10.1093/NAR/GKS436},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/CollierLBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DemoenB12,
author = {Bart Demoen and
Maria Garcia de la Banda},
title = {Introduction to the special issue on Prolog systems},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {1--4},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000524},
doi = {10.1017/S1471068411000524},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DemoenB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-5926,
author = {Bart Demoen and
Maria Garcia de la Banda},
title = {Redundant Sudoku Rules},
journal = {CoRR},
volume = {abs/1207.5926},
year = {2012},
url = {http://arxiv.org/abs/1207.5926},
eprinttype = {arXiv},
eprint = {1207.5926},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-5926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BandaSC11,
author = {Maria Garcia de la Banda and
Peter J. Stuckey and
Geoffrey Chu},
title = {Solving Talent Scheduling with Dynamic Programming},
journal = {{INFORMS} J. Comput.},
volume = {23},
number = {1},
pages = {120--137},
year = {2011},
url = {https://doi.org/10.1287/ijoc.1090.0378},
doi = {10.1287/IJOC.1090.0378},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BandaSC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BandaP11,
author = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Introduction to the 24th international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {131--133},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000020},
doi = {10.1017/S1471068411000020},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BandaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChuSBM11,
author = {Geoffrey Chu and
Peter J. Stuckey and
Maria Garcia de la Banda and
Christopher Mears},
editor = {Toby Walsh},
title = {Symmetries and Lazy Clause Generation},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {516--521},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-094},
doi = {10.5591/978-1-57735-516-8/IJCAI11-094},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChuSBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/StivalaSBHW10,
author = {Alex D. Stivala and
Peter J. Stuckey and
Maria Garcia de la Banda and
Manuel V. Hermenegildo and
Anthony Wirth},
title = {Lock-free parallel dynamic programming},
journal = {J. Parallel Distributed Comput.},
volume = {70},
number = {8},
pages = {839--848},
year = {2010},
url = {https://doi.org/10.1016/j.jpdc.2010.01.004},
doi = {10.1016/J.JPDC.2010.01.004},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/StivalaSBHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ChuBS10,
author = {Geoffrey Chu and
Maria Garcia de la Banda and
Peter J. Stuckey},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Automatically Exploiting Subproblem Equivalence in Constraint Programming},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {71--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_10},
doi = {10.1007/978-3-642-13520-0\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ChuBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MearsBW09,
author = {Christopher Mears and
Maria Garcia de la Banda and
Mark Wallace},
title = {On implementing symmetry detection},
journal = {Constraints An Int. J.},
volume = {14},
number = {4},
pages = {443--477},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9057-9},
doi = {10.1007/S10601-008-9057-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MearsBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChuSB09,
author = {Geoffrey Chu and
Peter J. Stuckey and
Maria Garcia de la Banda},
editor = {Ian P. Gent},
title = {Using Relaxations in Maximum Density Still Life},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {258--273},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_22},
doi = {10.1007/978-3-642-04244-7\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChuSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MarriottNRSBW08,
author = {Kim Marriott and
Nicholas Nethercote and
Reza Rafeh and
Peter J. Stuckey and
Maria Garcia de la Banda and
Mark Wallace},
title = {The Design of the Zinc Modelling Language},
journal = {Constraints An Int. J.},
volume = {13},
number = {3},
pages = {229--267},
year = {2008},
url = {https://doi.org/10.1007/s10601-008-9041-4},
doi = {10.1007/S10601-008-9041-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MarriottNRSBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RafehMBNW08,
author = {Reza Rafeh and
Kim Marriott and
Maria Garcia de la Banda and
Nicholas Nethercote and
Mark Wallace},
editor = {Peter J. Stuckey},
title = {Adding Search to Zinc},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {624--629},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_54},
doi = {10.1007/978-3-540-85958-1\_54},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/RafehMBNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MearsBWD08,
author = {Christopher Mears and
Maria J. Garc{\'{\i}}a de la Banda and
Mark Wallace and
Bart Demoen},
editor = {Laurent Perron and
Michael A. Trick},
title = {A Novel Approach For Detecting Symmetries in {CSP} Models},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {158--172},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_14},
doi = {10.1007/978-3-540-68155-7\_14},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/MearsBWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2},
doi = {10.1007/978-3-540-89982-2},
isbn = {978-3-540-89981-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BandaS07,
author = {Maria Garcia de la Banda and
Peter J. Stuckey},
title = {Dynamic Programming to Minimize the Maximum Number of Open Stacks},
journal = {{INFORMS} J. Comput.},
volume = {19},
number = {4},
pages = {607--617},
year = {2007},
url = {https://doi.org/10.1287/ijoc.1060.0205},
doi = {10.1287/IJOC.1060.0205},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BandaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/RafehBMW07,
author = {Reza Rafeh and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Mark Wallace},
editor = {Michael Hanus},
title = {From Zinc to Design Model},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {215--229},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_14},
doi = {10.1007/978-3-540-69611-7\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/RafehBMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDBS06,
author = {Tom Schrijvers and
Bart Demoen and
Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey},
title = {Improving {PARMA} trailing},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {6},
pages = {609--644},
year = {2006},
url = {https://doi.org/10.1017/S1471068405002620},
doi = {10.1017/S1471068405002620},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BandaMRW06,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Reza Rafeh and
Mark Wallace},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {The Modelling Language Zinc},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {700--705},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_54},
doi = {10.1007/11889205\_54},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BandaMRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BecketBMSSW06,
author = {Ralph Becket and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Zoltan Somogyi and
Peter J. Stuckey and
Mark Wallace},
editor = {Pascal Van Hentenryck},
title = {Adding Constraint Solving to Mercury},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {118--133},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_9},
doi = {10.1007/11603023\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/BecketBMSSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/BoydPRWB05,
author = {Sarah E. Boyd and
Robert N. Pike and
George B. Rudy and
James C. Whisstock and
Maria J. Garc{\'{\i}}a de la Banda},
title = {Pops: a Computational Tool for Modeling and Predicting Protease Specificity},
journal = {J. Bioinform. Comput. Biol.},
volume = {3},
number = {3},
pages = {551--586},
year = {2005},
url = {https://doi.org/10.1142/S021972000500117X},
doi = {10.1142/S021972000500117X},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/BoydPRWB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HolzbaurBSD05,
author = {Christian Holzbaur and
Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey and
Gregory J. Duck},
title = {Optimizing compilation of constraint handling rules in {HAL}},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {4-5},
pages = {503--531},
year = {2005},
url = {https://doi.org/10.1017/S1471068405002413},
doi = {10.1017/S1471068405002413},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/HolzbaurBSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BandaHMSD05,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Warwick Harvey and
Kim Marriott and
Peter J. Stuckey and
Bart Demoen},
title = {Checking modes of {HAL} programs},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {6},
pages = {623--668},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002327},
doi = {10.1017/S1471068404002327},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BandaHMSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/StuckeyBMMSSWW05,
author = {Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Michael J. Maher and
Kim Marriott and
John K. Slaney and
Zoltan Somogyi and
Mark Wallace and
Toby Walsh},
editor = {Peter van Beek},
title = {The {G12} Project: Mapping Solver Independent Models to Efficient
Solutions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {13--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_4},
doi = {10.1007/11564751\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/StuckeyBMMSSWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/StuckeyBMMSSWW05,
author = {Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Michael J. Maher and
Kim Marriott and
John K. Slaney and
Zoltan Somogyi and
Mark Wallace and
Toby Walsh},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {The {G12} Project: Mapping Solver Independent Models to Efficient
Solutions},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {9--13},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_3},
doi = {10.1007/11562931\_3},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/StuckeyBMMSSWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505085,
author = {Tom Schrijvers and
Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen and
Peter J. Stuckey},
title = {Improving {PARMA} Trailing},
journal = {CoRR},
volume = {abs/cs/0505085},
year = {2005},
url = {http://arxiv.org/abs/cs/0505085},
eprinttype = {arXiv},
eprint = {cs/0505085},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/BoydBPWR04,
author = {Sarah E. Boyd and
Maria J. Garc{\'{\i}}a de la Banda and
Robert N. Pike and
James C. Whisstock and
George B. Rudy},
title = {PoPS: {A} Computational Tool for Modeling and Predicting Protease
Specificity},
booktitle = {3rd International {IEEE} Computer Society Computational Systems Bioinformatics
Conference, {CSB} 2004, Stanford, CA, USA, August 16-19, 2004},
pages = {372--381},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSB.2004.1332450},
doi = {10.1109/CSB.2004.1332450},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csb/BoydBPWR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BuenoB04,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Set-Sharing Is Not Always Redundant for Pair-Sharing},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {117--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_10},
doi = {10.1007/978-3-540-24754-8\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/BuenoB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuckSBH04,
author = {Gregory J. Duck and
Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Christian Holzbaur},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {The Refined Operational Semantics of Constraint Handling Rules},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {90--104},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_7},
doi = {10.1007/978-3-540-27775-0\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuckSBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuckBS04,
author = {Gregory J. Duck and
Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Compiling Ask Constraints},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {105--119},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_8},
doi = {10.1007/978-3-540-27775-0\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuckBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/PueblaCHBBMS04,
author = {Germ{\'{a}}n Puebla and
Jes{\'{u}}s Correas and
Manuel V. Hermenegildo and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {A Generic Framework for Context-Sensitive Analysis of Modular Programs},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {233--260},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_8},
doi = {10.1007/978-3-540-25951-0\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaCHBBMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/DemoenBHMOS04,
author = {Bart Demoen and
Maria J. Garc{\'{\i}}a de la Banda and
Warwick Harvey and
Kim Marriott and
David Overton and
Peter J. Stuckey},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Herbrand Constraints in {HAL}},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {499--538},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_15},
doi = {10.1007/978-3-540-25951-0\_15},
timestamp = {Thu, 23 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/DemoenBHMOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408025,
author = {Christian Holzbaur and
Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey and
Gregory J. Duck},
title = {Optimizing compilation of constraint handling rules in {HAL}},
journal = {CoRR},
volume = {cs.PL/0408025},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0409038,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Warwick Harvey and
Kim Marriott and
Peter J. Stuckey and
Bart Demoen},
title = {Checking modes of {HAL} programs},
journal = {CoRR},
volume = {cs.PL/0409038},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0409038},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0409038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BandaSW03,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey and
Jeremy Wazny},
title = {Finding all minimal unsatisfiable subsets},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {32--43},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888256},
doi = {10.1145/888251.888256},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BandaSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CameronBMM03,
author = {M. Cameron and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter Moulder},
title = {ViMer: a visual debugger for mercury},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {56--66},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888258},
doi = {10.1145/888251.888258},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CameronBMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DuckSBH03,
author = {Gregory J. Duck and
Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Christian Holzbaur},
title = {Extending arbitrary solvers with constraint handling rules},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {79--90},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888260},
doi = {10.1145/888251.888260},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/DuckSBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BandaDMS02,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen and
Kim Marriott and
Peter J. Stuckey},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {To the Gates of {HAL:} {A} {HAL} Tutorial},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {47--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_3},
doi = {10.1007/3-540-45788-7\_3},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/BandaDMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversBD02,
author = {Tom Schrijvers and
Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen},
editor = {Peter J. Stuckey},
title = {Trailing Analysis for {HAL}},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {38--53},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_4},
doi = {10.1007/3-540-45619-8\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HolzbaurBJS01,
author = {Christian Holzbaur and
Maria J. Garc{\'{\i}}a de la Banda and
David Jeffery and
Peter J. Stuckey},
editor = {Philippe Codognet},
title = {Optimizing Compilation of Constraint Handling Rules},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {74--89},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_13},
doi = {10.1007/3-540-45635-X\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HolzbaurBJS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BandaJMNSH01,
author = {Maria J. Garc{\'{\i}}a de la Banda and
David Jeffery and
Kim Marriott and
Nicholas Nethercote and
Peter J. Stuckey and
Christian Holzbaur},
editor = {Philippe Codognet},
title = {Building Constraint Solvers with {HAL}},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {90--104},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_14},
doi = {10.1007/3-540-45635-X\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BandaJMNSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BandaHM00,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
title = {Independence in {CLP} languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {2},
pages = {296--339},
year = {2000},
url = {https://doi.org/10.1145/349214.349224},
doi = {10.1145/349214.349224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BandaHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/BandaSHM00,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey and
Warwick Harvey and
Kim Marriott},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Model Checking in {HAL}},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1270--1284},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_85},
doi = {10.1007/3-540-44957-4\_85},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/BandaSHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott and
Germ{\'{a}}n Puebla and
Peter J. Stuckey},
editor = {Kung{-}Kiu Lau},
title = {A model for inter-module analysis and optimizing compilation},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-bueno.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00a,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott and
Germ{\'{a}}n Puebla and
Peter J. Stuckey},
editor = {Kung{-}Kiu Lau},
title = {A Model for Inter-module Analysis and Optimizing Compilation},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {86--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_6},
doi = {10.1007/3-540-45142-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MuthukumarBBH99,
author = {Kalyan Muthukumar and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Automatic Compile-Time Parallelization of Logic Programs for Restricted,
Goal Level, Independent and Parallelism},
journal = {J. Log. Program.},
volume = {38},
number = {2},
pages = {165--218},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10022-5},
doi = {10.1016/S0743-1066(98)10022-5},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MuthukumarBBH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BuenoBH99,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Effectivness of Abstract Interpretation in Automatic Parallelization:
{A} Case Study in Logic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {2},
pages = {189--239},
year = {1999},
url = {https://doi.org/10.1145/316686.316688},
doi = {10.1145/316686.316688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BuenoBH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DemoenBHMS99,
author = {Bart Demoen and
Maria J. Garc{\'{\i}}a de la Banda and
Warwick Harvey and
Kim Marriott and
Peter J. Stuckey},
editor = {Joxan Jaffar},
title = {An Overview of {HAL}},
booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International
Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1713},
pages = {174--188},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48085-3\_13},
doi = {10.1007/978-3-540-48085-3\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DemoenBHMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DemoenBHMS99,
author = {Bart Demoen and
Maria J. Garc{\'{\i}}a de la Banda and
Warwick Harvey and
Kim Marriott and
Peter J. Stuckey},
editor = {Danny De Schreye},
title = {Herbrand Constraint Solving in {HAL}},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {260--274},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DemoenBHMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BandaMSS98,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey and
Harald S{\o}ndergaard},
title = {Differential Methods in Logic Program Analysis},
journal = {J. Log. Program.},
volume = {35},
number = {1},
pages = {1--37},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10002-4},
doi = {10.1016/S0743-1066(97)10002-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BandaMSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishBBH97,
author = {Michael Codish and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Exploiting Goal Independence in the Analysis of Logic Programs},
journal = {J. Log. Program.},
volume = {32},
number = {3},
pages = {247--261},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00143-4},
doi = {10.1016/S0743-1066(96)00143-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishBBH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PueblaBMS97,
author = {Germ{\'{a}}n Puebla and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {Lee Naish},
title = {Optimization of Logic Programs with Dynamic Scheduling},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {93--107},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PueblaBMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BandaHBDJS96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Maurice Bruynooghe and
Veroniek Dumortier and
Gerda Janssens and
Wim Simoens},
title = {Global Analysis of Constraint Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {5},
pages = {564--614},
year = {1996},
url = {https://doi.org/10.1145/232706.232734},
doi = {10.1145/232706.232734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BandaHBDJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HermenegildoBCCBLP96,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Daniel Cabeza and
Manuel Carro and
Maria J. Garc{\'{\i}}a de la Banda and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {The {CIAO} Multi-Dialect Compiler and System: An Experimentation Workbench
for Future {(C)LP} Systems},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {105--110},
year = {1996},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/HermenegildoBCCBLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BandaHM96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Independence in Dynamically Scheduled Logic Languages},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {47--61},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_3},
doi = {10.1007/3-540-61735-3\_3},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/BandaHM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BandaBH96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Towards Independent And-Parallelism in {CLP}},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {77--91},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_78},
doi = {10.1007/3-540-61756-6\_78},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BandaBH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishMBBH95,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Improving Abstract Interpretations by Combining Domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {28--44},
year = {1995},
url = {https://doi.org/10.1145/200994.200998},
doi = {10.1145/200994.200998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CodishMBBH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaMS95,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {John W. Lloyd},
title = {Efficient Analysis of Logic Programs with Dynamic Scheduling},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {417--431},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300104},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BandaMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Banda94,
author = {Maria Garcia de la Banda},
title = {Independence, Global analysis, and parallelism, in dinamically scheduled
constraint logic programming},
school = {Technical University of Madrid, Spain},
year = {1994},
url = {https://oa.upm.es/21607/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Banda94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishBBH94,
author = {Michael Codish and
Maria J. Garc{\'{\i}}a de la Banda and
Maurice Bruynooghe and
Manuel V. Hermenegildo},
editor = {Frank Pfenning},
title = {Goal Dependent versus Goal Independent Analysis of Logic Programs},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {305--319},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_46},
doi = {10.1007/3-540-58216-9\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishBBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/BuenoBH94,
author = {Francisco Bueno and
Maria Garcia de la Banda and
Manuel V. Hermenegildo},
editor = {Hoon Hong},
title = {A Comparative Study of Methods for Automatic Compile-time Parallelization
of Logic Programs},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {63--73},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/BuenoBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MarriottBH94,
author = {Kim Marriott and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Analyzing Logic Programs with Dynamic Scheduling},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {240--253},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177883},
doi = {10.1145/174675.177883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MarriottBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/MontanariRBBH94,
author = {Ugo Montanari and
Francesca Rossi and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Alan Borning},
title = {Towards a Concurrent Semantics based Analysis of {CC} and {CLP}},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {151--161},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_97},
doi = {10.1007/3-540-58601-6\_97},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppcp/MontanariRBBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BuenoBH94,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Maurice Bruynooghe},
title = {Effectiveness of Global Analysis in Strict Independence-Based Automatic
Parallelization},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {320--336},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BuenoBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BandaHM93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Christian Schulte and
Gert Smolka},
title = {Independence in Constraint Logic Programs},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BandaHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MontanariRBGH93,
author = {Ugo Montanari and
Francesca Rossi and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Christian Schulte and
Gert Smolka},
title = {Contextual Nets and Constraint Logic Programming},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MontanariRBGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CodishMBBH93,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {David A. Schmidt},
title = {Improving Abstract Interpretations by Combining Domains},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
pages = {194--205},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154630.154650},
doi = {10.1145/154630.154650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CodishMBBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaHM93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Dale Miller},
title = {Independence in Constraint Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {130--146},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaH93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Dale Miller},
title = {A Practical Approach to the Global Analysis of {CLP} Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {437--455},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BandaH92,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {A Practical Application of Sharing and Freeness Inference},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {118--125},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/BandaH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
