Momigliano Alberto
Research Fellow
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS
Research fields and competencies
Contacts
Workplace
Office phone number
University email address
E-mail
Web site
Teaching - Programme courses
Bachelors and masters
A.Y. 2020/2021
A.Y. 2019/2020
A.Y. 2018/2019
A.Y. 2017/2018
A.Y. 2016/2017
Postgraduate programmes
A.Y. 2020/2021
Doctoral programme (PhD)
Research
Publications
Publications
-
Why Proof-Theory Matters in Specification-Based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano, A.A. Rescigno. - [s.l] : CEUR-WS.org, 2020. - pp. 95-100 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.
-
MutantChick: Type-Preserving Mutation Analysis for Coq / M. Cavada, A. Colò, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri, S. Perri, E. Zumpano. - [s.l] : CEUR-WS.org, 2020. - pp. 105-112 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic tenutosi a Rende nel 2020.
-
POPLMark reloaded: Mechanizing proofs by logical relations / A. Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano, S. Schäfer, K. Stark. - In: JOURNAL OF FUNCTIONAL PROGRAMMING. - ISSN 0956-7968. - 29(2019 Dec 10).
-
Formalizing Program Equivalences in Dependent Type Theory / G. Marabelli, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2019, 20th Italian Conference on Theoretical Computer Science / [a cura di] A. Cherubini, N. Sabadini, S. Tini. - [s.l] : CEUR-WS, 2019 Nov 28. - pp. 204-209 (( Intervento presentato al 20. convegno Italian Conference on Theoretical Computer Science tenutosi a Como nel 2019.
-
The Blame Game for Property-based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: Italian Conference on Computational Logic / [a cura di] A. Casagrande, E.G. Omodeo. - [s.l] : CEUR-WS.org, 2019 Jul. - pp. 4-13 (( Intervento presentato al 34. convegno Italian Conference on Computational Logic tenutosi a Trieste nel 2019.