| Titolo | Data di pubblicazione | Autori | Tipo | Abstract |
|---|
| Representing Dependencies in Event Structures | 2019 | PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Toward a uniform approach to the unfolding of nets | 2018 | FABRE, ERIC MICHEL ALAIN MARIE ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Merging relations: a way to compact Petri nets' behaviors uniformly | 2017 | CASU, GIOVANNI ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Reversing steps in membrane systems computations | 2017 | PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Petri nets and dynamic causality for service-oriented computations | 2017 | CASU, GIOVANNI ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| An unifying framework for compacting Petri nets behaviors | 2016 | CASU, GIOVANNI ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Contracts as games on event structures | 2016 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE ; Zunino R. | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Models of circular causality | 2015 | BARTOLETTI, MASSIMO ; Cimoli T.; PINNA, GIOVANNI MICHELE ; Zunino R. | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Lending Petri nets | 2015 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Catalytic and communicating Petri nets are Turing complete | 2014 | Ciobanu, G; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Circular causality in event structures | 2014 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE ; Zunino, R. | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Power of Causal Dependencies in Rule-Based Systems | 2014 | Ciobanu G; PINNA, GIOVANNI MICHELE ; Sburlan D. | 1 Contributo su Rivista::1.1 Articolo in rivista | - |
| Flow unfolding of multi-clock nets | 2014 | CASU, GIOVANNI ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| A note on two notions of compliance | 2014 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Lending Petri nets and contracts | 2013 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| A Clustering Approach for Tag Recommendation in Social Environments | 2013 | BORATTO, LUDOVICO ; CARTA, SALVATORE MARIO ; MANCA, MATTEO ; MULAS, FABRIZIO ; PILLONI, PAOLO ; PINNA, GIOVANNI MICHELE ; VARGIU, ELOISA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Modeling dependencies and simultaneity in membrane system computations | 2012 | PINNA, GIOVANNI MICHELE ; SABA, ANDREA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Timed Catalytic Petri Nets | 2012 | Aman Bogdan; Ciobanu Gabriel; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Catalytic Petri Nets are Turing Complete | 2012 | Ciobanu Gabriel; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Circular causality in event structures | 2012 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE ; Zunino Roberto | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| An event-based model for contracts | 2012 | BARTOLETTI, MASSIMO ; CIMOLI, TIZIANA ; PINNA, GIOVANNI MICHELE ; Zunino R. | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings | 2011 | PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Simultaneity in event structures | 2010 | PINNA, GIOVANNI MICHELE ; SABA, ANDREA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Dependencies and Symultaneity in Membrane Sys-
tems | 2009 | PINNA, GIOVANNI MICHELE ; SABA ANDREA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Petri Nets Unfoldings and the individual/collective token
philosophy | 2009 | PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Process discovery and Petri nets | 2009 | BUSI NADIA; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| An event based semantics of P-Systems | 2008 | PINNA, GIOVANNI MICHELE ; SABA, ANDREA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| An Event Based Semantics of P-Systems | 2008 | PINNA, GIOVANNI MICHELE ; SABA, ANDREA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) | 2008 | Mario Coppo; Elena Lodi; PINNA, GIOVANNI MICHELE | 7 Curatele::7.1 Curatela | - |
| A complete fuzzy logical system to deal with trust management systems | 2008 | TOMMASO FLAMINIO; PINNA, GIOVANNI MICHELE ; ELISA B. P. TIEZZI | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| An Iterative Algorithm for Applying
the Theory of Regions in Process Mining | 2007 | BOUDEWIJN F. VAN DONGEN; NADIA BUSI; PINNA, GIOVANNI MICHELE ; WIL M. P. VAN DER AALST | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| A fuzzy approach to Trust Management Systems | 2006 | Flaminio Tommaso; PINNA, GIOVANNI MICHELE ; Tiezzi Elisa B. P. | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| Characterizing workflow nets using regions | 2006 | N. BUSI; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Event Structures with Disabling/Enabling relation and Event Automata | 2006 | PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Event Structures for the Collective Tokens Philosophy of Inhibitor Nets | 2005 | PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 | 2005 | MARIO COPPO; ELENA LODI; PINNA, GIOVANNI MICHELE | 7 Curatele::7.1 Curatela | - |
| Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs | 2004 | PAOLO BALDAN; NADIA BUSI; ANDREA CORRADINI; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| A Tableau Calculus for Hájek's Logic BL | 2003 | MONTAGNA F; PINNA, GIOVANNI MICHELE ; TIEZZI E. B. P. | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Investigations on Fragments of First Order Branching Temporal Logic | 2002 | MONTAGNA F; PINNA, GIOVANNI MICHELE ; TIEZZI E. B. P. | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Specifying and verifying reactive systems in a multi-language environment | 2001 | MERCERON A; MUELLERBURG M; PINNA, GIOVANNI MICHELE | 2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio) | |
| Component-based Verification in a Synchronous Setting | 2001 | MERCERON A; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain | 2000 | Montagna Franco; PINNA, GIOVANNI MICHELE ; Tiezzi Elisa | 1 Contributo su Rivista::1.1 Articolo in rivista | - |
| Refinement and Modular Verification with Observers | 2000 | Merceron Agathe; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs | 2000 | Busi Nadia; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs | 2000 | Baldan Paolo; Busi Nadia; Corradini Andrea; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs | 1999 | Busi Nadia; PINNA, GIOVANNI MICHELE | 1 Contributo su Rivista::1.1 Articolo in rivista | - |
| Modular verification of ARGOS programs | 1999 | Merceron Agathe; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| Evolutions as Computations | 1999 | PINNA, GIOVANNI MICHELE ; Tiezzi Elisa B. P. | 2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio) | - |
| "No collision" in a protocol with n stations: a comparative study of formal proofs | 1999 | Merceron Agathe; Müllerburg Monika; PINNA, GIOVANNI MICHELE | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
| Coordination of Synchronous Programs | 1999 | Budde Reinhard; PINNA, GIOVANNI MICHELE ; Poigné Axel | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | - |
