Prodotti della ricerca

 

UNICA IRIS Institutional Research Information System

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.

Mostra risultati da 1 a 50 di 63
successivo >
TitoloData di pubblicazioneAutoriTipoAbstract
Merging relations: a way to compact Petri nets' behaviors uniformly2017CASU, GIOVANNI  ; PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Reversing steps in membrane systems computations2017PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Contracts as games on event structures2016BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
An unifying framework for compacting Petri nets behaviors2016CASU, GIOVANNI  ; PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Lending Petri nets2015BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Models of circular causality2015BARTOLETTI, MASSIMO  ; PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Flow unfolding of multi-clock nets2014CASU, GIOVANNI  ; PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
A note on two notions of compliance2014BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Power of Causal Dependencies in Rule-Based Systems2014PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista-
Circular causality in event structures2014BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
Catalytic and communicating Petri nets are Turing complete2014PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Lending Petri nets and contracts2013BARTOLETTI, 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 Environments2013BORATTO, LUDOVICO  ; CARTA, SALVATORE MARIO  ; MANCA, MATTEO  ; MULAS, FABRIZIO  ; PILLONI, PAOLO  ; PINNA, GIOVANNI MICHELE  ; VARGIU, ELOISA  1 Contributo su Rivista::1.1 Articolo in rivista
An event-based model for contracts2012BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Catalytic Petri Nets are Turing Complete2012PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Modeling dependencies and simultaneity in membrane system computations2012PINNA, GIOVANNI MICHELE  ; SABA, ANDREA  1 Contributo su Rivista::1.1 Articolo in rivista
Circular causality in event structures2012BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Timed Catalytic Petri Nets2012PINNA, GIOVANNI MICHELE  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 Unfoldings2011PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Simultaneity in event structures2010PINNA, 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 philosophy2009PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Dependencies and Symultaneity in Membrane Sys- tems2009PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Process discovery and Petri nets2009PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
An event based semantics of P-Systems2008PINNA, GIOVANNI MICHELE  ; SABA, ANDREA  1 Contributo su Rivista::1.1 Articolo in rivista
An Event Based Semantics of P-Systems2008PINNA, 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)2008PINNA, GIOVANNI MICHELE  7 Curatele::7.1 Curatela-
A complete fuzzy logical system to deal with trust management systems2008PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
An Iterative Algorithm for Applying the Theory of Regions in Process Mining2007PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
A fuzzy approach to Trust Management Systems2006PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Characterizing workflow nets using regions2006PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Event Structures with Disabling/Enabling relation and Event Automata2006PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Theoretical Computer Science, 9th Italian Conference, ICTCS 20052005PINNA, GIOVANNI MICHELE  7 Curatele::7.1 Curatela-
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets2005PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs2004PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
A Tableau Calculus for Hájek's Logic BL2003PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
Investigations on Fragments of First Order Branching Temporal Logic2002PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
Component-based Verification in a Synchronous Setting2001PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Specifying and verifying reactive systems in a multi-language environment2001PINNA, GIOVANNI MICHELE  2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs2000PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Refinement and Modular Verification with Observers2000PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain2000PINNA, GIOVANNI MICHELE  ; 1 Contributo su Rivista::1.1 Articolo in rivista-
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs2000PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista
Modular verification of ARGOS programs1999PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
"No collision" in a protocol with n stations: a comparative study of formal proofs1999PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Evolutions as Computations1999PINNA, GIOVANNI MICHELE  ; 2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)-
Coordination of Synchronous Programs1999PINNA, 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 Arcs1999PINNA, GIOVANNI MICHELE  1 Contributo su Rivista::1.1 Articolo in rivista-
Verifying a Time-Triggered Protocol in a Multi-language Environment1998PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$1998PINNA, GIOVANNI MICHELE  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
Refinements and Modular Verification1997PINNA, GIOVANNI MICHELE  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno-
   
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar