default search action
G. Michele Pinna
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c33]Federico Dal Pio Luogo, Claudio Antares Mezzina
, G. Michele Pinna
Model Checking Reversible Systems: Forwardly. RC 2024: 218-237 - 2023
- [c32]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE 2023: 206-223 - [i7]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR abs/2302.14195 (2023) - [i6]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A Truly Concurrent Semantics for Reversible CCS. CoRR abs/2309.14011 (2023) - [i5]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A Reversible Perspective on Petri Nets and Event Structures. CoRR abs/2312.16714 (2023) - 2022
- [j25]Hernán C. Melgratti, Claudio Antares Mezzina
A Petri net view of covalent bonds. Theor. Comput. Sci. 908: 89-119 (2022) - 2021
- [j24]Gabriel Ciobanu
Memory associated with membranes systems. J. Membr. Comput. 3(2): 116-132 (2021) - [j23]G. Michele Pinna
A new operational representation of dependencies in Event Structures. Log. Methods Comput. Sci. 17(4) (2021) - [c31]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures. LICS 2021: 1-13 - [c30]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Towards a Truly Concurrent Semantics for Reversible CCS. RC 2021: 109-125 - 2020
- [j22]G. Michele Pinna
Spreading nets: A uniform approach to unfoldings. J. Log. Algebraic Methods Program. 112: 100526 (2020) - [j21]G. Michele Pinna
Representing Dependencies in Event Structures. Log. Methods Comput. Sci. 16(2) (2020) - [c29]G. Michele Pinna
Operational Representation of Dependencies in Context-Dependent Event Structures. COORDINATION 2020: 320-338 - [c28]Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC 2020: 35-53 - [p2]Bogdan Aman
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [i4]G. Michele Pinna:
A new operational representation of dependencies in Event Structures. CoRR abs/2012.00118 (2020)
2010 – 2019
- 2019
- [c27]G. Michele Pinna
Representing Dependencies in Event Structures. COORDINATION 2019: 3-18 - [i3]G. Michele Pinna:
Representing Dependencies in Event Structures. CoRR abs/1910.02521 (2019) - [i2]Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski:
Reversible Causal Nets and Reversible Event Structures. CoRR abs/1910.10987 (2019) - 2018
- [c26]Eric Fabre, G. Michele Pinna
Toward a Uniform Approach to the Unfolding of Nets. ICE 2018: 21-36 - 2017
- [c25]Giovanni Casu, G. Michele Pinna
Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. LATA 2017: 325-337 - [c24]G. Michele Pinna
Reversing Steps in Membrane Systems Computations. Int. Conf. on Membrane Computing 2017: 245-261 - [c23]Giovanni Casu, G. Michele Pinna
Petri nets and dynamic causality for service-oriented computations. SAC 2017: 1326-1333 - 2016
- [j20]Massimo Bartoletti, Tiziana Cimoli
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85(3): 399-424 (2016) - [c22]Giovanni Casu, G. Michele Pinna:
An Unifying Framework for Compacting Petri Nets Behaviors. ICTCS 2016: 245-250 - 2015
- [j19]Massimo Bartoletti
Lending Petri nets. Sci. Comput. Program. 112: 75-101 (2015) - [c21]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Models of Circular Causality. ICDCIT 2015: 1-20 - 2014
- [j18]Massimo Bartoletti
Circular Causality in Event Structures. Fundam. Informaticae 134(3-4): 219-259 (2014) - [j17]Gabriel Ciobanu
Catalytic and communicating Petri nets are Turing complete. Inf. Comput. 239: 55-70 (2014) - [j16]Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan:
Power of Causal Dependencies in Rule-Based Systems. J. Autom. Lang. Comb. 19(1-4): 45-56 (2014) - [c20]Giovanni Casu, G. Michele Pinna
Flow Unfolding of Multi-clock Nets. Petri Nets 2014: 170-189 - [c19]Massimo Bartoletti
A note on two notions of compliance. ICE 2014: 86-93 - 2013
- [c18]Massimo Bartoletti
Lending Petri Nets and Contracts. FSEN 2013: 66-82 - 2012
- [j15]G. Michele Pinna
Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. 431: 13-39 (2012) - [c17]Gabriel Ciobanu
Catalytic Petri Nets Are Turing Complete. LATA 2012: 192-203 - [c16]Bogdan Aman
Timed Catalytic Petri Nets. SYNASC 2012: 319-326 - [c15]Massimo Bartoletti, Tiziana Cimoli
An event-based model for contracts. PLACES 2012: 13-20 - [i1]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets and contracts. CoRR abs/1211.3624 (2012) - 2011
- [c14]G. Michele Pinna
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. Petri Nets 2011: 109-128 - 2010
- [c13]G. Michele Pinna
Simultaneity in Event Structures. TAMC 2010: 385-396
2000 – 2009
- 2009
- [j14]Nadia Busi, G. Michele Pinna
Process discovery and Petri nets. Math. Struct. Comput. Sci. 19(6): 1091-1124 (2009) - [c12]G. Michele Pinna
Dependencies and Simultaneity in Membrane Systems. MeCBIC 2009: 155-169 - 2008
- [j13]G. Michele Pinna, Andrea Saba:
An Event Based Semantics of P Systems. Sci. Ann. Comput. Sci. 18: 99-127 (2008) - [j12]Tommaso Flaminio
A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets Syst. 159(10): 1191-1207 (2008) - [j11]Mario Coppo, Elena Lodi, G. Michele Pinna
Foreword. Theory Comput. Syst. 42(3): 287-288 (2008) - 2006
- [j10]G. Michele Pinna:
Event Structures with Disabling/Enabling Relation and Event Automata. Fundam. Informaticae 73(3): 409-430 (2006) - [c11]Nadia Busi, G. Michele Pinna
Characterizing Workflow Nets Using Regions. SYNASC 2006: 399-406 - 2005
- [c10]G. Michele Pinna:
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets. MFCS 2005: 720-732 - [e1]Mario Coppo, Elena Lodi, G. Michele Pinna:
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Lecture Notes in Computer Science 3701, Springer 2005, ISBN 3-540-29106-7 [contents] - 2004
- [j9]Paolo Baldan, Nadia Busi, Andrea Corradini
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004) - 2003
- [j8]Franco Montagna, G. Michele Pinna
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13(2): 241-259 (2003) - 2002
- [j7]Franco Montagna, G. Michele Pinna
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48(1): 51-62 (2002) - 2001
- [j6]Agathe Merceron, G. Michele Pinna
Component-based Verification in a Synchronous Setting. Int. J. Softw. Eng. Knowl. Eng. 11(2): 181-203 (2001) - [c9]Agathe Merceron, Monika Müllerburg, G. Michele Pinna
Specifying and verifying reactive systems in a multi-language environment. TOSCA 2001: 244-256 - 2000
- [j5]Nadia Busi, G. Michele Pinna:
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 44(3): 209-244 (2000) - [j4]Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46(2): 171-182 (2000) - [c8]Agathe Merceron, G. Michele Pinna:
Refinement and Modular Verification with Observers. APAQS 2000: 216-225 - [c7]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
1990 – 1999
- 1999
- [j3]Nadia Busi, G. Michele Pinna:
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 40(2-3): 165-197 (1999) - [c6]Reinhard Budde, G. Michele Pinna, Axel Poigné:
Coordination of Synchronous Programs. COORDINATION 1999: 103-117 - 1998
- [c5]Agathe Merceron, Monika Müllerburg, G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment. SAFECOMP 1998: 185-195 - 1997
- [c4]Nadia Busi, G. Michele Pinna:
Synthesis of Nets with Inhibitor Arcs. CONCUR 1997: 151-165 - 1996
- [c3]Nadia Busi, G. Michele Pinna:
Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets 1996: 113-132 - 1995
- [j2]G. Michele Pinna, Axel Poigné:
On the Nature of Events: Another Perspective in Concurrency. Theor. Comput. Sci. 138(2): 425-454 (1995) - [p1]G. Michele Pinna, Axel Poigné:
Event Automata as a Generic Model of Reactive Systems. KORSO Book 1995: 74-91 - 1993
- [c2]G. Michele Pinna, Axel Poigné:
On the Specification of Elementary Reactive Behaviour. MFPS 1993: 271-292 - 1992
- [c1]G. Michele Pinna, Axel Poigné:
On the Nature of Events. MFCS 1992: 430-441 - 1991
- [j1]Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14(1): 109-128 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: