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 | - |