Pinna Giovanni Michele
UniCa Ateneo Docenti e ricercatori Giovanni Michele Pinna Ricerca Prodotti della Ricerca (IRIS)

Giovanni Michele Pinna

Mostrati risultati da 1 a 50 di 78
Titolo Data di pubblicazione Autore(i) Rivista Editore
Model Checking Reversible Systems: Forwardly 1-gen-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-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 -
Memory associated with membranes systems 1-gen-2021 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE JOURNAL OF MEMBRANE COMPUTING -
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 -
Operational Representation of Dependencies in Context-Dependent Event Structures 1-gen-2020 Michele Pinna, G. - 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-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
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
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
Petri nets and dynamic causality for service-oriented computations 1-gen-2017 Casu, G.; Pinna, G. M. - Association for Computing Machinery
Merging relations: a way to compact Petri nets' behaviors uniformly 1-gen-2017 Casu, Giovanni; Pinna, GIOVANNI MICHELE - Springer
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 -
Power of Causal Dependencies in Rule-Based Systems 1-gen-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE; Sburlan, D. JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS -
A note on two notions of compliance 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
Catalytic and communicating Petri nets are Turing complete 1-gen-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE INFORMATION AND COMPUTATION -
Flow unfolding of multi-clock nets 1-gen-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-gen-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-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Catalytic Petri Nets are Turing Complete 1-gen-2012 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
Modeling dependencies and simultaneity in membrane system computations 1-gen-2012 Pinna, GIOVANNI MICHELE; Saba, Andrea THEORETICAL COMPUTER SCIENCE -
Timed Catalytic Petri Nets 1-gen-2012 Aman, Bogdan; Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Circular causality in event structures 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
An event-based model for contracts 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1-gen-2011 Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
Simultaneity in event structures 1-gen-2010 Pinna, GIOVANNI MICHELE; Saba, Andrea - Springer
Petri Nets Unfoldings and the individual/collective token philosophy 1-gen-2009 Pinna, GIOVANNI MICHELE - Heidelberg University Press
Dependencies and Symultaneity in Membrane Sys- tems 1-gen-2009 Pinna, GIOVANNI MICHELE; Saba, Andrea ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Process discovery and Petri nets 1-gen-2009 Busi, Nadia; Pinna, GIOVANNI MICHELE MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
An Event Based Semantics of P-Systems 1-gen-2008 Pinna, GIOVANNI MICHELE; Saba, Andrea - A. I. Cuza University Press
A complete fuzzy logical system to deal with trust management systems 1-gen-2008 Tommaso, Flaminio; Pinna, GIOVANNI MICHELE; ELISA B. P., Tiezzi FUZZY SETS AND SYSTEMS -
An event based semantics of P-Systems 1-gen-2008 Pinna, GIOVANNI MICHELE; Saba, Andrea SCIENTIFIC ANNALS OF COMPUTER SCIENCE -
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1-gen-2008 Mario, Coppo; Elena, Lodi; Pinna, GIOVANNI MICHELE THEORY OF COMPUTING SYSTEMS -
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 1-gen-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-gen-2006 N., Busi; Pinna, GIOVANNI MICHELE - IEEE Computer Society
A fuzzy approach to Trust Management Systems 1-gen-2006 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P. - -
Event Structures with Disabling/Enabling relation and Event Automata 1-gen-2006 Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 1-gen-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-gen-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-gen-2004 Paolo, Baldan; Nadia, Busi; Andrea, Corradini; Pinna, GIOVANNI MICHELE THEORETICAL COMPUTER SCIENCE -
A Tableau Calculus for Hájek's Logic BL 1-gen-2003 Montagna, F; Pinna, GIOVANNI MICHELE; Tiezzi, E. B. P. JOURNAL OF LOGIC AND COMPUTATION -
Mostrati risultati da 1 a 50 di 78
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

Questionario e social

Condividi su:
Impostazioni cookie