Pinna Giovanni Michele
UniCa About Professors and Researchers Giovanni Michele Pinna Research Research outcomes (IRIS)

Giovanni Michele Pinna

Showing results 1 to 50 of 78
Title Issue Date Author(s) Journal Publisher
Model Checking Reversible Systems: Forwardly 1-Jan-2024 Dal Pio Luogo, F.; Mezzina, C. A.; Pinna, G. M. - Springer
Identification of metabolic biomarkers of chronic vagus nerve stimulation (VNS) in subjects with drug-resistant epilepsy (DRE) 1-Jan-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-Jan-2023 Melgratti, H.; Mezzina, C. A.; Pinna, G. M. - Springer
A Petri net view of covalent bonds 1-Jan-2022 Melgratti, Hernán; Antares Mezzina, Claudio; Pinna, G. Michele. THEORETICAL COMPUTER SCIENCE -
Memory associated with membranes systems 1-Jan-2021 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE JOURNAL OF MEMBRANE COMPUTING -
A distributed operational view of Reversible Prime Event Structures 1-Jan-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-Jan-2021 Pinna, GIOVANNI MICHELE LOGICAL METHODS IN COMPUTER SCIENCE -
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 1-Jan-2020 Melgratti, H.; Mezzina, C. A.; Phillips, I.; Pinna, G. M.; Ulidowski, I. - Springer
Operational Representation of Dependencies in Context-Dependent Event Structures 1-Jan-2020 Michele Pinna, G. - Springer
Spreading nets: A uniform approach to unfoldings 1-Jan-2020 Michele Pinna, G.; Fabre, ERIC MICHEL ALAIN MARIE THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Representing Dependencies in Event Structures 1-Jan-2020 Michele Pinna, G. LOGICAL METHODS IN COMPUTER SCIENCE -
Foundations of Reversible Computation 1-Jan-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
Representing Dependencies in Event Structures 1-Jan-2019 Pinna, GIOVANNI MICHELE - Springer
Toward a uniform approach to the unfolding of nets 1-Jan-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-Jan-2017 Casu, Giovanni; Pinna, GIOVANNI MICHELE - Springer
Reversing steps in membrane systems computations 1-Jan-2017 Pinna, GIOVANNI MICHELE - Springer
Petri nets and dynamic causality for service-oriented computations 1-Jan-2017 Casu, G.; Pinna, G. M. - Association for Computing Machinery
Contracts as games on event structures 1-Jan-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-Jan-2016 Casu, Giovanni; Pinna, GIOVANNI MICHELE - CEUR
Models of circular causality 1-Jan-2015 Bartoletti, Massimo; Cimoli, T.; Pinna, GIOVANNI MICHELE; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Lending Petri nets 1-Jan-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Power of Causal Dependencies in Rule-Based Systems 1-Jan-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE; Sburlan, D. JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS -
A note on two notions of compliance 1-Jan-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Circular causality in event structures 1-Jan-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
Catalytic and communicating Petri nets are Turing complete 1-Jan-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE INFORMATION AND COMPUTATION -
Flow unfolding of multi-clock nets 1-Jan-2014 Casu, Giovanni; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer International Publishing Switzerland 2014
A Clustering Approach for Tag Recommendation in Social Environments 1-Jan-2013 Boratto, Ludovico; Carta, SALVATORE MARIO; Manca, Matteo; Mulas, Fabrizio; Pilloni, Paolo; Pinna, GIOVANNI MICHELE; Vargiu, Eloisa NTERNATIONAL JOURNAL OF E-BUSINESS DEVELOPMENT -
Lending Petri nets and contracts 1-Jan-2013 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Catalytic Petri Nets are Turing Complete 1-Jan-2012 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
Circular causality in event structures 1-Jan-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
An event-based model for contracts 1-Jan-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Timed Catalytic Petri Nets 1-Jan-2012 Aman, Bogdan; Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Modeling dependencies and simultaneity in membrane system computations 1-Jan-2012 Pinna, GIOVANNI MICHELE; Saba, Andrea THEORETICAL COMPUTER SCIENCE -
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1-Jan-2011 Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
Simultaneity in event structures 1-Jan-2010 Pinna, GIOVANNI MICHELE; Saba, Andrea - Springer
Petri Nets Unfoldings and the individual/collective token philosophy 1-Jan-2009 Pinna, GIOVANNI MICHELE - Heidelberg University Press
Dependencies and Symultaneity in Membrane Sys- tems 1-Jan-2009 Pinna, GIOVANNI MICHELE; Saba, Andrea ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Process discovery and Petri nets 1-Jan-2009 Busi, Nadia; Pinna, GIOVANNI MICHELE MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
An Event Based Semantics of P-Systems 1-Jan-2008 Pinna, GIOVANNI MICHELE; Saba, Andrea - A. I. Cuza University Press
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1-Jan-2008 Mario, Coppo; Elena, Lodi; Pinna, GIOVANNI MICHELE THEORY OF COMPUTING SYSTEMS -
An event based semantics of P-Systems 1-Jan-2008 Pinna, GIOVANNI MICHELE; Saba, Andrea SCIENTIFIC ANNALS OF COMPUTER SCIENCE -
A complete fuzzy logical system to deal with trust management systems 1-Jan-2008 Tommaso, Flaminio; Pinna, GIOVANNI MICHELE; ELISA B. P., Tiezzi FUZZY SETS AND SYSTEMS -
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 1-Jan-2007 BOUDEWIJN F., VAN DONGEN; Nadia, Busi; Pinna, GIOVANNI MICHELE; WIL M. P., VAN DER AALST - Publishing House of University of Podlasie
Characterizing workflow nets using regions 1-Jan-2006 N., Busi; Pinna, GIOVANNI MICHELE - IEEE Computer Society
A fuzzy approach to Trust Management Systems 1-Jan-2006 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P. - -
Event Structures with Disabling/Enabling relation and Event Automata 1-Jan-2006 Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 1-Jan-2005 Mario, Coppo; Elena, Lodi; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1-Jan-2005 Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 1-Jan-2004 Paolo, Baldan; Nadia, Busi; Andrea, Corradini; Pinna, GIOVANNI MICHELE THEORETICAL COMPUTER SCIENCE -
A Tableau Calculus for Hájek's Logic BL 1-Jan-2003 Montagna, F; Pinna, GIOVANNI MICHELE; Tiezzi, E. B. P. JOURNAL OF LOGIC AND COMPUTATION -
Showing results 1 to 50 of 78
Icon legend

  •  files available
  •  files available on intranet
  •  files available for authorized users
  •  files available for administrators
  •  files under embargo
  •  no files available

Questionnaire and social

Share on:
Impostazioni cookie