| |
| 2004 | ||
|---|---|---|
| 5 | EE | Claus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121 |
| 2003 | ||
| 4 | EE | Claus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472 |
| 2001 | ||
| 3 | EE | Javier Esparza, Claus Schröter: Net Reductions for LTL Model-Checking. CHARME 2001: 310-324 |
| 2 | Javier Esparza, Claus Schröter: Unfolding Based Algorithms for the Reachability Problem. Fundam. Inform. 47(3-4): 231-245 (2001) | |
| 1998 | ||
| 1 | Sergei Hludov, Claus Schröter, Christoph Meinel: Adaptive compression of image data. SYBEN 1998: 520-527 | |
| 1 | Javier Esparza | [2] [3] [4] |
| 2 | Sergei Hludov | [1] |
| 3 | Victor Khomenko | [5] |
| 4 | Christoph Meinel | [1] |
| 5 | Stefan Schwoon | [4] |