Arnaldo Cesco

According to our database, Arnaldo Cesco authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets.

Arnaldo Cesco, Roberto Gorrieri

Log. Methods Comput. Sci., 2023

2021

CeVRicale: A VR app for Cervical Rehabilitation.

Arnaldo Cesco, Francesco Ballardin, Gustavo Marfia

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation.

Arnaldo Cesco, Roberto Gorrieri

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11).

Arnaldo Cesco, Roberto Gorrieri

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021