Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). - Arnaldo Cesco; Roberto Gorrieri (ICTCS, 2021)

A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. - Arnaldo Cesco; Roberto Gorrieri (MFCS, 2021)

CeVRicale: A VR app for Cervical Rehabilitation. - Arnaldo Cesco; Francesco Ballardin; Gustavo Marfia (VR Workshops, 2021)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. - Arnaldo Cesco; Roberto Gorrieri (Log. Methods Comput. Sci., 2023)