×
Edit Profile (opens in new tab)

Reichert, Julien

Co-Author Distance
Author ID: reichert.julien Recent zbMATH articles by "Reichert, Julien"
Published as: Reichert, Julien; Reichert, J.
Documents Indexed: 6 Publications since 2009
Co-Authors: 6 Co-Authors with 4 Joint Publications
195 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
2 Niskanen, Reino
2 Potapov, Igor
1 Arul, Arjun
1 Doyen, Laurent
1 Geeraerts, Gilles
1 Raskin, Jean-François

Serials

1 Journal of Computer and System Sciences
1 Fundamenta Informaticae

Fields

5 Computer science (68-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 20 times in 16 Documents Cited by ▼ Year ▼
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
4
2009
On the complexity of counter reachability games. Zbl 1357.68142
Reichert, Julien
4
2016
Undecidability of two-dimensional robot games. Zbl 1398.91012
Niskanen, Reino; Potapov, Igor; Reichert, Julien
4
2016
The complexity of robot games on the integer line. Zbl 1464.91027
Arul, Arjun; Reichert, Julien
4
2013
On decidability and complexity of low-dimensional robot games. Zbl 1436.91002
Niskanen, R.; Potapov, I.; Reichert, J.
3
2020
On the complexity of counter reachability games. Zbl 1355.68196
Reichert, Julien
1
2013
On decidability and complexity of low-dimensional robot games. Zbl 1436.91002
Niskanen, R.; Potapov, I.; Reichert, J.
3
2020
On the complexity of counter reachability games. Zbl 1357.68142
Reichert, Julien
4
2016
Undecidability of two-dimensional robot games. Zbl 1398.91012
Niskanen, Reino; Potapov, Igor; Reichert, Julien
4
2016
The complexity of robot games on the integer line. Zbl 1464.91027
Arul, Arjun; Reichert, Julien
4
2013
On the complexity of counter reachability games. Zbl 1355.68196
Reichert, Julien
1
2013
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
4
2009
all cited Publications top 5 cited Publications
all top 5

Cited by 29 Authors

7 Potapov, Igor
6 Niskanen, Reino
5 Halava, Vesa
4 Harju, Tero
3 Hélouët, Loïc
3 Markey, Nicolas
2 Raha, Ritam
1 Bouyer, Patricia
1 Bulychev, Peter E.
1 Chatterjee, Krishnendu
1 David, Alexandre
1 Deligkas, Argyrios
1 Ho, Hsi-Ming
1 Hofman, Piotr
1 Jančar, Petr
1 Jones, Timothy M.
1 Kecir, Karim
1 Larsen, Kim Guldstrand
1 Legay, Axel
1 Li, Guangyuan
1 Ortiz, James N.
1 Osicka, Petr
1 Randour, Mickael
1 Reichert, Julien
1 Sawa, Zdeněk
1 Schobbens, Pierre-Yves
1 Velner, Yaron
1 Zhou, Ruoyu
1 Zimmermann, Martin

Cited in 5 Serials

4 Information and Computation
2 Journal of Computer and System Sciences
1 Acta Informatica
1 International Journal of Foundations of Computer Science
1 Logical Methods in Computer Science

Cited in 5 Fields

16 Computer science (68-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Mathematical logic and foundations (03-XX)
1 Combinatorics (05-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year