 | 2011 |
|---|
| 17 |       | Luca Bernardinello,
Lucia Pomello,
Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems.
Electr. Notes Theor. Comput. Sci. 270(1): 147-154 (2011) |
| 2010 |
|---|
| 16 | | 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 |
|---|
| 15 | | Luca Bernardinello,
Lucia Pomello,
Stefania Rombolà:
Orthomodular Lattices Induced by the Concurrency Relation
DCM 2009: 12-21 |
| 14 |  | Luca Bernardinello,
Carlo Ferigato,
Lucia Pomello,
Stefania Rombolà:
Closure Operators Associated to Partially Ordered Sets.
NCMA 2009: 47-60 |
| 13 | | Luca Bernardinello,
Lucia Pomello,
Stefania Rombolà:
Orthomodular Lattices in Occurrence Nets.
Petri Nets 2009: 163-182 |
| 2008 |
|---|
| 12 | | 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 |
|---|
| 11 | | 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 |
| 10 | | 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) |
| 2004 |
|---|
| 9 | | Lucia Pomello,
Luca Bernardinello:
Formal Tools for Modular System Development.
ICATPN 2004: 77-96 |
| 8 | | Marek A. Bednarczyk,
Luca Bernardinello,
Wieslaw Pawlowski,
Lucia Pomello:
Modelling Mobility with Petri Hypernets.
WADT 2004: 28-44 |
| 2003 |
|---|
| 7 | | Marek A. Bednarczyk,
Luca Bernardinello,
Benoît Caillaud,
Wieslaw Pawlowski,
Lucia Pomello:
Modular System Development with Pullbacks.
ICATPN 2003: 140-160 |
| 6 | | Luca Bernardinello,
Carlo Ferigato,
Lucia Pomello:
An algebraic model of observable properties in distributed systems.
Theor. Comput. Sci. 290(1): 637-668 (2003) |
| 1997 |
|---|
| 5 | | Luca Bernardinello,
Lucia Pomello:
A Category of Transition Systems and Its Relations with Orthomodular Posets.
MFCS 1997: 139-148 |
| 4 | | Eric Badouel,
Luca Bernardinello,
Philippe Darondeau:
The Synthesis Problem for Elementary Net Systems is NP-Complete.
Theor. Comput. Sci. 186(1-2): 107-134 (1997) |
| 1995 |
|---|
| 3 | | Eric Badouel,
Luca Bernardinello,
Philippe Darondeau:
Polynomial Algorithms for the Synthesis of Bounded Nets.
TAPSOFT 1995: 364-378 |
| 1993 |
|---|
| 2 | | Luca Bernardinello:
Synthesis of Net Systems.
Application and Theory of Petri Nets 1993: 89-105 |
| 1992 |
|---|
| 1 | | Luca Bernardinello,
Fiorella de Cindio:
A survey of basic net models and modular net classes.
Advances in Petri Nets: The DEMON Project 1992: 304-351 |
Data released under the ODC-BY 1.0 license — See also our legal information page