Research

Hyperbolic 4-manifolds with perfect circle-valued Morse functions.

Transactions of the American Mathematical Society. 2022. j/w Bruno Martelli.
Infinitesimal Rigidity for Cubulated Manifolds.

Geometriae Dedicata. 2023.
Dodecahedral L-spaces and hyperbolic 4-manifolds.

Accepted in Communications in Analysis and Geometry. 2022. j/w Leonardo Ferrari and Diego Santoro.
Bounded Cohomology Classes of Exact Forms.

Proceedings of the American Mathematical Society. 2023. j/w S. Francaviglia, M. Moraschini, F. Sarti, A. Savini.
Can You Hear the Shape of a Hyperbolic Surface? Now for Real.

ArXiv. 2026. j/w Juan Souto.
A Theorem of Wolpert, and some Variations.

ArXiv. 2026. j/w Nolwenn Le Quellec and Juan Souto.

SMT-Based Stability Verification of an Industrial Switched PI Control Systems.

Workshop VERDI - International Conference on Dependable Systems and Networks. 2023. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
Stability Verification of an Industrial Switched PI Control Systems.

Workshop ARCH 2024. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
Formal Verification of Stability for Parametric Affine Switched Systems.

ADHS24. 2024. j/w Stefano Tonetta.
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates.

ATVA25. 2025. j/w Stefano Tonetta.
VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems.

TACAS26. 2026. j/w Stefano Tonetta and Gianni Zampedri.
SpaceEx Hybrid Models with LTL Properties.

Workshop ARCH 2026. j/w Stefano Tonetta and Gianni Zampedri.