PINNA, GIOVANNI MICHELE

PINNA, GIOVANNI MICHELE  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 20 di 78 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
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
Contracts as games on event structures 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -