Concepedia

Jakub Chaloupka

JC

7

Publications

258

Citations

7

H-Index

2004

Active since

Affiliations

Masaryk University(Current)

Jakub Chaloupka is an author at Masaryk University specializing in computer science, engineering, and algorithmic game theory.

Top concepts

EngineeringComputer ScienceGamesBusinessGame TheoryMechanism DesignAlgorithmic Game TheoryComputational Game TheoryCombinatorial OptimizationVerification

Publications per year

2004–2013

7

Publications

7

Faster algorithms for mean-payoff games

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

Engineering, Mean Field Game, Game Theory +8

Distributed Algorithms for SCC Decomposition

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

Parallel breadth-first search LTL model-checking

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

Cluster Computing, Engineering, Verification +20

Improved Distributed Algorithms for SCC Decomposition

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

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

Engineering, Verification, Computer Architecture +20

Rows per page

1–5 of 7