PINNA, GIOVANNI MICHELE
PINNA, GIOVANNI MICHELE
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
A Causal Semantics for Contextual P/T Nets
1995-01-01 Busi, Nadia; Pinna, GIOVANNI MICHELE
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 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 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
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
Characterizing workflow nets using regions
2006-01-01 N., Busi; Pinna, GIOVANNI MICHELE
Circular causality in event structures
2014-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Circular causality in event structures
2012-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto
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
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs
2000-01-01 Busi, Nadia; Pinna, GIOVANNI MICHELE
Component-based Verification in a Synchronous Setting
2001-01-01 Merceron, A; Pinna, GIOVANNI MICHELE
Contracts as games on event structures
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| A Causal Semantics for Contextual P/T Nets | 1-gen-1995 | Busi, Nadia; Pinna, GIOVANNI MICHELE | - | World Scientific |
| 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 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 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 |
| 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 |
| Characterizing workflow nets using regions | 1-gen-2006 | N., Busi; Pinna, GIOVANNI MICHELE | - | IEEE Computer Society |
| Circular causality in event structures | 1-gen-2014 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. | FUNDAMENTA INFORMATICAE | - |
| Circular causality in event structures | 1-gen-2012 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto | - | - |
| 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 | - |
| Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs | 1-gen-2000 | Busi, Nadia; Pinna, GIOVANNI MICHELE | FUNDAMENTA INFORMATICAE | - |
| Component-based Verification in a Synchronous Setting | 1-gen-2001 | Merceron, A; Pinna, GIOVANNI MICHELE | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | - |
| 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 | - |