| 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 | 22 | 2017 |
| Online makespan scheduling with sublinear advice J Dohrau International Conference on Current Trends in Theory and Practice of …, 2015 | 17 | 2015 |
| 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 | 15 | 2018 |
| Automatic Inference of Permission Specifications J Dohrau ETH Zurich, 2022 | 4 | 2022 |
| Online makespan scheduling with sublinear advice J Dohrau ETH Zurich, 2013 | 3 | 2013 |
| 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 | 2 | 2016 |
| 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 |
