Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Demis Ballis
@article{DBLP:journals/jlap/AlpuenteBEGS23,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
D. Gal{\'{a}}n and
Julia Sapi{\~{n}}a},
title = {Safety enforcement via programmable strategies in Maude},
journal = {J. Log. Algebraic Methods Program.},
volume = {132},
pages = {100849},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100849},
doi = {10.1016/J.JLAMP.2023.100849},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AlpuenteBEGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlpuenteB0MS23,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Jos{\'{e}} Meseguer and
Julia Sapi{\~{n}}a},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Optimizing Maude Programs via Program Specialization},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {21--50},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_2},
doi = {10.1007/978-3-031-31476-6\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlpuenteB0MS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AlpuenteBES22,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Julia Sapi{\~{n}}a},
title = {Optimization of rewrite theories by equational partial evaluation},
journal = {J. Log. Algebraic Methods Program.},
volume = {124},
pages = {100729},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100729},
doi = {10.1016/J.JLAMP.2021.100729},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AlpuenteBES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteESB22,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Julia Sapi{\~{n}}a and
Demis Ballis},
title = {Symbolic Specialization of Rewriting Logic Theories with Presto},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {3},
pages = {444--495},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000600},
doi = {10.1017/S1471068421000600},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteESB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlpuenteBES22,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Julia Sapi{\~{n}}a},
editor = {Alicia Villanueva},
title = {Variant-Based Equational Anti-unification},
booktitle = {Logic-Based Program Synthesis and Transformation - 32nd International
Symposium, {LOPSTR} 2022, Tbilisi, Georgia, September 21-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13474},
pages = {44--60},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16767-6\_3},
doi = {10.1007/978-3-031-16767-6\_3},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlpuenteBES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10201,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Julia Sapi{\~{n}}a},
title = {Symbolic Specialization of Rewriting Logic Theories with Presto},
journal = {CoRR},
volume = {abs/2112.10201},
year = {2021},
url = {https://arxiv.org/abs/2112.10201},
eprinttype = {arXiv},
eprint = {2112.10201},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AlpuenteBS20,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Julia Sapi{\~{n}}a},
title = {Efficient Safety Enforcement for Maude Programs via Program Specialization
in the {\'{A}}TAME System},
journal = {Math. Comput. Sci.},
volume = {14},
number = {3},
pages = {591--606},
year = {2020},
url = {https://doi.org/10.1007/s11786-020-00455-3},
doi = {10.1007/S11786-020-00455-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AlpuenteBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlpuenteBS19,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Julia Sapi{\~{n}}a},
title = {Static correction of Maude programs with assertions},
journal = {J. Syst. Softw.},
volume = {153},
pages = {64--85},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.03.061},
doi = {10.1016/J.JSS.2019.03.061},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AlpuenteBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteESB19,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Julia Sapi{\~{n}}a and
Demis Ballis},
title = {Symbolic Analysis of Maude Theories with Narval},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {874--890},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000243},
doi = {10.1017/S1471068419000243},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteESB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlpuenteBCEM19,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Angel Cuenca{-}Ortega and
Santiago Escobar and
Jos{\'{e}} Meseguer},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {ACUOS\({}^{\mbox{2}}\): {A} High-Performance System for Modular {ACU}
Generalization with Subtyping and Inheritance},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {171--181},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_11},
doi = {10.1007/978-3-030-19570-0\_11},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlpuenteBCEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10919,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Julia Sapi{\~{n}}a},
title = {Symbolic Analysis of Maude Theories with Narval},
journal = {CoRR},
volume = {abs/1907.10919},
year = {2019},
url = {http://arxiv.org/abs/1907.10919},
eprinttype = {arXiv},
eprint = {1907.10919},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/AlpuenteBS18,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Julia Sapi{\~{n}}a},
editor = {James H. Davenport and
Manuel Kauers and
George Labahn and
Josef Urban},
title = {Inferring Safe Maude Programs with {\'{A}}TAME},
booktitle = {Mathematical Software - {ICMS} 2018 - 6th International Conference,
South Bend, IN, USA, July 24-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10931},
pages = {1--10},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96418-8\_1},
doi = {10.1007/978-3-319-96418-8\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icms/AlpuenteBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlpuenteBFS16,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
title = {Debugging Maude programs via runtime assertion checking and trace
slicing},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {707--736},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.03.001},
doi = {10.1016/J.JLAMP.2016.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AlpuenteBFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteFSB16,
author = {Mar{\'{\i}}a Alpuente and
Francisco Frechina and
Julia Sapi{\~{n}}a and
Demis Ballis},
title = {Assertion-based analysis via slicing with {ABETS}},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {515--532},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000375},
doi = {10.1017/S1471068416000375},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteFSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlpuenteBFS16,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
title = {Assertion-based Analysis via Slicing with {ABETS} (System Description)},
journal = {CoRR},
volume = {abs/1608.01433},
year = {2016},
url = {http://arxiv.org/abs/1608.01433},
eprinttype = {arXiv},
eprint = {1608.01433},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlpuenteBFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlpuenteBFS15,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
title = {Exploring conditional rewriting logic computations},
journal = {J. Symb. Comput.},
volume = {69},
pages = {3--39},
year = {2015},
url = {https://doi.org/10.1016/j.jsc.2014.09.028},
doi = {10.1016/J.JSC.2014.09.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AlpuenteBFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlpuenteBFS15,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {72--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_3},
doi = {10.1007/978-3-319-23165-5\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlpuenteBFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuenteBFR14,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Daniel Romero},
title = {Using conditional trace slicing for improving Maude programs},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {385--415},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.09.018},
doi = {10.1016/J.SCICO.2013.09.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlpuenteBFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuenteBR14,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Daniel Romero},
title = {A rewriting logic approach to the formal specification and verification
of web applications},
journal = {Sci. Comput. Program.},
volume = {81},
pages = {79--107},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.07.014},
doi = {10.1016/J.SCICO.2013.07.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlpuenteBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlpuenteBFS14,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Inspecting Rewriting Logic Computations (in a Parametric and Stepwise
Way)},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {229--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_12},
doi = {10.1007/978-3-642-54624-2\_12},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlpuenteBFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlpuenteBFFR13,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi and
Francisco Frechina and
Daniel Romero},
title = {Rewriting-based repairing strategies for {XML} repositories},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {8},
pages = {326--352},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.05.002},
doi = {10.1016/J.JLAP.2013.05.002},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/AlpuenteBFFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlpuenteBFS13,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Slicing-Based Trace Analysis of Rewriting Logic Specifications with
iJulienne},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {121--124},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_7},
doi = {10.1007/978-3-642-37036-6\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AlpuenteBFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/AlpuenteBFS13,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Parametric Exploration of Rewriting Logic Computations},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {4--18},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/zm5g},
doi = {10.29007/ZM5G},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/AlpuenteBFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlpuenteBFR12,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Daniel Romero},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Julienne: {A} Trace Slicer for Conditional Rewrite Theories},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {28--32},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_5},
doi = {10.1007/978-3-642-32759-9\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AlpuenteBFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlpuenteBFR12,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Daniel Romero},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Backward Trace Slicing for Conditional Rewrite Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {62--76},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_8},
doi = {10.1007/978-3-642-28717-6\_8},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlpuenteBFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BallisK11,
author = {Demis Ballis and
Temur Kutsia},
title = {Foreword},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {93--94},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.003},
doi = {10.1016/J.JSC.2010.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BallisK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlpuenteBER11,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Javier Espert and
Daniel Romero},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Backward Trace Slicing for Rewriting Logic Theories},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {34--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_5},
doi = {10.1007/978-3-642-22438-6\_5},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/AlpuenteBER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-2358,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Javier Espert and
Francisco Frechina and
Daniel Romero},
editor = {Laura Kov{\'{a}}cs and
Rosario Pugliese and
Francesco Tiezzi},
title = {Debugging of Web Applications with Web-TLR},
booktitle = {Proceedings 7th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
June 2011},
series = {{EPTCS}},
volume = {61},
pages = {66--80},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.61.5},
doi = {10.4204/EPTCS.61.5},
timestamp = {Sun, 02 Oct 2022 15:31:49 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-2358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2665,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Javier Espert and
Daniel Romero},
title = {Dynamic Backward Slicing of Rewriting Logic Computations},
journal = {CoRR},
volume = {abs/1105.2665},
year = {2011},
url = {http://arxiv.org/abs/1105.2665},
eprinttype = {arXiv},
eprint = {1105.2665},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlpuenteBCF10,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco J. Correa and
Moreno Falaschi},
title = {An integrated framework for the diagnosis and correction of rule-based
programs},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {47},
pages = {4055--4101},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.07.009},
doi = {10.1016/J.TCS.2010.07.009},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlpuenteBCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlpuenteBER10,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Javier Espert and
Daniel Romero},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Model-Checking Web Applications with Web-TLR},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {341--346},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_25},
doi = {10.1007/978-3-642-15643-4\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlpuenteBER10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlpuenteBBF10,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Michele Baggi and
Moreno Falaschi},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {A fold/unfold transformation framework for rewrite theories extended
to {CCT}},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {43--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706367},
doi = {10.1145/1706356.1706367},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AlpuenteBBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlpuenteBFB10,
author = {Mar{\'{\i}}a Alpuente and
Michele Baggi and
Moreno Falaschi and
Demis Ballis},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Completeness of Unfolding for Rewriting Logic Theories},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {116--123},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.32},
doi = {10.1109/SYNASC.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AlpuenteBFB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/BaggiBF10,
author = {Michele Baggi and
Demis Ballis and
Moreno Falaschi},
editor = {Julio Mari{\~{n}}o},
title = {An Access Control Language Based on Term Rewriting and Description
Logic},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
pages = {66--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_4},
doi = {10.1007/978-3-642-20775-4\_4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/BaggiBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/AlpuenteBF10,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Transformation and Debugging of Functional Logic Programs},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {271--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_13},
doi = {10.1007/978-3-642-14309-0\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BaggiBF09,
author = {Michele Baggi and
Demis Ballis and
Moreno Falaschi},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {Quantitative Pathway Logic for Computational Biology},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {68--82},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_5},
doi = {10.1007/978-3-642-03845-7\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BaggiBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlpuenteBR09,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Daniel Romero},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Specification and Verification of Web Applications in Rewriting Logic},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {790--805},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_50},
doi = {10.1007/978-3-642-05089-3\_50},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlpuenteBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2008,
editor = {Demis Ballis and
Santiago Escobar},
title = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/235/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/AlpuenteBBF08,
author = {Mar{\'{\i}}a Alpuente and
Michele Baggi and
Demis Ballis and
Moreno Falaschi},
editor = {Il{-}Yeol Song and
Mario Piattini and
Yi{-}Ping Phoebe Chen and
Sven Hartmann and
Fabio Grandi and
Juan Trujillo and
Andreas L. Opdahl and
Fernando Ferri and
Patrizia Grifoni and
Maria Chiara Caschera and
Colette Rolland and
Carson Woo and
Camille Salinesi and
Esteban Zim{\'{a}}nyi and
Christophe Claramunt and
Flavius Frasincar and
Geert{-}Jan Houben and
Philippe Thiran},
title = {Semantic Verification of Web System Contents},
booktitle = {Advances in Conceptual Modeling - Challenges and Opportunities, {ER}
2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona
Spain, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5232},
pages = {437--446},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87991-6\_51},
doi = {10.1007/978-3-540-87991-6\_51},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/AlpuenteBBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/BaggiFB08,
author = {Michele Baggi and
Moreno Falaschi and
Demis Ballis},
editor = {Abdelhamid Mellouk and
Jun Bi and
Guadalupe Ortiz and
Dickson K. W. Chiu and
Manuela Popescu},
title = {{XML} Semantic Filtering via Ontology Reasoning},
booktitle = {Third International Conference on Internet and Web Applications and
Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
pages = {482--487},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIW.2008.89},
doi = {10.1109/ICIW.2008.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/BaggiFB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/BallisBC08,
author = {Demis Ballis and
Andrea Baruzzo and
Marco Comini},
editor = {Shahram Latifi},
title = {A Minimalist Visual Notation for Design Patterns and Antipatterns},
booktitle = {Fifth International Conference on Information Technology: New Generations
{(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
pages = {51--56},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ITNG.2008.227},
doi = {10.1109/ITNG.2008.227},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/BallisBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/AlpuenteORBF08,
author = {Mar{\'{\i}}a Alpuente and
Pedro Ojeda and
Daniel Romero and
Demis Ballis and
Moreno Falaschi},
title = {An Abstract Generic Framework for Web Site Verification},
booktitle = {Proceedings of the 2008 International Symposium on Applications and
the Internet, {SAINT} 2008, 28 July - 1 August 2008, Turku, Finland},
pages = {104--110},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SAINT.2008.17},
doi = {10.1109/SAINT.2008.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/AlpuenteORBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisE09,
author = {Demis Ballis and
Santiago Escobar},
editor = {Demis Ballis and
Santiago Escobar},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.001},
doi = {10.1016/J.ENTCS.2009.03.001},
timestamp = {Thu, 09 Mar 2023 13:11:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2007,
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/200/issue/3},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AlpuenteBFOR07,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi and
Pedro Ojeda and
Daniel Romero},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {A Fast Algebraic Web Verification Service},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {239--248},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_18},
doi = {10.1007/978-3-540-72982-2\_18},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/AlpuenteBFOR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisEM08,
author = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.089},
doi = {10.1016/J.ENTCS.2008.04.089},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisBC08,
author = {Demis Ballis and
Andrea Baruzzo and
Marco Comini},
editor = {Joost Visser and
Victor Winter},
title = {A Rule-based Method to Match Software Patterns Against {UML} Models},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {51--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.034},
doi = {10.1016/J.ENTCS.2008.10.034},
timestamp = {Fri, 17 Feb 2023 10:42:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaggiB08,
author = {Michele Baggi and
Demis Ballis},
editor = {Rachid Echahed},
title = {Phil: {A} Lazy Implementation of a Language for Approximate Filtering
of {XML} Documents},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {93--109},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.036},
doi = {10.1016/J.ENTCS.2008.06.036},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaggiB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlpuenteBF06,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi},
title = {Rule-based verification of Web sites},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {565--585},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0009-7},
doi = {10.1007/S10009-006-0009-7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlpuenteBF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AlpuenteBFR06,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi and
Daniel Romero},
title = {A Semi-Automatic Methodology for Repairing FaultyWeb Sites},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.6},
doi = {10.1109/SEFM.2006.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AlpuenteBFR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Ballis05,
author = {Demis Ballis},
title = {Rule-based},
school = {University of Udine, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0020331},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Ballis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/BallisG05,
author = {Demis Ballis and
Javier Garc{\'{\i}}a{-}Viv{\'{o}}},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Rewriting-based system for Web site Verification},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {153--156},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/BallisG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisG06,
author = {Demis Ballis and
Javier Garc{\'{\i}}a{-}Viv{\'{o}}},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Rule-based System for Web site Verification},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {11--17},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.041},
doi = {10.1016/J.ENTCS.2005.12.041},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlpuenteBF04,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Automated Verification of Web Sites Using Partial Rewriting},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {81--88},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlpuenteBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlpuenteBF04,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Verdi: An Automated Tool for Web Sites Verification},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {726--729},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_67},
doi = {10.1007/978-3-540-30227-8\_67},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlpuenteBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteBF05,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Moreno Falaschi},
editor = {Slim Abdennadher and
Christophe Ringeissen},
title = {A Rewriting-based Framework for Web Sites Verification},
booktitle = {Proceedings of the 5th International Workshop on Rule-Based Programming,
{RULE} 2004, Aachen, Germany, June 1, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {124},
number = {1},
pages = {41--61},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.014},
doi = {10.1016/J.ENTCS.2004.07.014},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteBEFL03,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Francesco Buccafurri},
title = {Abstract Correction of OBJ-like Programs},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {422--433},
year = {2003},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteBEFL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlpuenteBCF03,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco J. Correa and
Moreno Falaschi},
editor = {Pierpaolo Degano},
title = {Correction of Functional Logic Programs},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {54--68},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_5},
doi = {10.1007/3-540-36575-3\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/AlpuenteBCF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisFFHR03,
author = {Demis Ballis and
Moreno Falaschi and
C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Lubos Brim and
Orna Grumberg},
title = {Cost-sensitive diagnosis of declarative programs},
booktitle = {12th International Workshop on Functional and Constraint Logic Programming,
{WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
pages = {85--104},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80695-9},
doi = {10.1016/S1571-0661(04)80695-9},
timestamp = {Wed, 07 Dec 2022 09:18:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisFFHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteBEFL03,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Lubos Brim and
Orna Grumberg},
title = {Abstract correction of first-order functional programs},
booktitle = {12th International Workshop on Functional and Constraint Logic Programming,
{WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
pages = {105--122},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80696-0},
doi = {10.1016/S1571-0661(04)80696-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteBEFL03.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 02:19 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:
