dblp.uni-trier.dewww.uni-trier.de

Pawel Janowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEAgata Janowska, Pawel Janowski, Dobieslaw Wróblewski: Translation of Intermediate Language to Timed Automata with Discrete Data. Fundam. Inform. 85(1-4): 235-248 (2008)
4EEWojciech Nabialek, Agata Janowska, Pawel Janowski: Translation of Timed Promela to Timed Automata with Discrete Data. Fundam. Inform. 85(1-4): 409-424 (2008)
2006
3EEAgata Janowska, Pawel Janowski: Slicing of Timed Automata with Discrete Data. Fundam. Inform. 72(1-3): 181-195 (2006)
2004
2EEAgata Janowska, Pawel Janowski: Slicing Timed Systems. Fundam. Inform. 60(1-4): 187-210 (2004)
2003
1EEPiotr 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

Coauthor Index

1Piotr Dembinski [1]
2Agata Janowska [1] [2] [3] [4] [5]
3Wojciech Nabialek [4]
4Wojciech Penczek [1]
5Agata Pólrola [1]
6Maciej Szreter [1]
7Bozena Wozna [1]
8Dobieslaw Wróblewski [5]
9Andrzej Zbrzezny [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)