Momigliano Alberto Davide Adolfo
Associate Professor
Scientific-Disciplinary Sector
INFO-01/A - Informatics
Scientific-Disciplinary Group/Competition Sector
01/INFO-01 - INFORMATICA
Research fields and competencies
Teaching - Programme courses
Bachelors and masters
A.Y. 2025/2026
A.Y. 2024/2025
A.Y. 2023/2024
A.Y. 2022/2023
A.Y. 2021/2022
A.Y. 2020/2021
A.Y. 2019/2020
A.Y. 2018/2019
Research
Publications
-
Split Decisions: Explicit Contexts for Substructural Languages / D. Zackon, C. Sano, A. Momigliano, B. Pientka - In: CPP '25: Proceedings / [a cura di] K. Stark, A. Timany, S. Blazy, N. Tabareau. - [s.l] : ACM, 2025 Jan. - ISBN 979-8-4007-1347-7. - pp. 257-271 (( Intervento presentato al 14. convegno SIGPLAN International Conference on Certified Programs and Proofs tenutosi a Denver nel 2025 [10.1145/3703595.3705888].
-
Property-Based Testing by Elaborating Proof Outlines / D. Miller, A. Momigliano. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - 24:6(2024 Nov), pp. 1123-1162. [10.1017/s1471068424000176]
-
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming / [a cura di] A. Bruni, A. Momigliano. - [s.l] : Association for Computing Machinery (ACM), 2024 Sep 09. - ISBN 9798400709692. (( [10.1145/3678232].
-
Property-Based Testing by Elaborating Proof Outlines / D. Miller, A. Momigliano. - (2024 Jun 14).
-
The Concurrent Calculi Formalisation Benchmark / M. Carbone, D. Castro-Perez, F. Ferreira, L. Gheri, F. Krogsdal Jacobsen, A. Momigliano, L. Padovani, A. Scalas, D. Tirore, M. Vassor, N. Yoshida, D. Zackon (LECTURE NOTES IN COMPUTER SCIENCE). - In: Coordination Models and Languages / [a cura di] I. Castellani, F. Tiezzi. - [s.l] : Springer, 2024 Jun 14. - ISBN 9783031626968. - pp. 149-158 (( convegno 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 tenutosi a Groningen nel 2024.