CESCO, ARNALDO
CESCO, ARNALDO
ARAG - AREA FINANZA E CONTABILITA'
Collaboratori
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation
2021 Arnaldo Cesco; Roberto Gorrieri
CeVRicale: A VR app for cervical rehabilitation
2021 Cesco A.; Ballardin F.; Marfia G.
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
2021 Cesco A.; Gorrieri R.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation | Arnaldo Cesco; Roberto Gorrieri | 2021-01-01 | - | Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | LIPIcs-MFCS-2021-28.pdf |
CeVRicale: A VR app for cervical rehabilitation | Cesco A.; Ballardin F.; Marfia G. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets | Cesco A.; Gorrieri R. | 2021-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper12.pdf |