×

zbMATH — the first resource for mathematics

Chaloupka, Jakub

Compute Distance To:
Author ID: chaloupka.jakub Recent zbMATH articles by "Chaloupka, Jakub"
Published as: Chaloupka, Jakub; Chaloupka, J.
Documents Indexed: 8 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 46 times in 42 Documents Cited by Year
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
31
2011
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
5
2011
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P. Zbl 1287.68128
Chaloupka, Jakub
3
2010
Using strategy improvement to stay alive. Zbl 1246.91024
Brim, Luboş; Chaloupka, Jakub
3
2012
Faster algorithm for mean-payoff games. Zbl 1247.91007
Chaloupka, Jakub; Brim, Luboš
2
2009
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P. Zbl 1281.68160
Chaloupka, Jakub
2
2013
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P. Zbl 1281.68160
Chaloupka, Jakub
2
2013
Using strategy improvement to stay alive. Zbl 1246.91024
Brim, Luboş; Chaloupka, Jakub
3
2012
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
31
2011
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
5
2011
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P. Zbl 1287.68128
Chaloupka, Jakub
3
2010
Faster algorithm for mean-payoff games. Zbl 1247.91007
Chaloupka, Jakub; Brim, Luboš
2
2009
all top 5

Cited by 89 Authors

11 Chatterjee, Krishnendu
7 Raskin, Jean-François
5 Randour, Mickael
4 Brim, Luboš
4 Comin, Carlo
4 Doyen, Laurent
4 Larsen, Kim Guldstrand
4 Rauch Henzinger, Monika
4 Rizzi, Romeo
3 Bouyer, Patricia
3 Markey, Nicolas
2 Beneš, Nikola
2 Chaloupka, Jakub
2 Gentilini, Raffaella
2 Henzinger, Thomas A.
2 Hunter, Paul
2 Jobstmann, Barbara
2 Juhl, Line
2 Krinninger, Sebastian
2 Laursen, Simon
2 Nanongkai, Danupon
2 Pastva, Samuel
2 Pérez, Guillermo A.
2 Šafránek, David
2 Velner, Yaron
2 Zimmermann, Martín G.
1 Baldan, Paolo
1 Bérenguier, D.
1 Björnsson, Jóhann
1 Bloem, Roderick
1 Brihaye, Thomas
1 Bruyère, Véronique
1 Cairo, Massimo
1 Chaouiya, Claudine
1 Deepak, Maram Sai Krishna
1 Eggert, Richard
1 Fahrenberg, Uli
1 Filiot, Emmanuel
1 Gazda, Maciej W.
1 Geeraerts, Gilles
1 Ghorui, Debasish
1 Giesl, Peter
1 Gupta, Abhijit Kar
1 Gupta, Anshul
1 Haddad, Axel
1 Hafstein, Sigurður Freyr
1 Hagihara, Shigeki
1 Hofman, Piotr
1 Ibsen-Jensen, Rasmus
1 Joglekar, Manas R.
1 Jurdziński, Marcin
1 Kellett, Christopher M.
1 König, Barbara
1 Kößler, Alexander
1 Lafortune, Stéphane
1 Lazić, Ranko
1 Mondal, Prasenjit
1 Monmege, Benjamin
1 Monteiro, Pedro T.
1 Naldi, Aurélien
1 Neider, Daniel
1 Neogy, Samir Kumar
1 Niskanen, Reino
1 Padarthi, Bharath Kumar
1 Padoan, Tommaso
1 Pavlogiannis, Andreas
1 Posenato, Roberto
1 Potapov, Igor
1 Rabinovich, Alexander
1 Rabinovich, Roman
1 Reichert, Julien
1 Remy, Elisabeth
1 Schewe, Sven
1 Schmid, Ulrich
1 Schmitz, Sylvain
1 Shah, Nisarg
1 Shimakawa, Masaya
1 Singh, Rohit R.
1 Srba, Jiří
1 Svozil, Alexander
1 Thieffry, Denis
1 Tichit, Laurent
1 Tomita, Takashi
1 Trivedi, Ashutosh
1 Ueno, Atsushi
1 Weinert, Alexander
1 Willemse, Tim A. C.
1 Yin, Xiang
1 Yonezaki, Naoki

Citations by Year