2008 |
11 | EE | Philippe Darondeau,
Maciej Koutny,
Marta Pietkiewicz-Koutny,
Alexandre Yakovlev:
Synthesis of Nets with Step Firing Policies.
Petri Nets 2008: 112-131 |
10 | EE | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Fundam. Inform. 88(3): 307-328 (2008) |
2007 |
9 | EE | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
ICATPN 2007: 281-300 |
2006 |
8 | EE | Maciej Koutny,
Giuseppe Pappalardo,
Marta Pietkiewicz-Koutny:
Towards an Algebra of Abstractions for Communicating Processes.
ACSD 2006: 239-250 |
7 | EE | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Localities.
CONCUR 2006: 173-187 |
2002 |
6 | | Marta Pietkiewicz-Koutny:
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
Fundam. Inform. 50(2): 175-203 (2002) |
2001 |
5 | EE | Marta Pietkiewicz-Koutny:
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.
ACSD 2001: 245-254 |
1999 |
4 | | Marta Pietkiewicz-Koutny:
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs.
Fundam. Inform. 40(2-3): 251-283 (1999) |
1998 |
3 | EE | Marta Pietkiewicz-Koutny:
Synthesis of ENI-systems Using Minimal Regions.
CONCUR 1998: 565-580 |
1997 |
2 | | Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Inhibitor Arcs.
ICATPN 1997: 310-327 |
1996 |
1 | | Alexandre Yakovlev,
Michael Kishinevsky,
Alex Kondratyev,
Luciano Lavagno,
Marta Pietkiewicz-Koutny:
On the Models for Asynchronous Circuit Behaviour with OR Causality.
Formal Methods in System Design 9(3): 189-233 (1996) |