Parallel Breadth-First Search LTL Model-Checking. - Jiri Barnat; Lubos Brim; Jakub Chaloupka (ASE, 2003)

From Distributed Memory Cycle Detection to Parallel LTL Model Checking. - Jiri Barnat; Lubos Brim; Jakub Chaloupka (FMICS, 2004)

Improved Distributed Algorithms for SCC Decomposition. - Jiri Barnat; Jakub Chaloupka; Jaco van de Pol (PDMC@CAV, 2007)

Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. - Jakub Chaloupka (ESA, 2009)

Faster Algorithm for Mean-Payoff Games. - Jakub Chaloupka; Lubos Brim (MEMICS, 2009)

Faster algorithms for mean-payoff games. - Lubos Brim; Jakub Chaloupka; Laurent Doyen 001; Raffaella Gentilini; Jean-François Raskin (Formal Methods Syst. Des., 2011)

Distributed Algorithms for SCC Decomposition. - Jiri Barnat; Jakub Chaloupka; Jaco van de Pol (J. Log. Comput., 2011)

Using Strategy Improvement to Stay Alive. - Lubos Brim; Jakub Chaloupka (Int. J. Found. Comput. Sci., 2012)

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P. - Jakub Chaloupka (Fundam. Informaticae, 2013)