UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 77
Titolo Data di pubblicazione Autore(i) Rivista Editore
An Event Based Semantics of P-Systems 1-gen-2008 Pinna, GIOVANNI MICHELE; Saba, Andrea - A. I. Cuza University Press
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
A fuzzy approach to Trust Management Systems 1-gen-2006 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P. - -
Event Structures with Disabling/Enabling relation and Event Automata 1-gen-2006 Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
Characterizing workflow nets using regions 1-gen-2006 N., Busi; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 1-gen-2005 Mario, Coppo; Elena, Lodi; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1-gen-2005 Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 1-gen-2004 Paolo, Baldan; Nadia, Busi; Andrea, Corradini; Pinna, GIOVANNI 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 -
Investigations on Fragments of First Order Branching Temporal Logic 1-gen-2002 Montagna, F; Pinna, GIOVANNI MICHELE; Tiezzi, E. B. P. MATHEMATICAL LOGIC QUARTERLY -
Specifying and verifying reactive systems in a multi-language environment 1-gen-2001 Merceron, A; Muellerburg, M; Pinna, GIOVANNI MICHELE - Elsevier
Component-based Verification in a Synchronous Setting 1-gen-2001 Merceron, A; Pinna, GIOVANNI MICHELE INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING -
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 -
Refinement and Modular Verification with Observers 1-gen-2000 Merceron, Agathe; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 1-gen-2000 Busi, Nadia; Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 1-gen-2000 Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Coordination of Synchronous Programs 1-gen-1999 Budde, Reinhard; Pinna, GIOVANNI MICHELE; Poigné, Axel LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 1-gen-1999 Busi, Nadia; Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
Modular verification of ARGOS programs 1-gen-1999 Merceron, Agathe; Pinna, GIOVANNI MICHELE - Springer
"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 - -
Mostrati risultati da 41 a 60 di 77
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile