2008 |
12 | EE | 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 | EE | 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 | EE | 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 | EE | Lucia Pomello,
Luca Bernardinello:
Formal Tools for Modular System Development.
ICATPN 2004: 77-96 |
8 | EE | Marek A. Bednarczyk,
Luca Bernardinello,
Wieslaw Pawlowski,
Lucia Pomello:
Modelling Mobility with Petri Hypernets.
WADT 2004: 28-44 |
2003 |
7 | EE | 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 | EE | 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 |