PINNA, GIOVANNI MICHELE
PINNA, GIOVANNI MICHELE
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Encoding Reversible Petri Nets into CCSK
2025-01-01 Melgratti, Hernán C.; Mezzina, Claudio Antares; Pinna, G. Michele
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients
2025-01-01 Lai, Maria Letizia; Baldussu, Priscilla; Caschili, Jacopo; Minerba, Luigi; Altana, Maria Luisa; Pinna, Giovanni; Calò, Pietro Giorgio; Gerosa, Clara; Fanni, Daniela
Relating Reversible Petri Nets and Reversible Event Structures, categorically
2025-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
A Reversible perspective on Petri Nets and event structures
2024-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
A Truly Concurrent Semantics for Reversible CCS
2024-01-01 ́N MELGRATTI, Herna; ANTARES MEZZINA, Claudio; MICHELE PINNA, G.
Model Checking Reversible Systems: Forwardly
2024-01-01 Dal Pio Luogo, F.; Mezzina, C. A.; Pinna, G. M.
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
2023-01-01 Melgratti, H.; Mezzina, C. A.; Pinna, G. M.
A Petri net view of covalent bonds
2022-01-01 Melgratti, Hernán; Antares Mezzina, Claudio; Michele Pinna, G.
A distributed operational view of Reversible Prime Event Structures
2021-01-01 Melgratti, H.; Mezzina, C. A.; Michele Pinna, G.
A new operational representation of dependencies in Event Structures
2021-01-01 Pinna, GIOVANNI MICHELE
Memory associated with membranes systems
2021-01-01 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE
Foundations of Reversible Computation
2020-01-01 Aman, Bogdan; Ciobanu, Gabriel; Gl(, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Antares Mezzina (L)ukasz Mikulski, Claudio; Nagarajan, Rajagopal; Phillips, Iain; Michele Pinna, G.; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germ('a)n
Operational Representation of Dependencies in Context-Dependent Event Structures
2020-01-01 Michele Pinna, G.
Representing Dependencies in Event Structures
2020-01-01 Michele Pinna, G.
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020-01-01 Melgratti, H.; Mezzina, C. A.; Phillips, I.; Pinna, G. M.; Ulidowski, I.
Spreading nets: A uniform approach to unfoldings
2020-01-01 Michele Pinna, G.; Fabre, ERIC MICHEL ALAIN MARIE
Representing Dependencies in Event Structures
2019-01-01 Pinna, GIOVANNI MICHELE
Toward a uniform approach to the unfolding of nets
2018-01-01 Fabre, ERIC MICHEL ALAIN MARIE; Pinna, GIOVANNI MICHELE
Merging relations: a way to compact Petri nets' behaviors uniformly
2017-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
Petri nets and dynamic causality for service-oriented computations
2017-01-01 Casu, G.; Pinna, G. M.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Encoding Reversible Petri Nets into CCSK | 1-gen-2025 | Melgratti, Hernán C.; Mezzina, Claudio Antares; Pinna, G. Michele | - | Springer |
| Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients | 1-gen-2025 | Lai, Maria Letizia; Baldussu, Priscilla; Caschili, Jacopo; Minerba, Luigi; Altana, Maria Luisa; Pinna, Giovanni; Calò, Pietro Giorgio; Gerosa, Clara; Fanni, Daniela | VIRCHOWS ARCHIV | - |
| Relating Reversible Petri Nets and Reversible Event Structures, categorically | 1-gen-2025 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| A Reversible perspective on Petri Nets and event structures | 1-gen-2024 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - |
| A Truly Concurrent Semantics for Reversible CCS | 1-gen-2024 | ́N MELGRATTI, Herna; ANTARES MEZZINA, Claudio; MICHELE PINNA, G. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| Model Checking Reversible Systems: Forwardly | 1-gen-2024 | Dal Pio Luogo, F.; Mezzina, C. A.; Pinna, G. M. | - | Springer |
| Relating Reversible Petri Nets and Reversible Event Structures, Categorically | 1-gen-2023 | Melgratti, H.; Mezzina, C. A.; Pinna, G. M. | - | Springer |
| A Petri net view of covalent bonds | 1-gen-2022 | Melgratti, Hernán; Antares Mezzina, Claudio; Michele Pinna, G. | THEORETICAL COMPUTER SCIENCE | - |
| A distributed operational view of Reversible Prime Event Structures | 1-gen-2021 | Melgratti, H.; Mezzina, C. A.; Michele Pinna, G. | - | Institute of Electrical and Electronics Engineers |
| A new operational representation of dependencies in Event Structures | 1-gen-2021 | Pinna, GIOVANNI MICHELE | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| Memory associated with membranes systems | 1-gen-2021 | Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE | JOURNAL OF MEMBRANE COMPUTING | - |
| Foundations of Reversible Computation | 1-gen-2020 | Aman, Bogdan; Ciobanu, Gabriel; Gl(, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Antares Mezzina (L)ukasz Mikulski, Claudio; Nagarajan, Rajagopal; Phillips, Iain; Michele Pinna, G.; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germ('a)n | - | Springer International |
| Operational Representation of Dependencies in Context-Dependent Event Structures | 1-gen-2020 | Michele Pinna, G. | - | Springer |
| Representing Dependencies in Event Structures | 1-gen-2020 | Michele Pinna, G. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| Reversible Occurrence Nets and Causal Reversible Prime Event Structures | 1-gen-2020 | Melgratti, H.; Mezzina, C. A.; Phillips, I.; Pinna, G. M.; Ulidowski, I. | - | Springer |
| Spreading nets: A uniform approach to unfoldings | 1-gen-2020 | Michele Pinna, G.; Fabre, ERIC MICHEL ALAIN MARIE | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |
| Representing Dependencies in Event Structures | 1-gen-2019 | Pinna, GIOVANNI MICHELE | - | Springer |
| Toward a uniform approach to the unfolding of nets | 1-gen-2018 | Fabre, ERIC MICHEL ALAIN MARIE; Pinna, GIOVANNI MICHELE | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - |
| Merging relations: a way to compact Petri nets' behaviors uniformly | 1-gen-2017 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | - | Springer |
| Petri nets and dynamic causality for service-oriented computations | 1-gen-2017 | Casu, G.; Pinna, G. M. | - | Association for Computing Machinery |