Jakub Chaloupka

According to our database, Jakub Chaloupka authored at least 9 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P.

Jakub Chaloupka

Fundam. Informaticae, 2013

2011

Distributed Algorithms for SCC Decomposition.

Jiri Barnat, Jakub Chaloupka, Jaco van de Pol

J. Log. Comput., 2011

Faster algorithms for mean-payoff games.

Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin

Formal Methods Syst. Des., 2011

2010

Using Strategy Improvement to Stay Alive

Lubos Brim, Jakub Chaloupka

Proceedings of the Proceedings First Symposium on Games, 2010

2009

Faster Algorithm for Mean-Payoff Games.

Jakub Chaloupka, Lubos Brim

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation.

Jakub Chaloupka

Proceedings of the Algorithms, 2009

2007

Improved Distributed Algorithms for SCC Decomposition.

Jiri Barnat, Jakub Chaloupka, Jaco van de Pol

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

2004

From Distributed Memory Cycle Detection to Parallel LTL Model Checking.

Jiri Barnat, Lubos Brim, Jakub Chaloupka

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

2003

Parallel Breadth-First Search LTL Model-Checking.

Jiri Barnat, Lubos Brim, Jakub Chaloupka

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003