Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenVerified email at science.ru.nl
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenVerified email at uni-due.de
Peter KoepkeProfessor of Mathematics, University of BonnVerified email at math.uni-bonn.de
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Twan van LaarhovenRadboud University NijmegenVerified email at cs.ru.nl
David GreenawayNICTA and School of Computer Science, University of New South WalesVerified email at cse.unsw.edu.au
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Sil C. van de LeemputPhD student RadboudumcVerified email at radboudumc.nl