UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 77
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 -
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
Memory associated with membranes systems 1-gen-2021 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE JOURNAL OF MEMBRANE COMPUTING -
A new operational representation of dependencies in Event Structures 1-gen-2021 Pinna, GIOVANNI MICHELE LOGICAL METHODS IN COMPUTER SCIENCE -
Representing Dependencies in Event Structures 1-gen-2020 Michele Pinna, G. LOGICAL METHODS IN COMPUTER SCIENCE -
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
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 -
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
Operational Representation of Dependencies in Context-Dependent Event Structures 1-gen-2020 Michele Pinna, G. - Springer
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 -
Reversing steps in membrane systems computations 1-gen-2017 Pinna, GIOVANNI MICHELE - Springer
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
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 -
An unifying framework for compacting Petri nets behaviors 1-gen-2016 Casu, Giovanni; Pinna, GIOVANNI MICHELE - CEUR
Models of circular causality 1-gen-2015 Bartoletti, Massimo; Cimoli, T.; Pinna, GIOVANNI MICHELE; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Mostrati risultati da 1 a 20 di 77
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile