Jakub Chaloupka

2011

Jiří Barnat, Jakub Chaloupka, and Jaco van de Pol:
Distributed Algorithms for SCC Decomposition,
Journal of Logic and Computation, 2011. [bibtex, url]

2010

Jiří Barnat, Jakub Chaloupka, and Jaco van de Pol:
Distributed Algorithms for SCC Decomposition,
Journal of Logic and Computation, 2010. [bibtex, url]

2008

Jiří Barnat, Jakub Chaloupka, and Jaco van de Pol:
Improved Distributed Algorithms for SCC Decomposition,
ENTCS, 2008, 63–77. [bibtex]

Jiří Barnat, Jakub Chaloupka, and Jaco van de Pol:
Improved Distributed Algorithms for SCC Decomposition,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers B. V., 2008, 63–77. [bibtex, url]

2005

Jiří Barnat, Luboš Brim, and Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2005, 21–39. [bibtex]

2003

Jiří Barnat, Luboš Brim, and Jakub Chaloupka:
Parallel Breadth-First Search LTL Model-Checking,
18th IEEE International Conference on Automated Software Engineering (ASE’03), IEEE Computer Society, 2003, 106–115. [bibtex]