Jakub Chaloupka

Faster algorithms for mean-payoff games

Luboš Brim, Jakub Chaloupka, Laurent Doyen et al. · Formal Methods in System Design · 2010 · 134 citations

Social Sciences, Computer Science, Economics +11

Distributed Algorithms for SCC Decomposition

Jǐŕı Barnat, Jakub Chaloupka, Jaco van de Pol · Journal of Logic and Computation · 2009 · 40 citations · Full text

Computing, Computer Engineering, Computer Science +6

Parallel breadth-first search LTL model-checking

J. Barnat, Luboš Brim, Jakub Chaloupka · 2004 · 33 citations

Computing, Computer Engineering, Computer Science +7

Improved Distributed Algorithms for SCC Decomposition

Jakub Chaloupka, Jaco van de Pol · Electronic Notes in Theoretical Computer Science · 2008 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +11

From Distributed Memory Cycle Detection to Parallel LTL Model Checking

Jǐŕı Barnat, Luboš Brim, Jakub Chaloupka · Electronic Notes in Theoretical Computer Science · 2005 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +15