PINNA, GIOVANNI MICHELE
PINNA, GIOVANNI MICHELE
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
"No collision" in a protocol with n stations: a comparative study of formal proofs
1999-01-01 Merceron, Agathe; Müllerburg, Monika; Pinna, GIOVANNI MICHELE
A Causal Semantics for Contextual P/T Nets
1995-01-01 Busi, Nadia; Pinna, GIOVANNI MICHELE
A Clustering Approach for Tag Recommendation in Social Environments
2013-01-01 Boratto, Ludovico; Carta, SALVATORE MARIO; Manca, Matteo; Mulas, Fabrizio; Pilloni, Paolo; Pinna, GIOVANNI MICHELE; Vargiu, Eloisa
A complete fuzzy logical system to deal with trust management systems
2008-01-01 Tommaso, Flaminio; Pinna, GIOVANNI MICHELE; ELISA B. P., Tiezzi
A compositional semantics for unmarked Predicate/Transition nets
1991-01-01 MAGGIOLO SCHETTINI, Andrea; Pinna, GIOVANNI MICHELE; Winkowski, Józef
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
2000-01-01 Montagna, Franco; Pinna, GIOVANNI MICHELE; Tiezzi, Elisa
A distributed operational view of Reversible Prime Event Structures
2021-01-01 Melgratti, H.; Mezzina, C. A.; Michele Pinna, G.
A fuzzy approach to Trust Management Systems
2006-01-01 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P.
A modal formalization of term rewriting systems
1989-01-01 Masini, Andrea; Pinna, GIOVANNI MICHELE
A new operational representation of dependencies in Event Structures
2021-01-01 Pinna, GIOVANNI MICHELE
A note on two notions of compliance
2014-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
A Petri net view of covalent bonds
2022-01-01 Melgratti, Hernán; Antares Mezzina, Claudio; Pinna, G. Michele.
A Tableau Calculus for Hájek's Logic BL
2003-01-01 Montagna, F; Pinna, GIOVANNI MICHELE; Tiezzi, E. B. P.
An event based semantics of P-Systems
2008-01-01 Pinna, GIOVANNI MICHELE; Saba, Andrea
An Event Based Semantics of P-Systems
2008-01-01 Pinna, GIOVANNI MICHELE; Saba, Andrea
An event-based model for contracts
2012-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
An Iterative Algorithm for Applying the Theory of Regions in Process Mining
2007-01-01 BOUDEWIJN F., VAN DONGEN; Nadia, Busi; Pinna, GIOVANNI MICHELE; WIL M. P., VAN DER AALST
An unifying framework for compacting Petri nets behaviors
2016-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
Catalytic and communicating Petri nets are Turing complete
2014-01-01 Ciobanu, G; Pinna, GIOVANNI MICHELE
Catalytic Petri Nets are Turing Complete
2012-01-01 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
"No collision" in a protocol with n stations: a comparative study of formal proofs | 1-gen-1999 | Merceron, Agathe; Müllerburg, Monika; Pinna, GIOVANNI MICHELE | - | - |
A Causal Semantics for Contextual P/T Nets | 1-gen-1995 | Busi, Nadia; Pinna, GIOVANNI MICHELE | - | World Scientific |
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 | - |
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 | - |
A compositional semantics for unmarked Predicate/Transition nets | 1-gen-1991 | MAGGIOLO SCHETTINI, Andrea; Pinna, GIOVANNI MICHELE; Winkowski, Józef | FUNDAMENTA INFORMATICAE | - |
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain | 1-gen-2000 | Montagna, Franco; Pinna, GIOVANNI MICHELE; Tiezzi, Elisa | MATHEMATICAL LOGIC QUARTERLY | - |
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 fuzzy approach to Trust Management Systems | 1-gen-2006 | Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P. | - | - |
A modal formalization of term rewriting systems | 1-gen-1989 | Masini, Andrea; Pinna, GIOVANNI MICHELE | - | - |
A new operational representation of dependencies in Event Structures | 1-gen-2021 | Pinna, GIOVANNI MICHELE | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A note on two notions of compliance | 1-gen-2014 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - |
A Petri net view of covalent bonds | 1-gen-2022 | Melgratti, Hernán; Antares Mezzina, Claudio; Pinna, G. 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 | - |
An event based semantics of P-Systems | 1-gen-2008 | Pinna, GIOVANNI MICHELE; Saba, Andrea | SCIENTIFIC ANNALS OF COMPUTER SCIENCE | - |
An Event Based Semantics of P-Systems | 1-gen-2008 | Pinna, GIOVANNI MICHELE; Saba, Andrea | - | A. I. Cuza University Press |
An event-based model for contracts | 1-gen-2012 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - |
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 |
An unifying framework for compacting Petri nets behaviors | 1-gen-2016 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | - | CEUR |
Catalytic and communicating Petri nets are Turing complete | 1-gen-2014 | Ciobanu, G; Pinna, GIOVANNI MICHELE | INFORMATION AND COMPUTATION | - |
Catalytic Petri Nets are Turing Complete | 1-gen-2012 | Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE | LECTURE NOTES IN COMPUTER SCIENCE | Springer-Verlag BERLIN-HEIDELBERG |