BibTeX records: Sergio Antoy

download as .bib file

@inproceedings{DBLP:conf/inap/AntoyHJL19,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Andy Jost and
                  Steven Libby},
  editor       = {Petra Hofstedt and
                  Salvador Abreu and
                  Ulrich John and
                  Herbert Kuchen and
                  Dietmar Seipel},
  title        = {ICurry},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
                  Germany, September 9-12, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12057},
  pages        = {286--307},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-46714-2\_18},
  doi          = {10.1007/978-3-030-46714-2\_18},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/AntoyHJL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11101,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Andy Jost and
                  Steven Libby},
  title        = {ICurry},
  journal      = {CoRR},
  volume       = {abs/1908.11101},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.11101},
  eprinttype    = {arXiv},
  eprint       = {1908.11101},
  timestamp    = {Wed, 04 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-11101.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09562,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Equivalence Checking of Non-deterministic Operations},
  journal      = {CoRR},
  volume       = {abs/1909.09562},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.09562},
  eprinttype    = {arXiv},
  eprint       = {1909.09562},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-09562.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH18,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {John P. Gallagher and
                  Martin Sulzmann},
  title        = {Equivalence Checking of Non-deterministic Operations},
  booktitle    = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
                  2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10818},
  pages        = {149--165},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90686-7\_10},
  doi          = {10.1007/978-3-319-90686-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AntoyH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AntoyHT18,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Finn Teegen},
  editor       = {Josep Silva},
  title        = {Synthesizing Set Functions},
  booktitle    = {Functional and Constraint Logic Programming - 26th International Workshop,
                  {WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11285},
  pages        = {93--111},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-16202-3\_6},
  doi          = {10.1007/978-3-030-16202-3\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/wflp/AntoyHT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07401,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Finn Teegen},
  title        = {Synthesizing Set Functions},
  journal      = {CoRR},
  volume       = {abs/1808.07401},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.07401},
  eprinttype    = {arXiv},
  eprint       = {1808.07401},
  timestamp    = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-07401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07990,
  author       = {Sergio Antoy and
                  Steven Libby},
  title        = {Making Bubbling Practical},
  journal      = {CoRR},
  volume       = {abs/1808.07990},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.07990},
  eprinttype    = {arXiv},
  eprint       = {1808.07990},
  timestamp    = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-07990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AntoyH17,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Transforming Boolean equalities into constraints},
  journal      = {Formal Aspects Comput.},
  volume       = {29},
  number       = {3},
  pages        = {475--494},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00165-016-0399-6},
  doi          = {10.1007/S00165-016-0399-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AntoyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AntoyH17,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Default rules for Curry},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {2},
  pages        = {121--147},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000168},
  doi          = {10.1017/S1471068416000168},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/AntoyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH17,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Yuliya Lierler and
                  Walid Taha},
  title        = {Eliminating Irrelevant Non-determinism in Functional Logic Programs},
  booktitle    = {Practical Aspects of Declarative Languages - 19th International Symposium,
                  {PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10137},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51676-9\_1},
  doi          = {10.1007/978-3-319-51676-9\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/AntoyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AntoyHL17,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Steven Libby},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Proving Non-Deterministic Computations in Agda},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {180--195},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.13},
  doi          = {10.4204/EPTCS.234.13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyJ16,
  author       = {Sergio Antoy and
                  Andy Jost},
  editor       = {Manuel V. Hermenegildo and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
  title        = {A New Functional-Logic Compiler for Curry: Sprite},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 26th International
                  Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10184},
  pages        = {97--113},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-63139-4\_6},
  doi          = {10.1007/978-3-319-63139-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AntoyJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH16,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Marco Gavanelli and
                  John H. Reppy},
  title        = {Default Rules for Curry},
  booktitle    = {Practical Aspects of Declarative Languages - 18th International Symposium,
                  {PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9585},
  pages        = {65--82},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-28228-2\_5},
  doi          = {10.1007/978-3-319-28228-2\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/AntoyH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AntoyH16,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Default Rules for Curry},
  journal      = {CoRR},
  volume       = {abs/1605.01352},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.01352},
  eprinttype    = {arXiv},
  eprint       = {1605.01352},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AntoyJ16,
  author       = {Sergio Antoy and
                  Andy Jost},
  title        = {A New Functional-Logic Compiler for Curry: Sprite},
  journal      = {CoRR},
  volume       = {abs/1608.04016},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.04016},
  eprinttype    = {arXiv},
  eprint       = {1608.04016},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyJ15,
  author       = {Sergio Antoy and
                  Andy Jost},
  editor       = {Moreno Falaschi},
  title        = {Compiling Collapsing Rules in Certain Constructor Systems},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 25th International
                  Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9527},
  pages        = {57--72},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27436-2\_4},
  doi          = {10.1007/978-3-319-27436-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AntoyJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyH15,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Moreno Falaschi},
  title        = {From Boolean Equalities to Constraints},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 25th International
                  Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9527},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27436-2\_5},
  doi          = {10.1007/978-3-319-27436-2\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AntoyH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/AntoyH14,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Stefan Brass and
                  Johannes Waldmann},
  title        = {Curry without Success},
  booktitle    = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
                  {(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
                  and (Constraint) Logic Programming, Wittenberg, Germany, September
                  15-17, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1335},
  pages        = {140--154},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1335/wflp2014\_paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/AntoyH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AntoyJL15,
  author       = {Sergio Antoy and
                  Jacob Johannsen and
                  Steven Libby},
  editor       = {Aart Middeldorp and
                  Femke van Raamsdonk},
  title        = {Needed Computations Shortcutting Needed Steps},
  booktitle    = {Proceedings 8th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {183},
  pages        = {18--32},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.183.2},
  doi          = {10.4204/EPTCS.183.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyJL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyJ13,
  author       = {Sergio Antoy and
                  Andy Jost},
  editor       = {Gopal Gupta and
                  Ricardo Pe{\~{n}}a},
  title        = {Compiling a Functional Logic Language: The Fair Scheme},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 23rd International
                  Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8901},
  pages        = {202--219},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-14125-1\_12},
  doi          = {10.1007/978-3-319-14125-1\_12},
  timestamp    = {Wed, 26 Oct 2022 22:55:46 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AntoyJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyJ13,
  author       = {Sergio Antoy and
                  Andy Jost},
  editor       = {Ricardo Pe{\~{n}}a and
                  Tom Schrijvers},
  title        = {Are \emph{needed} redexes really needed?},
  booktitle    = {15th International Symposium on Principles and Practice of Declarative
                  Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages        = {61--71},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2505879.2505881},
  doi          = {10.1145/2505879.2505881},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyP12,
  author       = {Sergio Antoy and
                  Arthur Michener Peters},
  editor       = {Tom Schrijvers and
                  Peter Thiemann},
  title        = {Compiling a Functional Logic Language: The Basic Scheme},
  booktitle    = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
                  2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7294},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29822-6\_5},
  doi          = {10.1007/978-3-642-29822-6\_5},
  timestamp    = {Tue, 06 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AntoyP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH12,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Claudio V. Russo and
                  Neng{-}Fa Zhou},
  title        = {Contracts and Specifications for Functional Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages - 14th International Symposium,
                  {PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7149},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27694-1\_4},
  doi          = {10.1007/978-3-642-27694-1\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/AntoyH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Antoy11,
  author       = {Sergio Antoy},
  title        = {On the correctness of pull-tabbing},
  journal      = {Theory Pract. Log. Program.},
  volume       = {11},
  number       = {4-5},
  pages        = {713--730},
  year         = {2011},
  url          = {https://doi.org/10.1017/S1471068411000263},
  doi          = {10.1017/S1471068411000263},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Antoy11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AntoyH11,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Herbert Kuchen},
  title        = {New Functional Logic Design Patterns},
  booktitle    = {Functional and Constraint Logic Programming - 20th International Workshop,
                  {WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6816},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22531-4\_2},
  doi          = {10.1007/978-3-642-22531-4\_2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wflp/AntoyH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-0190,
  author       = {Sergio Antoy},
  title        = {On the Correctness of Pull-Tabbing},
  journal      = {CoRR},
  volume       = {abs/1108.0190},
  year         = {2011},
  url          = {http://arxiv.org/abs/1108.0190},
  eprinttype    = {arXiv},
  eprint       = {1108.0190},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0190.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AntoyH10,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Functional logic programming},
  journal      = {Commun. {ACM}},
  volume       = {53},
  number       = {4},
  pages        = {74--85},
  year         = {2010},
  url          = {https://doi.org/10.1145/1721654.1721675},
  doi          = {10.1145/1721654.1721675},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/AntoyH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Antoy10,
  author       = {Sergio Antoy},
  title        = {Programming with narrowing: {A} tutorial},
  journal      = {J. Symb. Comput.},
  volume       = {45},
  number       = {5},
  pages        = {501--522},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jsc.2010.01.006},
  doi          = {10.1016/J.JSC.2010.01.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Antoy10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyH09,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Set functions for functional logic programming},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599420},
  doi          = {10.1145/1599410.1599420},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2008,
  editor       = {Sergio Antoy and
                  Elvira Albert},
  title        = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 15-17, 2008,
                  Valencia, Spain},
  publisher    = {{ACM}},
  year         = {2008},
  isbn         = {978-1-60558-117-0},
  timestamp    = {Tue, 11 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyB07,
  author       = {Sergio Antoy and
                  Bernd Bra{\ss}el},
  editor       = {Michael Leuschel and
                  Andreas Podelski},
  title        = {Computing with subspaces},
  booktitle    = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 14-16, 2007,
                  Wroclaw, Poland},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1273920.1273936},
  doi          = {10.1145/1273920.1273936},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2006,
  editor       = {Sergio Antoy},
  title        = {Proceedings of the Sixth International Workshop on Reduction Strategies
                  in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
                  11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {10},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/10},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrs/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyH06,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Sandro Etalle and
                  Miroslaw Truszczynski},
  title        = {Overlapping Rules and Logic Variables in Functional Logic Programs},
  booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
                  WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4079},
  pages        = {87--101},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11799573\_9},
  doi          = {10.1007/11799573\_9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/AntoyH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AntoyBC06,
  author       = {Sergio Antoy and
                  Daniel W. Brown and
                  Su{-}Hui Chiang},
  editor       = {Frank Pfenning},
  title        = {On the Correctness of Bubbling},
  booktitle    = {Term Rewriting and Applications, 17th International Conference, {RTA}
                  2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4098},
  pages        = {35--49},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11805618\_4},
  doi          = {10.1007/11805618\_4},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AntoyBC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Antoy07,
  author       = {Sergio Antoy},
  editor       = {Sergio Antoy},
  title        = {Preface},
  booktitle    = {Proceedings of the Sixth International Workshop on Reduction Strategies
                  in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
                  11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {10},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.044},
  doi          = {10.1016/J.ENTCS.2007.02.044},
  timestamp    = {Fri, 27 Jan 2023 14:38:38 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Antoy07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntoyBC07,
  author       = {Sergio Antoy and
                  Daniel W. Brown and
                  Su{-}Hui Chiang},
  editor       = {Ian Mackie},
  title        = {Lazy Context Cloning for Non-Deterministic Graph Rewriting},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {3--23},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.026},
  doi          = {10.1016/J.ENTCS.2006.10.026},
  timestamp    = {Tue, 31 Jan 2023 10:26:02 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AntoyBC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Antoy05,
  author       = {Sergio Antoy},
  title        = {Evaluation strategies for functional logic programming},
  journal      = {J. Symb. Comput.},
  volume       = {40},
  number       = {1},
  pages        = {875--903},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jsc.2004.12.007},
  doi          = {10.1016/J.JSC.2004.12.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Antoy05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyH05,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Patricia M. Hill},
  title        = {Declarative Programming with Function Patterns},
  booktitle    = {Logic Based Program Synthesis and Transformation, 15th International
                  Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3901},
  pages        = {6--22},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_2},
  doi          = {10.1007/11680093\_2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AntoyH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcflp/2005,
  editor       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
                  Logic Programming, Tallinn, Estonia, September 29, 2005},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1085099},
  doi          = {10.1145/1085099},
  isbn         = {1-59593-069-8},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcflp/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2004,
  editor       = {Sergio Antoy and
                  Yoshihito Toyama},
  title        = {Proceedings of the 4th International Workshop on Reduction Strategies
                  in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/124/issue/2},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrs/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AntoyH04,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Concurrent distinct choices},
  journal      = {J. Funct. Program.},
  volume       = {14},
  number       = {6},
  pages        = {657--668},
  year         = {2004},
  url          = {https://doi.org/10.1017/S095679680400509X},
  doi          = {10.1017/S095679680400509X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AntoyH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TolmachAN04,
  author       = {Andrew P. Tolmach and
                  Sergio Antoy and
                  Marius Nita},
  editor       = {Chris Okasaki and
                  Kathleen Fisher},
  title        = {Implementing functional logic languages using multiple threads and
                  stores},
  booktitle    = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
                  19-21, 2004},
  pages        = {90--102},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016850.1016865},
  doi          = {10.1145/1016850.1016865},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/TolmachAN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AntoyHLT04,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Jimeng Liu and
                  Andrew P. Tolmach},
  editor       = {Clemens Grelck and
                  Frank Huch and
                  Greg Michaelson and
                  Philip W. Trinder},
  title        = {A Virtual Machine for Functional Logic Computations},
  booktitle    = {Implementation and Application of Functional Languages, 16th International
                  Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
                  2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3474},
  pages        = {108--125},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11431664\_7},
  doi          = {10.1007/11431664\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/AntoyHLT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyJ04,
  author       = {Sergio Antoy and
                  Stephen Johnson},
  editor       = {Eugenio Moggi and
                  David Scott Warren},
  title        = {Formalization and abstract implementation of rewriting with nested
                  rules},
  booktitle    = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 24-26 August 2004,
                  Verona, Italy},
  pages        = {144--154},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1013963.1013981},
  doi          = {10.1145/1013963.1013981},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntoyT05,
  author       = {Sergio Antoy and
                  Yoshihito Toyama},
  editor       = {Sergio Antoy and
                  Yoshihito Toyama},
  title        = {Preface},
  booktitle    = {Proceedings of the 4th International Workshop on Reduction Strategies
                  in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.016},
  doi          = {10.1016/J.ENTCS.2004.11.016},
  timestamp    = {Mon, 12 Dec 2022 13:37:45 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AntoyT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyBH03,
  author       = {Sergio Antoy and
                  Bernd Brassel and
                  Michael Hanus},
  title        = {Conditional narrowing without conditions},
  booktitle    = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 27-29 August 2003,
                  Uppsala, Sweden},
  pages        = {20--31},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/888251.888255},
  doi          = {10.1145/888251.888255},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyBH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TolmachA03,
  author       = {Andrew P. Tolmach and
                  Sergio Antoy},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {A monadic semantics for core Curry},
  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        = {16--34},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80691-1},
  doi          = {10.1016/S1571-0661(04)80691-1},
  timestamp    = {Wed, 07 Dec 2022 09:18:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TolmachA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH02,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Functional Logic Design Patterns},
  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        = {67--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_4},
  doi          = {10.1007/3-540-45788-7\_4},
  timestamp    = {Sun, 02 Jun 2019 21:12:36 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AntoyH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntoyL02,
  author       = {Sergio Antoy and
                  Salvador Lucas},
  editor       = {Marco Comini and
                  Moreno Falaschi},
  title        = {Demandness in Rewriting and Narrowing},
  booktitle    = {11th International Workshop on Functional and (Constraint) Logic Programming,
                  {WFLP} 2002, Grado, Italy, June 20-22, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {76},
  pages        = {42--51},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80784-9},
  doi          = {10.1016/S1571-0661(04)80784-9},
  timestamp    = {Wed, 07 Dec 2022 09:09:50 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AntoyL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Antoy01,
  author       = {Sergio Antoy},
  title        = {Constructor-Based Conditional Narrowing},
  booktitle    = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, September 5-7,
                  2001, Florence, Italy},
  pages        = {199--206},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/773184.773205},
  doi          = {10.1145/773184.773205},
  timestamp    = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Antoy01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyHMS01,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Bart Massey and
                  Frank Steiner},
  title        = {An Implementation of Narrowing Strategies},
  booktitle    = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, September 5-7,
                  2001, Florence, Italy},
  pages        = {207--217},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/773184.773206},
  doi          = {10.1145/773184.773206},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyHMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntoyIM02,
  author       = {Sergio Antoy and
                  Pascual Juli{\'{a}}n Iranzo and
                  Bart Massey},
  editor       = {Michael Hanus},
  title        = {Improving the Efficiency of Non-Deterministic Computations},
  booktitle    = {International Workshop on Functional and (Constraint) Logic Programming,
                  {WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {64},
  pages        = {73--94},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80347-5},
  doi          = {10.1016/S1571-0661(04)80347-5},
  timestamp    = {Mon, 05 Dec 2022 15:44:50 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AntoyIM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Antoy01,
  author       = {Sergio Antoy},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Evaluation Strategies for Functional Logic Programming},
  booktitle    = {1st International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2001, Utrecht, The Netherlands, May 26, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {57},
  pages        = {1--16},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00265-8},
  doi          = {10.1016/S1571-0661(04)00265-8},
  timestamp    = {Tue, 07 Nov 2023 11:31:29 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Antoy01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AntoyEH00,
  author       = {Sergio Antoy and
                  Rachid Echahed and
                  Michael Hanus},
  title        = {A needed narrowing strategy},
  journal      = {J. {ACM}},
  volume       = {47},
  number       = {4},
  pages        = {776--822},
  year         = {2000},
  url          = {https://doi.org/10.1145/347476.347484},
  doi          = {10.1145/347476.347484},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/AntoyEH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AntoyH00,
  author       = {Sergio Antoy and
                  Richard G. Hamlet},
  title        = {Automatically Checking an Implementation against Its Formal Specification},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {26},
  number       = {1},
  pages        = {55--69},
  year         = {2000},
  url          = {https://doi.org/10.1109/32.825766},
  doi          = {10.1109/32.825766},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AntoyH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AntoyH00,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Compiling Multi-Paradigm Declarative Programs into Prolog},
  booktitle    = {Frontiers of Combining Systems, Third International Workshop, FroCoS
                  2000, Nancy, France, March 22-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1794},
  pages        = {171--185},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720084\_12},
  doi          = {10.1007/10720084\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/AntoyH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertAV00,
  author       = {Elvira Albert and
                  Sergio Antoy and
                  Germ{\'{a}}n Vidal},
  editor       = {Kung{-}Kiu Lau},
  title        = {Measuring the Effectiveness of Partial Evaluation},
  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-albert.ps.Z},
  timestamp    = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertAV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertAV00a,
  author       = {Elvira Albert and
                  Sergio Antoy and
                  Germ{\'{a}}n Vidal},
  editor       = {Kung{-}Kiu Lau},
  title        = {Measuring the Effectiveness of Partial Evaluation in Functional Logic
                  Languages},
  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        = {103--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45142-0\_7},
  doi          = {10.1007/3-540-45142-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertAV00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlbertAV00,
  author       = {Elvira Albert and
                  Sergio Antoy and
                  Germ{\'{a}}n Vidal},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {A Formal Approach to Reasoning about the Effectiveness of Partial
                  Evaluation},
  booktitle    = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
                  Benicassim, Spain, September 28-30, 2000},
  pages        = {120--127},
  year         = {2000},
  timestamp    = {Tue, 30 Nov 2004 09:20:36 +0100},
  biburl       = {https://dblp.org/rec/conf/wflp/AlbertAV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyT99,
  author       = {Sergio Antoy and
                  Andrew P. Tolmach},
  editor       = {Aart Middeldorp and
                  Taisuke Sato},
  title        = {Typed Higher-Order Narrowing without Higher-Order Strategies},
  booktitle    = {Functional and Logic Programming, 4th Fuji International Symposium,
                  FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1722},
  pages        = {335--353},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10705424\_22},
  doi          = {10.1007/10705424\_22},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AntoyT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Antoy97,
  author       = {Sergio Antoy},
  editor       = {Michael Hanus and
                  Jan Heering and
                  Karl Meinke},
  title        = {Optimal Non-deterministic Functional Logic Computations},
  booktitle    = {Algebraic and Logic Programming, 6th International Joint Conference,
                  {ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1298},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027000},
  doi          = {10.1007/BFB0027000},
  timestamp    = {Thu, 14 Oct 2021 10:38:45 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Antoy97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyEH97,
  author       = {Sergio Antoy and
                  Rachid Echahed and
                  Michael Hanus},
  editor       = {Lee Naish},
  title        = {Parallel Evaluation Strategies for Functional Logic Languages},
  booktitle    = {Logic Programming, Proceedings of the Fourteenth International Conference
                  on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  pages        = {138--152},
  publisher    = {{MIT} Press},
  year         = {1997},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AntoyEH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/AntoyA97,
  author       = {Sergio Antoy and
                  Zena M. Ariola},
  editor       = {Hugh Glaser and
                  Pieter H. Hartel and
                  Herbert Kuchen},
  title        = {Narrowing the Narrowing Space},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 9th
                  International Symposium, PLILP'97, Including a Special Trach on Declarative
                  Programming Languages in Education, Southampton, UK, September 3-5,
                  1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1292},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0033833},
  doi          = {10.1007/BFB0033833},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/AntoyA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AntoyM96,
  author       = {Sergio Antoy and
                  Aart Middeldorp},
  title        = {A Sequential Reduction Strategy},
  journal      = {Theor. Comput. Sci.},
  volume       = {165},
  number       = {1},
  pages        = {75--95},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(96)00041-2},
  doi          = {10.1016/0304-3975(96)00041-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AntoyM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Antoy96,
  author       = {Sergio Antoy},
  editor       = {Herbert Kuchen and
                  S. Doaitse Swierstra},
  title        = {Needed Narrowing in Prolog (Extended Abstract)},
  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        = {473--474},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61756-6\_106},
  doi          = {10.1007/3-540-61756-6\_106},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/Antoy96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AntoyG94,
  author       = {Sergio Antoy and
                  John D. Gannon},
  title        = {Using Term Rewriting to Verify Software},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {20},
  number       = {4},
  pages        = {259--274},
  year         = {1994},
  url          = {https://doi.org/10.1109/32.277574},
  doi          = {10.1109/32.277574},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AntoyG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AntoyM94,
  author       = {Sergio Antoy and
                  Aart Middeldorp},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Sequential Reduction Strategy},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {168--185},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_13},
  doi          = {10.1007/3-540-58431-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/AntoyM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AntoyEH94,
  author       = {Sergio Antoy and
                  Rachid Echahed and
                  Michael Hanus},
  editor       = {Hans{-}Juergen Boehm and
                  Bernard Lang and
                  Daniel M. Yellin},
  title        = {A Needed Narrowing Strategy},
  booktitle    = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Portland, Oregon, USA, January
                  17-21, 1994},
  pages        = {268--279},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/174675.177899},
  doi          = {10.1145/174675.177899},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/AntoyEH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Antoy92,
  author       = {Sergio Antoy},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Giorgio Levi},
  title        = {Definitional Trees},
  booktitle    = {Algebraic and Logic Programming, Third International Conference, Volterra,
                  Italy, September 2-4, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {632},
  pages        = {143--157},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013825},
  doi          = {10.1007/BFB0013825},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Antoy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Antoy92,
  author       = {Sergio Antoy},
  editor       = {Micha{\"{e}}l Rusinowitch and
                  Jean{-}Luc R{\'{e}}my},
  title        = {Normalization by Leftmost Innermost Rewriting},
  booktitle    = {Conditional Term Rewriting Systems, Third International Workshop,
                  CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {656},
  pages        = {448--457},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56393-8\_36},
  doi          = {10.1007/3-540-56393-8\_36},
  timestamp    = {Thu, 08 Aug 2019 14:41:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/Antoy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/AntoyFMS92,
  author       = {Sergio Antoy and
                  Paola Forcheri and
                  Maria Teresa Molfino and
                  Carlo Schenone},
  editor       = {John P. Fitch},
  title        = {A Uniform Approach to Deduction and Automatic Implementation},
  booktitle    = {Design and Implementation of Symbolic Computation Systems, International
                  Symposium, {DISCO} '92, Bath, UK, April 13-15, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {721},
  pages        = {132--144},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57272-4\_30},
  doi          = {10.1007/3-540-57272-4\_30},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/disco/AntoyFMS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/AntoyH92,
  author       = {Sergio Antoy and
                  Richard G. Hamlet},
  editor       = {Waldemar W. Koczkodaj and
                  Peter E. Lauer and
                  Anestis A. Toptsis},
  title        = {Self-Checking against Formal Specifications},
  booktitle    = {Computing and Information - ICCI'92, Fourth International Conference
                  on Computing and Information, Toronto, Ontario, Canada, May 28-30,
                  1992, Proceedings},
  pages        = {355--360},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  timestamp    = {Mon, 15 Apr 2002 13:14:05 +0200},
  biburl       = {https://dblp.org/rec/conf/icci/AntoyH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Antoy91,
  author       = {Sergio Antoy},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Non-Determinism and Lazy Evaluation in Logic Programming},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {318--331},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_23},
  doi          = {10.1007/978-1-4471-3494-7\_23},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Antoy91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Antoy91,
  author       = {Sergio Antoy},
  editor       = {Jan Maluszynski and
                  Martin Wirsing},
  title        = {Lazy Evaluation in Logic},
  booktitle    = {Programming Language Implementation and Logic Programming, 3rd International
                  Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {528},
  pages        = {371--382},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54444-5\_113},
  doi          = {10.1007/3-540-54444-5\_113},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/Antoy91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Antoy90,
  author       = {Sergio Antoy},
  editor       = {St{\'{e}}phane Kaplan and
                  Mitsuhiro Okada},
  title        = {Design Strategies for Rewrite Rules},
  booktitle    = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
                  Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {516},
  pages        = {333--341},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54317-1\_102},
  doi          = {10.1007/3-540-54317-1\_102},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/Antoy90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsi/AntoyTFMZ90,
  author       = {Sergio Antoy and
                  Paola Forcheri and
                  Maria Teresa Molfino and
                  Marvin V. Zelkowitz},
  editor       = {Peter A. Ng and
                  C. V. Ramamoorthy and
                  Laurence C. Seifert and
                  Raymond T. Yeh},
  title        = {Rapid Protoryping of System Enhancements},
  booktitle    = {Proceedings of the First International Conference on Systems Integration,
                  Morristown, NJ, USA, April 1990},
  pages        = {330--336},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  timestamp    = {Thu, 09 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsi/AntoyTFMZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Antoy89,
  author       = {Sergio Antoy},
  editor       = {Sol J. Greenspan},
  title        = {Systematic design of algebraic specifications},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {278--280},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75241},
  doi          = {10.1145/75199.75241},
  timestamp    = {Fri, 18 Feb 2022 16:26:12 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Antoy89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/Antoy87,
  author       = {Sergio Antoy},
  title        = {Modeling and Isomorphisms of Positional Board Games},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {9},
  number       = {5},
  pages        = {669--675},
  year         = {1987},
  url          = {https://doi.org/10.1109/TPAMI.1987.4767961},
  doi          = {10.1109/TPAMI.1987.4767961},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/Antoy87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/YehALR87,
  author       = {Pen{-}Shu Yeh and
                  Sergio Antoy and
                  Anne Litcher and
                  Azriel Rosenfeld},
  title        = {Address location on envelopes},
  journal      = {Pattern Recognit.},
  volume       = {20},
  number       = {2},
  pages        = {213--227},
  year         = {1987},
  url          = {https://doi.org/10.1016/0031-3203(87)90055-0},
  doi          = {10.1016/0031-3203(87)90055-0},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pr/YehALR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/Antoy84,
  author       = {Sergio Antoy},
  title        = {A recursive algorithm for quick and efficient bit reversing},
  journal      = {Pattern Recognit. Lett.},
  volume       = {2},
  number       = {4},
  pages        = {257--259},
  year         = {1984},
  url          = {https://doi.org/10.1016/0167-8655(84)90034-5},
  doi          = {10.1016/0167-8655(84)90034-5},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/prl/Antoy84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AntoyD83,
  author       = {Sergio Antoy and
                  Giuliana Dettori},
  title        = {Is Pascal suitable for GKS?},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {18},
  number       = {5},
  pages        = {11--14},
  year         = {1983},
  url          = {https://doi.org/10.1145/948249.948250},
  doi          = {10.1145/948249.948250},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/AntoyD83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/AntoyD83,
  author       = {Sergio Antoy and
                  Giuliana Dettori},
  editor       = {Paul J. W. ten Hagen},
  title        = {Towards {GKS} Binding to {PASCAL}},
  booktitle    = {4th European Computer Graphics Conference and Exhibition, Eurographics
                  1983, Zagreb, Yugoslavia, August 31 - September 2, 1983, Proceedings},
  publisher    = {North-Holland / Eurographics Association},
  year         = {1983},
  url          = {https://doi.org/10.2312/eg.19831016},
  doi          = {10.2312/EG.19831016},
  timestamp    = {Tue, 14 Jul 2020 15:42:26 +0200},
  biburl       = {https://dblp.org/rec/conf/eurographics/AntoyD83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics