Online Makespan Scheduling with Sublinear Advice. - Jérôme Dohrau (SOFSEM, 2015)

A zero-player graph game in NP $ cap$ coNP. - Jérôme Dohrau; Bernd Gärtner; Manuel Kohler; Jirí Matousek 001; Emo Welzl (CoRR, 2016)

Permission Inference for Array Programs. - Jérôme Dohrau; Alexander J. Summers; Caterina Urban; Severin Münger; Peter Müller 001 (CAV (2), 2018)

Automatic Inference of Permission Specifications. - Jérôme Dohrau (2022)