PINNA, GIOVANNI MICHELE

PINNA, GIOVANNI MICHELE  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

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