Prodotti della ricerca

 

UNICA IRIS Institutional Research Information System

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.

Mostra risultati da 1 a 50 di 70
successivo >
TitoloData di pubblicazioneAutore(i)RivistaEditore
A modal formalization of term rewriting systems1989Masini Andrea; Pinna G.Michele
Transformation of Pr/T nets via translation into structure grammars1990Maggiolo-Schettini Andrea; Pinna G.Michele
Petri nets and their composition problems1990Pinna G.MicheleUniversità di Pisa, Dipartimento di Informatica
A compositional semantics for unmarked Predicate/Transition nets1991MAGGIOLO-SCHETTINI ANDREA; PINNA G.MICHELE; WINKOWSKI JÓZEFFUNDAMENTA INFORMATICAE
On the nature of events1992Pinna G.Michele; Poigné AxelLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
On the Specification of Elementary Reactive Behaviour1993Pinna G.Michele; Poigné AxelLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
The mathematics of Event Automata1993Pinna G.Michele; Poigné Axel
Modeling and Specifying Reactive Behaviour of Information Systems1993Pinna G.Michele; Poigné Axel
On the Nature of Events: Another Perspective in Concurrency1995Pinna G.Michele; Poigné AxelTHEORETICAL COMPUTER SCIENCE
A Causal Semantics for Contextual P/T Nets1995Busi Nadia; Pinna G.MicheleWorld Scientific
Event Automata as a Generic Model of Reactive Systems1995Pinna G.Michele; Poigné AxelLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Non Sequential Semantics for Contextual P/T Nets1996Busi Nadia; Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Synthesis of Nets with Inhibitor Arcs1997Busi Nadia; Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCE
Refinements and Modular Verification1997Merceron Agathe; Pinna G.Michele
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$1998Montagna Franco; Pinna G.Michele; Tiezzi Elisa B.P.World Scientific
Verifying a Time-Triggered Protocol in a Multi-language Environment1998Merceron Agathe; Müllerburg Monika; Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Modular verification of ARGOS programs1999Merceron Agathe; Pinna G.MicheleSpringer
Evolutions as Computations1999Pinna G.Michele; Tiezzi Elisa B.P.The New York Academy of Sciences
Coordination of Synchronous Programs1999Budde Reinhard; Pinna G.Michele; Poigné AxelLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs1999Busi Nadia; Pinna G.MicheleFUNDAMENTA INFORMATICAE
"No collision" in a protocol with n stations: a comparative study of formal proofs1999Merceron Agathe; Müllerburg Monika; Pinna G.Michele
Refinement and Modular Verification with Observers2000Merceron Agathe; Pinna G.MicheleIEEE Computer Society
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs2000Busi Nadia; Pinna G.MicheleFUNDAMENTA INFORMATICAE
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs2000Baldan Paolo; Busi Nadia; Corradini Andrea; Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain2000Montagna Franco; Pinna G.Michele; Tiezzi ElisaMATHEMATICAL LOGIC QUARTERLY
Specifying and verifying reactive systems in a multi-language environment2001MERCERON A; MUELLERBURG M; PINNA G.MICHELEElsevier
Component-based Verification in a Synchronous Setting2001MERCERON A; PINNA G.MICHELEINTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Investigations on Fragments of First Order Branching Temporal Logic2002MONTAGNA F; PINNA G.MICHELE; TIEZZI E.B.PMATHEMATICAL LOGIC QUARTERLY
A Tableau Calculus for Hájek's Logic BL2003MONTAGNA F; PINNA G.MICHELE; TIEZZI E.B.PJOURNAL OF LOGIC AND COMPUTATION
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs2004PAOLO BALDAN; NADIA BUSI; ANDREA CORRADINI; PINNA G.MICHELETHEORETICAL COMPUTER SCIENCE
Theoretical Computer Science, 9th Italian Conference, ICTCS 20052005MARIO COPPO; ELENA LODI; PINNA G.MICHELELECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets2005PINNA G.MICHELELECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag
Event Structures with Disabling/Enabling relation and Event Automata2006PINNA G.MICHELEFUNDAMENTA INFORMATICAE
Characterizing workflow nets using regions2006N. BUSI; PINNA G.MICHELEIEEE Computer Society
A fuzzy approach to Trust Management Systems2006Flaminio Tommaso; Pinna G.Michele; Tiezzi Elisa B.P.
An Iterative Algorithm for Applying the Theory of Regions in Process Mining2007BOUDEWIJN F. VAN DONGEN; NADIA BUSI; PINNA G.MICHELE; WIL M.P. VAN DER AALSTPublishing House of University of Podlasie
An event based semantics of P-Systems2008Pinna GM; Saba ASCIENTIFIC ANNALS OF COMPUTER SCIENCE
An Event Based Semantics of P-Systems2008Pinna G.Michele; Saba AndreaA. I. Cuza University Press
A complete fuzzy logical system to deal with trust management systems2008TOMMASO FLAMINIO; PINNA G.MICHELE; ELISA B.P. TIEZZIFUZZY SETS AND SYSTEMS
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005)2008Mario Coppo; Elena Lodi; Pinna G.MicheleTHEORY OF COMPUTING SYSTEMS
Petri Nets Unfoldings and the individual/collective token philosophy2009PINNA G.MICHELEHeidelberg University Press
Dependencies and Symultaneity in Membrane Sys- tems2009PINNA G.MICHELE; SABA ANDREAELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Process discovery and Petri nets2009BUSI NADIA; PINNA G.MICHELEMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Simultaneity in event structures2010Pinna, GIOVANNI MICHELE; Saba, AndreaSpringer
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings2011Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag BERLIN-HEIDELBERG
An event-based model for contracts2012Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCEOpen Publishing Association
Timed Catalytic Petri Nets2012Aman Bogdan; Ciobanu Gabriel; Pinna G.MicheleIEEE Computer Society
Circular causality in event structures2012Bartoletti Massimo; Cimoli Tiziana; Pinna G. Michele; Zunino Roberto
Modeling dependencies and simultaneity in membrane system computations2012Pinna G M; Saba ATHEORETICAL COMPUTER SCIENCE
Catalytic Petri Nets are Turing Complete2012Ciobanu Gabriel; Pinna G.MicheleLECTURE NOTES IN COMPUTER SCIENCESpringer-Verlag BERLIN-HEIDELBERG
   
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar