Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 694 | 279 |
Índice h | 11 | 7 |
Índice i10 | 11 | 7 |
Acceso público
Ver todo3 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueDirección de correo verificada de cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenDirección de correo verificada de science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenDirección de correo verificada de uni-due.de
- Peter KoepkeProfessor of Mathematics, University of BonnDirección de correo verificada de math.uni-bonn.de
- Cezary KaliszykUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Twan van LaarhovenRadboud University NijmegenDirección de correo verificada de cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartDirección de correo verificada de eprover.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsDirección de correo verificada de cs.ru.nl
- Sil C. van de LeemputPhD student RadboudumcDirección de correo verificada de radboudumc.nl