Momigliano Alberto

RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16277
E-mail di ateneo
Sito web
Ricevimento
Venerdì, 16:30 --18
Luogo di ricevimento
4009, Celoria 18

Didattica

Ricerca

Pubblicazioni
  • 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.
  • Property-Based Testing via Proof Reconstruction / R. Blanco, D. Miller, A. Momigliano - In: PPDP '19 : Proceedings[s.l] : ACM, 2019. - ISBN 9781450372497. - pp. 1-13 (( Intervento presentato al 21. convegno International Symposium on Principles and Practice of Declarative Programming (PPDP) tenutosi a Porto nel 2019.
  • A case study in programming coinductive proofs: Howe's method / A. Momigliano, B. Pientka, D. Thibodeau. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - (2018 Oct 31), pp. 1-35. [Epub ahead of print]