| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008) |
| 2005 | ||
| 2 | EE | Jiri Barnat, Lubos Brim, Jakub Chaloupka: From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electr. Notes Theor. Comput. Sci. 133: 21-39 (2005) |
| 2003 | ||
| 1 | EE | Jiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115 |
| 1 | Jiri Barnat | [1] [2] [3] |
| 2 | Lubos Brim | [1] [2] |
| 3 | Jaco van de Pol | [3] |