PINNA, GIOVANNI MICHELE

PINNA, GIOVANNI MICHELE  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 20 di 74 (tempo di esecuzione: 0.022 secondi).
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 -