Jérôme Dohrau
Jérôme Dohrau
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
Online makespan scheduling with sublinear advice
J Dohrau
International Conference on Current Trends in Theory and Practice of …, 2015
152015
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, 367-374, 2017
8*2017
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, 367-374, 2017
8*2017
Permission inference for array programs
J Dohrau, AJ Summers, C Urban, S Münger, P Müller
International Conference on Computer Aided Verification, 55-74, 2018
72018
A zero-player graph game in NP∩ coNP
J Dohrau, B Gärtner, M Kohler, J Matoušek, E Welzl
arXiv preprint arXiv: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–7