- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Jakub Chaloupka: Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. ESA 2009: 599-610 |
| 2008 | ||
| 3 | | 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 | | 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 | | 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] |