| |
| 2006 | ||
|---|---|---|
| 3 | EE | Agata Janowska, Pawel Janowski: Slicing of Timed Automata with Discrete Data. Fundam. Inform. 72(1-3): 181-195 (2006) |
| 2004 | ||
| 2 | EE | Agata Janowska, Pawel Janowski: Slicing Timed Systems. Fundam. Inform. 60(1-4): 187-210 (2004) |
| 2003 | ||
| 1 | EE | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS 2003: 278-283 |
| 1 | Piotr Dembinski | [1] |
| 2 | Agata Janowska | [1] [2] [3] |
| 3 | Wojciech Penczek | [1] |
| 4 | Agata Pólrola | [1] |
| 5 | Maciej Szreter | [1] |
| 6 | Bozena Wozna | [1] |
| 7 | Andrzej Zbrzezny | [1] |