Follow
Jérôme Dohrau
Jérôme Dohrau
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
ARRIVAL: a zero-player graph game in NP∩ coNP
J Dohrau, B Gärtner, M Kohler, J Matou¹ek, E Welzl
A Journey Through Discrete Mathematics: A Tribute to Jiøí Matou¹ek, 367-374, 2017
202017
ARRIVAL: a zero-player graph game in NP∩ coNP
J Dohrau, B Gärtner, M Kohler, J Matou¹ek, E Welzl
A Journey Through Discrete Mathematics: A Tribute to Jiøí Matou¹ek, 367-374, 2017
202017
Online makespan scheduling with sublinear advice
J Dohrau
International Conference on Current Trends in Theory and Practice of …, 2015
192015
Permission inference for array programs
J Dohrau, AJ Summers, C Urban, S Münger, P Müller
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
142018
Automatic Inference of Permission Specifications
J Dohrau
ETH Zurich, 2022
22022
A zero-player graph game in NP∩ coNP
J Dohrau, B Gärtner, M Kohler, J Matou¹ek, E Welzl
CoRR, abs/1605.03546, 2016
22016
Static Analysis of GPU Kernel Performance Hyperproperties
M Blarer, M Eilers, J Dohrau, P Müller
2019
Refining and Applying a Framework for Automatic Inference of Hyperproperties
M Blarer, M Eilers, J Dohrau, P Müller
2019
The system can't perform the operation now. Try again later.
Articles 1–8