Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarLucia Pomello
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
upcoming
- 2020
[j16]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Inform. 171(1-4): 39-56 (2020)
2010 – today
- 2019
- [c32]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD 2019: 17-36 - [c31]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 - 2018
- [j15]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. T. Petri Nets and Other Models of Concurrency 13: 52-72 (2018) - [c30]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 - [c29]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 - [c28]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
- [j14]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
Synthesis of Transition Systems from Quantum Logics. Fundam. Inform. 154(1-4): 25-36 (2017) - [c27]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD 2017: 89-105 - [c26]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets 2017: 181-199 - 2016
- [j13]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. T. Petri Nets and Other Models of Concurrency 11: 49-70 (2016) - 2015
- [c25]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
- [j12]Serge Haddad, Jetty Kleijn, Lucia Pomello:
Preface. Fundam. Inform. 131(1) (2014) - [j11]Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello:
Closed Sets in Occurrence Nets with Conflicts. Fundam. Inform. 133(4): 323-344 (2014) - [j10]Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets and Other Models of Concurrency 9: 19-40 (2014) - [c24]Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi:
Morphisms on Marked Graphs. PNSE @ Petri Nets 2014: 113-127 - [c23]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular algebraic lattices related to combinatorial posets. ICTCS 2014: 241-245 - 2013
- [j9]Luca Bernardinello, Elisabetta Mangioni
, Lucia Pomello:
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets and Other Models of Concurrency 8: 48-70 (2013) - [c22]Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE 2013: 77-96 - 2012
- [c21]Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello:
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE 2012: 141-155 - [c20]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] - 2011
- [j8]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems. Electr. Notes Theor. Comput. Sci. 270(1): 147-154 (2011) - 2010
- [j7]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. Fundam. Inform. 105(3): 211-235 (2010)
2000 – 2009
- 2009
- [c19]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices in Occurrence Nets. Petri Nets 2009: 163-182 - [c18]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà:
Closure Operators Associated to Partially Ordered Sets. NCMA 2009: 47-60 - [c17]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. Inform. 85(1-4): 19-33 (2008) - 2007
- [j5]Luca Bernardinello, Elena Monticelli, Lucia Pomello:
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. Fundam. Inform. 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 Asp. 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 Inf. 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. Bulletin of the 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-12-06 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
