Crea el meu perfil
Accés públic
Mostra-ho tot3 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueCorreu electrònic verificat a cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenCorreu electrònic verificat a science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenCorreu electrònic verificat a ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenCorreu electrònic verificat a uni-due.de
- Peter KoepkeProfessor of Mathematics, University of BonnCorreu electrònic verificat a math.uni-bonn.de
- Cezary KaliszykUniversity of InnsbruckCorreu electrònic verificat a uibk.ac.at
- Twan van LaarhovenRadboud University NijmegenCorreu electrònic verificat a cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartCorreu electrònic verificat a eprover.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsCorreu electrònic verificat a cs.ru.nl
- Sil C. van de LeemputPhD student RadboudumcCorreu electrònic verificat a radboudumc.nl