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 InnsbruckVerified email at uibk.ac.at
- 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