Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alberto Momigliano
@inproceedings{DBLP:conf/lopstr/MantovaniM21,
author = {Marco Mantovani and
Alberto Momigliano},
editor = {Emanuele De Angelis and
Wim Vanhoof},
title = {Towards Substructural Property-Based Testing},
booktitle = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13290},
pages = {92--112},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98869-2\_6},
doi = {10.1007/978-3-030-98869-2\_6},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MantovaniM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01610,
author = {Marco Mantovani and
Alberto Momigliano},
title = {Towards Substructural Property-Based Testing},
journal = {CoRR},
volume = {abs/2108.01610},
year = {2021},
url = {https://arxiv.org/abs/2108.01610},
eprinttype = {arXiv},
eprint = {2108.01610},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CavadaCM20,
author = {Matteo Cavada and
Andrea Col{\`{o}} and
Alberto Momigliano},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {MutantChick: Type-Preserving Mutation Analysis for Coq},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {105--112},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/short2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CavadaCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Momigliano20,
author = {Alberto Momigliano},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Why Proof-Theory Matters in Specification-Based Testing},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {95--100},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Momigliano20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Manighetti0M20,
author = {Matteo Manighetti and
Dale Miller and
Alberto Momigliano},
editor = {Ugo de'Liguoro and
Stefano Berardi and
Thorsten Altenkirch},
title = {Two Applications of Logic Programming to Coq},
booktitle = {26th International Conference on Types for Proofs and Programs, {TYPES}
2020, March 2-5, 2020, University of Turin, Italy},
series = {LIPIcs},
volume = {188},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2020.10},
doi = {10.4230/LIPICS.TYPES.2020.10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Manighetti0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AbelAHPMSS19,
author = {Andreas Abel and
Guillaume Allais and
Aliya Hameer and
Brigitte Pientka and
Alberto Momigliano and
Steven Sch{\"{a}}fer and
Kathrin Stark},
title = {POPLMark reloaded: Mechanizing proofs by logical relations},
journal = {J. Funct. Program.},
volume = {29},
pages = {e19},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000170},
doi = {10.1017/S0956796819000170},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AbelAHPMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MomiglianoPT19,
author = {Alberto Momigliano and
Brigitte Pientka and
David Thibodeau},
title = {A case study in programming coinductive proofs: Howe's method},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1309--1343},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000415},
doi = {10.1017/S0960129518000415},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MomiglianoPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MomiglianoO19,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {The Blame Game for Property-based Testing},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {4--13},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MomiglianoO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MarabelliM19,
author = {Giorgio Marabelli and
Alberto Momigliano},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Formalizing Program Equivalences in Dependent Type Theory},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {204--209},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MarabelliM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Blanco0M19,
author = {Roberto Blanco and
Dale Miller and
Alberto Momigliano},
editor = {Ekaterina Komendantskaya},
title = {Property-Based Testing via Proof Reconstruction},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {5:1--5:13},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354170},
doi = {10.1145/3354166.3354170},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Blanco0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FerrariFM18,
author = {Mauro Ferrari and
Camillo Fiorentini and
Alberto Momigliano},
title = {From Constructivism to Logic Programming: an Homage to Mario Ornaghi},
journal = {Fundam. Informaticae},
volume = {161},
number = {1-2},
pages = {1--7},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1692},
doi = {10.3233/FI-2018-1692},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FerrariFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FiorentiniMP18,
author = {Camillo Fiorentini and
Alberto Momigliano and
Alberto Pettorossi},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {161},
number = {1-2},
pages = {v--vii},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1691},
doi = {10.3233/FI-2018-1691},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FiorentiniMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FeltyMP18,
author = {Amy P. Felty and
Alberto Momigliano and
Brigitte Pientka},
title = {Benchmarks for reasoning with syntax trees containing binders and
contexts of assumptions},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1507--1540},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000093},
doi = {10.1017/S0960129517000093},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FeltyMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/KomauliM18,
author = {Francesco Komauli and
Alberto Momigliano},
editor = {Paolo Felli and
Marco Montali},
title = {Property-Based Testing of the Meta-Theory of Abstract Machines: an
Experience Report},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {22--39},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/KomauliM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CheneyM17,
author = {James Cheney and
Alberto Momigliano},
title = {{\(\alpha\)}Check: {A} mechanized metatheory model checker},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {3},
pages = {311--352},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000035},
doi = {10.1017/S1471068417000035},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CheneyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/OrnaghiFM17,
author = {Mario Ornaghi and
Camillo Fiorentini and
Alberto Momigliano},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {{LOGI:} {A} Didactic Tool for a Beginners' Course in Logic (System
Description)},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {341--345},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/OrnaghiFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FachiniM17,
author = {Guglielmo Fachini and
Alberto Momigliano},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Validating the Meta-Theory of Programming Languages (Short Paper)},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {367--374},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_23},
doi = {10.1007/978-3-319-66197-1\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FachiniM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyM17,
author = {James Cheney and
Alberto Momigliano},
title = {{\(\alpha\)}Check: {A} mechanized metatheory model-checker},
journal = {CoRR},
volume = {abs/1704.00617},
year = {2017},
url = {http://arxiv.org/abs/1704.00617},
eprinttype = {arXiv},
eprint = {1704.00617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CheneyMP16,
author = {James Cheney and
Alberto Momigliano and
Matteo Pessina},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Advances in Property-Based Testing for {\textbackslash}alpha Prolog},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {37--56},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_3},
doi = {10.1007/978-3-319-41135-4\_3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/CheneyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2016,
editor = {Camillo Fiorentini and
Alberto Momigliano},
title = {Proceedings of the 31st Italian Conference on Computational Logic,
Milano, Italy, June 20-22, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1645},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1645},
urn = {urn:nbn:de:0074-1645-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyMP16,
author = {James Cheney and
Alberto Momigliano and
Matteo Pessina},
title = {Advances in Property-Based Testing for {\textdollar}{\(\alpha\)}{\textdollar}Prolog},
journal = {CoRR},
volume = {abs/1604.08345},
year = {2016},
url = {http://arxiv.org/abs/1604.08345},
eprinttype = {arXiv},
eprint = {1604.08345},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AvelloneFM15,
author = {Alessandro Avellone and
Camillo Fiorentini and
Alberto Momigliano},
title = {A Semantical Analysis of Focusing and Contraction in Intuitionistic
Logic},
journal = {Fundam. Informaticae},
volume = {140},
number = {3-4},
pages = {247--262},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1253},
doi = {10.3233/FI-2015-1253},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AvelloneFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FeltyMP15,
author = {Amy P. Felty and
Alberto Momigliano and
Brigitte Pientka},
title = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract
Syntax Representations - Part 2 - {A} Survey},
journal = {J. Autom. Reason.},
volume = {55},
number = {4},
pages = {307--372},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9327-3},
doi = {10.1007/S10817-015-9327-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FeltyMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FeltyMP15a,
author = {Amy P. Felty and
Alberto Momigliano and
Brigitte Pientka},
editor = {Iliano Cervesato and
Kaustuv Chaudhuri},
title = {An Open Challenge Problem Repository for Systems Supporting Binders},
booktitle = {Proceedings Tenth International Workshop on Logical Frameworks and
Meta Languages: Theory and Practice, {LFMTP} 2015, Berlin, Germany,
1 August 2015},
series = {{EPTCS}},
volume = {185},
pages = {18--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.185.2},
doi = {10.4204/EPTCS.185.2},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/FeltyMP15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeltyMP15,
author = {Amy P. Felty and
Alberto Momigliano and
Brigitte Pientka},
title = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract
Syntax Representations: Part 1-A Common Infrastructure for Benchmarks},
journal = {CoRR},
volume = {abs/1503.06095},
year = {2015},
url = {http://arxiv.org/abs/1503.06095},
eprinttype = {arXiv},
eprint = {1503.06095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FeltyMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AvelloneFM13,
author = {Alessandro Avellone and
Camillo Fiorentini and
Alberto Momigliano},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {Focusing on Contraction},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {65--81},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AvelloneFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfmtp/2013,
editor = {Alberto Momigliano and
Brigitte Pientka and
Randy Pollack},
title = {Proceedings of the Eighth {ACM} {SIGPLAN} International Workshop on
Logical Frameworks {\&} Meta-languages: Theory {\&} Practice,
{LFMTP} 2013, Boston, Massachusetts, USA, September 23, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503887},
doi = {10.1145/2503887},
isbn = {978-1-4503-2382-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/TiuM12,
author = {Alwen Tiu and
Alberto Momigliano},
title = {Cut elimination for a logic with induction and co-induction},
journal = {J. Appl. Log.},
volume = {10},
number = {4},
pages = {330--367},
year = {2012},
url = {https://doi.org/10.1016/j.jal.2012.07.007},
doi = {10.1016/J.JAL.2012.07.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/TiuM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FeltyM12,
author = {Amy P. Felty and
Alberto Momigliano},
title = {Hybrid - {A} Definitional Two-Level Approach to Reasoning with Higher-Order
Abstract Syntax},
journal = {J. Autom. Reason.},
volume = {48},
number = {1},
pages = {43--105},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9194-x},
doi = {10.1007/S10817-010-9194-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FeltyM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/FiorentiniMOP10,
author = {Camillo Fiorentini and
Alberto Momigliano and
Mario Ornaghi and
Iman Poernomo},
editor = {Laurence Tratt and
Martin Gogolla},
title = {A Constructive Approach to Testing Model Transformations},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {77--92},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_6},
doi = {10.1007/978-3-642-13688-7\_6},
timestamp = {Wed, 24 Jun 2020 12:50:35 +0200},
biburl = {https://dblp.org/rec/conf/icmt/FiorentiniMOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/MomiglianoO10,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Proof-Theoretic and Higher-Order Extensions of Logic Programming},
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 = {254--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_12},
doi = {10.1007/978-3-642-14309-0\_12},
timestamp = {Sun, 25 Oct 2020 23:16:08 +0100},
biburl = {https://dblp.org/rec/conf/agp/MomiglianoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-6171,
author = {Alwen Tiu and
Alberto Momigliano},
title = {Cut Elimination for a Logic with Induction and Co-induction},
journal = {CoRR},
volume = {abs/1009.6171},
year = {2010},
url = {http://arxiv.org/abs/1009.6171},
eprinttype = {arXiv},
eprint = {1009.6171},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-6171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OrnaghiFMP09,
author = {Mario Ornaghi and
Camillo Fiorentini and
Alberto Momigliano and
Francesco Pagano},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Applying {ASP} to {UML} Model Validation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {457--463},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_42},
doi = {10.1007/978-3-642-04238-6\_42},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OrnaghiFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FeltyM09,
author = {Amy P. Felty and
Alberto Momigliano},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Reasoning with hypothetical judgments and open terms in hybrid},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {83--92},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599422},
doi = {10.1145/1599410.1599422},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FeltyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/FiorentiniMO08,
author = {Camillo Fiorentini and
Alberto Momigliano and
Mario Ornaghi},
editor = {Stefano Berardi and
Ferruccio Damiani and
Ugo de'Liguoro},
title = {Towards a Type Discipline for Answer Set Programming},
booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
Torino, Italy, March 26-29, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5497},
pages = {117--135},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02444-3\_8},
doi = {10.1007/978-3-642-02444-3\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/FiorentiniMO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-4367,
author = {Amy P. Felty and
Alberto Momigliano},
title = {Hybrid: {A} Definitional Two-Level Approach to Reasoning with Higher-Order
Abstract Syntax},
journal = {CoRR},
volume = {abs/0811.4367},
year = {2008},
url = {http://arxiv.org/abs/0811.4367},
eprinttype = {arXiv},
eprint = {0811.4367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-4367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-4727,
author = {Alwen Tiu and
Alberto Momigliano},
title = {Induction and Co-induction in Sequent Calculus},
journal = {CoRR},
volume = {abs/0812.4727},
year = {2008},
url = {http://arxiv.org/abs/0812.4727},
eprinttype = {arXiv},
eprint = {0812.4727},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-4727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AspinallBHLM07,
author = {David Aspinall and
Lennart Beringer and
Martin Hofmann and
Hans{-}Wolfgang Loidl and
Alberto Momigliano},
title = {A program logic for resources},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {3},
pages = {411--445},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.003},
doi = {10.1016/J.TCS.2007.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AspinallBHLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FerrariFMO07,
author = {Mauro Ferrari and
Camillo Fiorentini and
Alberto Momigliano and
Mario Ornaghi},
editor = {Andy King},
title = {Snapshot Generation in a Constructive Object-Oriented Modeling Language},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {169--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_12},
doi = {10.1007/978-3-540-78769-3\_12},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FerrariFMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyM07,
author = {James Cheney and
Alberto Momigliano},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Mechanized metatheory model-checking},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {75--86},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273931},
doi = {10.1145/1273920.1273931},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MomiglianoMF08,
author = {Alberto Momigliano and
Alan J. Martin and
Amy P. Felty},
editor = {Brigitte Pientka and
Carsten Sch{\"{u}}rmann},
title = {Two-Level Hybrid: {A} System for Reasoning Using Higher-Order Abstract
Syntax},
booktitle = {Proceedings of the Second International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen,
Germany, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
pages = {85--93},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.019},
doi = {10.1016/J.ENTCS.2007.09.019},
timestamp = {Thu, 09 Feb 2023 11:15:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MomiglianoMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfmtp/2006,
editor = {Alberto Momigliano and
Brigitte Pientka},
title = {Proceedings of the First International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle,
WA, USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {5},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/5},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MomiglianoP07,
author = {Alberto Momigliano and
Brigitte Pientka},
editor = {Alberto Momigliano and
Brigitte Pientka},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle,
WA, USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {5},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.015},
doi = {10.1016/J.ENTCS.2007.01.015},
timestamp = {Fri, 27 Jan 2023 13:31:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MomiglianoP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallBM07,
author = {David Aspinall and
Lennart Beringer and
Alberto Momigliano},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Optimisation Validation},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {37--59},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.017},
doi = {10.1016/J.ENTCS.2006.06.017},
timestamp = {Tue, 31 Jan 2023 13:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
author = {Donald Sannella and
Martin Hofmann and
David Aspinall and
Stephen Gilmore and
Ian Stark and
Lennart Beringer and
Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Alberto Momigliano and
Olha Shkaravska},
editor = {Marko C. J. D. van Eekelen},
title = {Mobile Resource Guarantees (project evaluation paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {211--226},
publisher = {Intellect},
year = {2005},
timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrnaghiBFFM06,
author = {Mario Ornaghi and
Marco Benini and
Mauro Ferrari and
Camillo Fiorentini and
Alberto Momigliano},
editor = {Stuart Allen and
John N. Crossley and
Kung{-}Kiu Lau and
Iman Poernomo},
title = {A Constructive Object Oriented Modeling Language for Information Systems},
booktitle = {Proceedings of the Workshop on the Constructive Logic for Automated
Software Engineering, {CLASE} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {1},
pages = {55--75},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.08.006},
doi = {10.1016/J.ENTCS.2005.08.006},
timestamp = {Fri, 20 Jan 2023 10:31:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrnaghiBFFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauMO04,
author = {Kung{-}Kiu Lau and
Alberto Momigliano and
Mario Ornaghi},
editor = {Sandro Etalle},
title = {Constructive Specifications for Compositional Units},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {198--214},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_13},
doi = {10.1007/11506676\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LauMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeringerHMS04,
author = {Lennart Beringer and
Martin Hofmann and
Alberto Momigliano and
Olha Shkaravska},
editor = {Franz Baader and
Andrei Voronkov},
title = {Automatic Certification of Heap Consumption},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {347--362},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_23},
doi = {10.1007/978-3-540-32275-7\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeringerHMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AspinallBHLM04,
author = {David Aspinall and
Lennart Beringer and
Martin Hofmann and
Hans{-}Wolfgang Loidl and
Alberto Momigliano},
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {A Program Logic for Resource Verification},
booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
pages = {34--49},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30142-4\_3},
doi = {10.1007/978-3-540-30142-4\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AspinallBHLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MomiglianoP03,
author = {Alberto Momigliano and
Frank Pfenning},
title = {Higher-order pattern complement and the strict lambda-calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {4},
pages = {493--529},
year = {2003},
url = {https://doi.org/10.1145/937555.937559},
doi = {10.1145/937555.937559},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MomiglianoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MomiglianoA03,
author = {Alberto Momigliano and
Simon Ambler},
editor = {Andrew D. Gordon},
title = {Multi-level Meta-reasoning with Higher-Order Abstract Syntax},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {375--391},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_24},
doi = {10.1007/3-540-36576-1\_24},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/MomiglianoA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AmblerCM03,
author = {S. J. Ambler and
Roy L. Crole and
Alberto Momigliano},
title = {A definitional approach to primitivexs recursion over higher order
abstract syntax},
booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2003, Uppsala, Sweden, August 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/976571.976572},
doi = {10.1145/976571.976572},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AmblerCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MomiglianoP03,
author = {Alberto Momigliano and
Jeff Polakow},
title = {A formalization of an Ordered Logical Framework in Hybrid with applications
to continuation machines},
booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2003, Uppsala, Sweden, August 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/976571.976581},
doi = {10.1145/976571.976581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MomiglianoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/MomiglianoT03,
author = {Alberto Momigliano and
Alwen Fernanto Tiu},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Induction and Co-induction in Sequent Calculus},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {293--308},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_19},
doi = {10.1007/978-3-540-24849-1\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/MomiglianoT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AmblerCM02,
author = {Simon Ambler and
Roy L. Crole and
Alberto Momigliano},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Combining Higher Order Abstract Syntax with Tactical Theorem Proving
and (Co)Induction},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {13--30},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_3},
doi = {10.1007/3-540-45685-6\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AmblerCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MomiglianoAC02,
author = {Alberto Momigliano and
Simon Ambler and
Roy L. Crole},
editor = {Frank Pfenning},
title = {A Hybrid Encoding of Howe's Method for Establishing Congruence of
Bisimilarity},
booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {2},
pages = {60--75},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80506-1},
doi = {10.1016/S1571-0661(04)80506-1},
timestamp = {Tue, 06 Dec 2022 14:32:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MomiglianoAC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/AmblerCM01,
author = {Simon Ambler and
Roy L. Crole and
Alberto Momigliano},
editor = {Simon Ambler and
Roy L. Crole and
Alberto Momigliano},
title = {Preface: Mechanised Reasoning about Languages with Variable Binding
2001},
booktitle = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {1},
pages = {115--116},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80579-1},
doi = {10.1016/S1571-0661(05)80579-1},
timestamp = {Thu, 01 Dec 2022 15:28:01 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AmblerCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/merlin/2001,
editor = {Simon Ambler and
Roy L. Crole and
Alberto Momigliano},
title = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {1},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/58/issue/1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/merlin/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0109072,
author = {Alberto Momigliano and
Frank Pfenning},
title = {Higher-Order Pattern Complement and the Strict Lambda-Calculus},
journal = {CoRR},
volume = {cs.LO/0109072},
year = {2001},
url = {https://arxiv.org/abs/cs/0109072},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0109072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Momigliano00,
author = {Alberto Momigliano},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Elimination of Negation in a Logical Framework},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {411--426},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_28},
doi = {10.1007/3-540-44622-2\_28},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Momigliano00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoP99,
author = {Alberto Momigliano and
Frank Pfenning},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The Relative Complement Problem for Higher-Order Patterns},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {497--512},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/MomiglianoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MomiglianoP99,
author = {Alberto Momigliano and
Frank Pfenning},
editor = {Danny De Schreye},
title = {The Relative Complement Problem for Higher-Order Patterns},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {380--394},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MomiglianoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MomiglianoO97,
author = {Alberto Momigliano and
Mario Ornaghi},
title = {Regular Search Spaces and Constructive Negation},
journal = {J. Log. Comput.},
volume = {7},
number = {3},
pages = {367--403},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.3.367},
doi = {10.1093/LOGCOM/7.3.367},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/MomiglianoO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MomiglianoO97,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Norbert E. Fuchs},
title = {Towards a Logic for Reasoning About Logic Programs Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {226--244},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_12},
doi = {10.1007/3-540-49674-2\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MomiglianoO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoO95,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {An Introduction to Regular Search Spaces},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {183--194},
year = {1995},
timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/MomiglianoO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w10,
editor = {Roy Dyckhoff and
Lars{-}Henrik Eriksson and
Alberto Momigliano and
Mario Ornaghi},
title = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
Programming, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1994w10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/MomiglianoO93,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Roy Dyckhoff},
title = {Regular Search Spaces as a Foundation of Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {222--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_59},
doi = {10.1007/3-540-58025-5\_59},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/MomiglianoO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Momigliano92,
author = {Alberto Momigliano},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Minimal Negation and Hereditary Harrop Formulae},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {326--335},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023886},
doi = {10.1007/BFB0023886},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Momigliano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/TorquatiPM90,
author = {Franco Torquati and
Massimo Paltrinieri and
Alberto Momigliano},
title = {A Constraint Satisfaction Approach to Operative Management of Aircraft
Routing},
booktitle = {Proceedings of the Third International Conference on Industrial and
Engineering Applications of Artificial Intelligence and Expert Systems,
{IEA/AIE} 1990, July 15-18, 1990, The Mills House Hotel, Charleston,
SC, {USA} - Volume 2},
pages = {1140--1146},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/98894.99140},
doi = {10.1145/98894.99140},
timestamp = {Fri, 19 Jul 2019 16:23:28 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/TorquatiPM90.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-21 17:55 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:
