Search Results - "Dohrau, Jérôme" :: K.UTB vyhledávací portál

Permission Inference for Array Programs

by Dohrau, Jérôme, Summers, Alexander J, Urban, Caterina, Münger, Severin, Müller, Peter
Year of Publication 11.04.2018

Get full text

Journal Article

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

by Dohrau, Jérôme, Gärtner, Bernd, Kohler, Manuel, Matoušek, Jiří, Welzl, Emo
Year of Publication 11.05.2016

Get full text

Journal Article

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

by Dohrau, Jérôme, Gärtner, Bernd, Kohler, Manuel, Matoušek, Jiří, Welzl, Emo
Published in arXiv.org (23.06.2017)

Get full text

Paper

by Dohrau, Jérôme, Summers, Alexander J, Urban, Caterina, Münger, Severin, Müller, Peter
Published in arXiv.org (11.04.2018)

Get full text

Paper