J\'er\^ome Dohrau
Identifiers
No identifiers captured yet.
Papers (2)
- Permission Inference for Array Programs cs.PL · 2018 · author #1
- ARRIVAL: A zero-player graph game in NP $\cap$ coNP cs.CC · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Alexander J. Summers 1 shared papers
- Bernd G\"artner 1 shared papers
- Caterina Urban 1 shared papers
- Emo Welzl 1 shared papers
- Ji\v{r}\'i Matou\v{s}ek 1 shared papers
- Manuel Kohler 1 shared papers
- Peter M\"uller 1 shared papers
- Severin M\"unger 1 shared papers