Search the dblp DataBase

Publications of Author

1. Jiri Barnat, Lubos Brim, Jakub Chaloupka
   Parallel Breadth-First Search LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:106-115 [Conf]
   
2. Jiri Barnat, Lubos Brim, Jakub Chaloupka
   From Distributed Memory Cycle Detection to Parallel LTL Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:21-39 [Journal]
   
3. 
   Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. [Citation Graph (, )][DBLP]
   
   
4. 
   Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P. [Citation Graph (, )][DBLP]
   
   
5. 
   Faster Algorithm for Mean-Payoff Games. [Citation Graph (, )][DBLP]
   
   
6. 
   Using Strategy Improvement to Stay Alive [Citation Graph (, )][DBLP]
   
   
7. 
   Improved Distributed Algorithms for SCC Decomposition. [Citation Graph (, )][DBLP]