PINNA, GIOVANNI MICHELE
PINNA, GIOVANNI MICHELE
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
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.
Identification of metabolic biomarkers of chronic vagus nerve stimulation (VNS) in subjects with drug-resistant epilepsy (DRE)
2024-01-01 Manca, Claudia; Coa, Roberta; Murru, Elisabetta; Carta, Gianfranca; Pinna, Giovanni; Sanfilippo, Roberto; Polizzi, Lorenzo; Pistis, Marco; Follesa, Paolo; Puligheddu, Monica; Banni, Sebastiano
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; Pinna, G. Michele.
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.
Reversing steps in membrane systems computations
2017-01-01 Pinna, GIOVANNI MICHELE
An unifying framework for compacting Petri nets behaviors
2016-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 | - |
| Identification of metabolic biomarkers of chronic vagus nerve stimulation (VNS) in subjects with drug-resistant epilepsy (DRE) | 1-gen-2024 | Manca, Claudia; Coa, Roberta; Murru, Elisabetta; Carta, Gianfranca; Pinna, Giovanni; Sanfilippo, Roberto; Polizzi, Lorenzo; Pistis, Marco; Follesa, Paolo; Puligheddu, Monica; Banni, Sebastiano | EPILEPSIA OPEN | - |
| 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; Pinna, G. Michele. | 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 |
| Reversing steps in membrane systems computations | 1-gen-2017 | Pinna, GIOVANNI MICHELE | - | Springer |
| An unifying framework for compacting Petri nets behaviors | 1-gen-2016 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | - | CEUR |