Jérôme Dohrau
From MaRDI portal
Person:4604380
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Permission inference for array programs Computer Aided Verification | 2023-05-05 | Paper |
| ARRIVAL: a zero-player graph game in \(\text{NP}\cap \text{coNP}\) A Journey Through Discrete Mathematics | 2018-02-26 | Paper |
| Online makespan scheduling with sublinear advice Lecture Notes in Computer Science | 2015-02-20 | Paper |
Research outcomes over time
This page was built for person: Jérôme Dohrau
