Momigliano Alberto

Associate Professor
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

Office phone number
02503 16277
University email address
Web site
Research

Publications

Publications
  • Two Applications of Logic Programming to Coq / M. Manighetti, D. Miller, A. Momigliano (LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS). - In: 26th International Conference on Types for Proofs and Programs (TYPES 2020) / [a cura di] U. de’Liguoro, S. Berardi, T. Altenkirch. - [s.l] : LIPICS, 2021. - ISBN 9783959771825. - pp. 10:1-10:19 (( Intervento presentato al 26. convegno TYPES tenutosi a Torino nel 2020 [10.4230/lipics.types.2020.10].
  • 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.
  • 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.
  • 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.