default search action
Lucia Pomello
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper). ICTCS 2024: 213-218 - 2023
- [j21]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179: 104704 (2023) - [j20]Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello:
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22(1): 351-375 (2023) - [j19]Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello:
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17: 54-83 (2023) - [j18]Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare:
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17: 189-211 (2023) - [c37]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets 2023: 53-69 - 2022
- [j17]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16: 1-23 (2022) - [c36]Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello:
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. PNSE@Petri Nets 2022: 60-79 - [c35]Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare:
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. ATAED@Petri Nets 2022: 69-75 - [i4]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Looking for winning strategies in two-player games on Petri nets with partial observability. CoRR abs/2204.01603 (2022) - 2021
- [j16]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
A Two-Player Asynchronous Game on Fully Observable Petri Nets. Trans. Petri Nets Other Model. Concurr. 15: 126-149 (2021) - [e3]Maciej Koutny, Fabrice Kordon, Lucia Pomello:
Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science 12530, Springer 2021, ISBN 978-3-662-63078-5 [contents] - [i3]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Asynchronous games on Petri nets and ATL. CoRR abs/2107.06866 (2021) - 2020
- [j15]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Informaticae 171(1-4): 39-56 (2020) - [c34]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets 2020: 49-67 - [i2]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR abs/2001.08064 (2020)
2010 – 2019
- 2019
- [c33]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD 2019: 17-36 - [c32]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Asynchronous Games on Petri Nets and Partial Order. ICTCS 2019: 139-144 - [p2]Luca Bernardinello, Lucia Pomello:
The Road from Concurrency to Quantum Logics. Carl Adam Petri: Ideas, Personality, Impact 2019: 243-249 - [e2]Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 [contents] - 2018
- [j14]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. Trans. Petri Nets Other Model. Concurr. 13: 52-72 (2018) - [c31]Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa:
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. PNSE@Petri Nets/ACSD 2018: 15-34 - [c30]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD 2018: 23-38 - [c29]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On the Decomposition of Regional Events in Elementary Systems. ATAED@Petri Nets/ACSD 2018: 39-55 - [i1]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR abs/1806.04254 (2018) - 2017
- [j13]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
Synthesis of Transition Systems from Quantum Logics. Fundam. Informaticae 154(1-4): 25-36 (2017) - [c28]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD 2017: 89-105 - [c27]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets 2017: 181-199 - 2016
- [j12]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. Trans. Petri Nets Other Model. Concurr. 11: 49-70 (2016) - 2015
- [c26]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. PNSE @ Petri Nets 2015: 59-78 - 2014
- [j11]Serge Haddad, Jetty Kleijn, Lucia Pomello:
Preface. Fundam. Informaticae 131(1) (2014) - [j10]Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello:
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133(4): 323-344 (2014) - [j9]Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9: 19-40 (2014) - [c25]Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi:
Morphisms on Marked Graphs. PNSE @ Petri Nets 2014: 113-127 - [c24]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular algebraic lattices related to combinatorial posets. ICTCS 2014: 241-245 - 2013
- [j8]Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello:
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 8: 48-70 (2013) - [c23]Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE 2013: 77-96 - 2012
- [c22]Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello:
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE 2012: 141-155 - [c21]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
Between quantum logic and concurrency. QPL 2012: 65-75 - [e1]Serge Haddad, Lucia Pomello:
Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science 7347, Springer 2012, ISBN 978-3-642-31130-7 [contents] - 2010
- [j7]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. Fundam. Informaticae 105(3): 211-235 (2010)
2000 – 2009
- 2009
- [c20]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices in Occurrence Nets. Petri Nets 2009: 163-182 - [c19]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà:
Closure Operators Associated to Partially Ordered Sets. NCMA 2009: 47-60 - [c18]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices Induced by the Concurrency Relation. DCM 2009: 12-21 - 2008
- [j6]Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85(1-4): 19-33 (2008) - [c17]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems. QPL/DCM@ICALP 2008: 147-154 - 2007
- [j5]Luca Bernardinello, Elena Monticelli, Lucia Pomello:
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. Fundam. Informaticae 80(1-3): 31-47 (2007) - [c16]Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello:
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. Workshop on Membrane Computing 2007: 124-137 - [c15]Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello:
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. NATO ASI Mining Massive Data Sets for Security 2007: 103-112 - 2004
- [c14]Lucia Pomello, Luca Bernardinello:
Formal Tools for Modular System Development. ICATPN 2004: 77-96 - [c13]Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello:
Modelling Mobility with Petri Hypernets. WADT 2004: 28-44 - 2003
- [j4]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1): 637-668 (2003) - [c12]Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello:
Modular System Development with Pullbacks. ICATPN 2003: 140-160
1990 – 1999
- 1999
- [c11]C. Balzarotti, Fiorella de Cindio, Lucia Pomello:
Observation equivalences for the semantics of inheritance. FMOODS 1999 - 1997
- [c10]Luca Bernardinello, Lucia Pomello:
A Category of Transition Systems and Its Relations with Orthomodular Posets. MFCS 1997: 139-148 - 1992
- [j3]Lucia Pomello, Carla Simone:
An Algebraic Characterisation of Elementary Net System (Observable) State Space. Formal Aspects Comput. 4(6A): 612-637 (1992) - [p1]Lucia Pomello, Grzegorz Rozenberg, Carla Simone:
A survey of equivalence notions for net based systems. Advances in Petri Nets: The DEMON Project 1992: 410-472 - 1991
- [j2]Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello:
Concurrent Bisimulations in Petri Nets. Acta Informatica 28(3): 231-264 (1991)
1980 – 1989
- 1989
- [c9]Lucia Pomello, Carla Simone:
A state transformation preorder over a class of EN systems. Applications and Theory of Petri Nets 1989: 436-456 - [c8]Lucia Pomello:
Refinement of Concurrent Systems Based on Local State Transformations. REX Workshop 1989: 641-668 - 1988
- [c7]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. Concurrency 1988: 222-236 - 1987
- [j1]Luca Castellano, Giorgio De Michelis, Lucia Pomello:
Concurrency versus interleaving: an instructuve example. Bull. EATCS 31: 12-14 (1987) - 1985
- [c6]Lucia Pomello:
Some equivalence notions for concurrent systems. An overview. Applications and Theory in Petri Nets 1985: 381-400 - [c5]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. ICDCS 1985: 486-495 - 1982
- [c4]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
Equivalence Notions for Concurrent Systems. European Workshop on Applications and Theory of Petri Nets 1982: 29-39 - [c3]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
Milner's Communicating Systems and Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 40-59 - [c2]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
Real Systems Modeling: A Formal but Realistic Approach to Organizational Design. International Working Conference on Model Realism 1982: 134-152 - 1981
- [c1]Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
Superposed Automata Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 269-279
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-11-08 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint