Zurru Antioco Luigi
UniCa Ateneo Docenti e ricercatori Antioco Luigi Zurru Ricerca Prodotti della Ricerca (IRIS)

Antioco Luigi Zurru

Mostrati risultati da 1 a 50 di 82
Titolo Data di pubblicazione Autore(i) Rivista Editore
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients 1-gen-2026 Lai, Maria Letizia; Baldussu, Priscilla; Caschili, Jacopo; Minerba, Luigi; Altana, Maria Luisa; Pinna, Giovanni; Calò, Pietro Giorgio; Gerosa, Clara; Fanni, Daniela VIRCHOWS ARCHIV -
Relating Reversible Petri Nets and Reversible Event Structures, categorically 1-gen-2025 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele LOGICAL METHODS IN COMPUTER SCIENCE -
Encoding Reversible Petri Nets into CCSK 1-gen-2025 Melgratti, Hernán C.; Mezzina, Claudio Antares; Pinna, G. Michele - Springer
A Truly Concurrent Semantics for Reversible CCS 1-gen-2024 ́N MELGRATTI, Herna; ANTARES MEZZINA, Claudio; MICHELE PINNA, G. LOGICAL METHODS IN COMPUTER SCIENCE -
A Reversible perspective on Petri Nets and event structures 1-gen-2024 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele ACM TRANSACTIONS ON COMPUTATIONAL LOGIC -
Model Checking Reversible Systems: Forwardly 1-gen-2024 Dal Pio Luogo, F.; Mezzina, C. A.; Pinna, G. M. - Springer
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 1-gen-2023 Melgratti, H.; Mezzina, C. A.; Pinna, G. M. - Springer
A Petri net view of covalent bonds 1-gen-2022 Melgratti, Hernán; Antares Mezzina, Claudio; Michele Pinna, G. THEORETICAL COMPUTER SCIENCE -
Memory associated with membranes systems 1-gen-2021 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE JOURNAL OF MEMBRANE COMPUTING -
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 new operational representation of dependencies in Event Structures 1-gen-2021 Pinna, GIOVANNI MICHELE LOGICAL METHODS IN COMPUTER SCIENCE -
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 1-gen-2020 Melgratti, H.; Mezzina, C. A.; Phillips, I.; Pinna, G. M.; Ulidowski, I. - Springer
Operational Representation of Dependencies in Context-Dependent Event Structures 1-gen-2020 Michele Pinna, G. - Springer
Spreading nets: A uniform approach to unfoldings 1-gen-2020 Michele Pinna, G.; Fabre, ERIC MICHEL ALAIN MARIE THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Foundations of Reversible Computation 1-gen-2020 Aman, Bogdan; Ciobanu, Gabriel; Gl(, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Antares Mezzina (L)ukasz Mikulski, Claudio; Nagarajan, Rajagopal; Phillips, Iain; Michele Pinna, G.; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germ('a)n - Springer International
Representing Dependencies in Event Structures 1-gen-2020 Michele Pinna, G. LOGICAL METHODS IN COMPUTER SCIENCE -
Representing Dependencies in Event Structures 1-gen-2019 Pinna, GIOVANNI MICHELE - Springer
Toward a uniform approach to the unfolding of nets 1-gen-2018 Fabre, ERIC MICHEL ALAIN MARIE; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Petri nets and dynamic causality for service-oriented computations 1-gen-2017 Casu, G.; Pinna, G. M. - Association for Computing Machinery
Merging relations: a way to compact Petri nets' behaviors uniformly 1-gen-2017 Casu, Giovanni; Pinna, GIOVANNI MICHELE - Springer
Reversing steps in membrane systems computations 1-gen-2017 Pinna, GIOVANNI MICHELE - Springer
An unifying framework for compacting Petri nets behaviors 1-gen-2016 Casu, Giovanni; Pinna, GIOVANNI MICHELE - CEUR
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 -
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Models of circular causality 1-gen-2015 Bartoletti, Massimo; Cimoli, T.; Pinna, GIOVANNI MICHELE; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
A note on two notions of compliance 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
Power of Causal Dependencies in Rule-Based Systems 1-gen-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE; Sburlan, D. JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS -
Flow unfolding of multi-clock nets 1-gen-2014 Casu, Giovanni; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer International Publishing Switzerland 2014
Catalytic and communicating Petri nets are Turing complete 1-gen-2014 Ciobanu, G; Pinna, GIOVANNI MICHELE INFORMATION AND COMPUTATION -
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 -
Lending Petri nets and contracts 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
An event-based model for contracts 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Circular causality in event structures 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
Modeling dependencies and simultaneity in membrane system computations 1-gen-2012 Pinna, GIOVANNI MICHELE; Saba, Andrea THEORETICAL COMPUTER SCIENCE -
Timed Catalytic Petri Nets 1-gen-2012 Aman, Bogdan; Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Catalytic Petri Nets are Turing Complete 1-gen-2012 Ciobanu, Gabriel; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1-gen-2011 Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag BERLIN-HEIDELBERG
Simultaneity in event structures 1-gen-2010 Pinna, GIOVANNI MICHELE; Saba, Andrea - Springer
Dependencies and Symultaneity in Membrane Sys- tems 1-gen-2009 Pinna, GIOVANNI MICHELE; Saba, Andrea ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Petri Nets Unfoldings and the individual/collective token philosophy 1-gen-2009 Pinna, GIOVANNI MICHELE - Heidelberg University Press
Process discovery and Petri nets 1-gen-2009 Busi, Nadia; Pinna, GIOVANNI MICHELE MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
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 -
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1-gen-2008 Mario, Coppo; Elena, Lodi; Pinna, GIOVANNI MICHELE THEORY OF COMPUTING SYSTEMS -
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 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
Characterizing workflow nets using regions 1-gen-2006 N., Busi; Pinna, GIOVANNI MICHELE - IEEE Computer Society
Event Structures with Disabling/Enabling relation and Event Automata 1-gen-2006 Pinna, GIOVANNI MICHELE FUNDAMENTA INFORMATICAE -
A fuzzy approach to Trust Management Systems 1-gen-2006 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi Elisa, B. P. - -
Mostrati risultati da 1 a 50 di 82
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

Questionario e social

Condividi su:
Impostazioni cookie