Jérôme Dohrau

According to our database, Jérôme Dohrau authored at least 4 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Automatic Inference of Permission Specifications.

Jérôme Dohrau

PhD thesis, 2022

2018

Permission Inference for Array Programs.

Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

A zero-player graph game in NP $\cap$ coNP.

Jérôme Dohrau, Bernd Gärtner, Manuel Kohler, Jirí Matousek, Emo Welzl

CoRR, 2016

2015

Online Makespan Scheduling with Sublinear Advice.

Jérôme Dohrau

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015