- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| e1 |      | Serge Haddad, Lucia Pomello (Eds.): 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 |
| 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) |
| 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 |
| 2004 | ||
| c15 | | |
| c14 | | 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) |
| c13 | | Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160 |
| 1999 | ||
| c12 | | C. Balzarotti, Fiorella de Cindio, Lucia Pomello: Observation equivalences for the semantics of inheritance. FMOODS 1999 |
| 1997 | ||
| c11 | | 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) |
| c10 | | 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) |
| 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 Communicationg Systmes 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 |
Colors in the list of coauthors
Last update Wed May 22 12:23:46 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page