Crear mi propio perfil
Citado por
Total | Desde 2020 | |
---|---|---|
Citas | 732 | 246 |
Índice h | 11 | 6 |
Índice i10 | 11 | 6 |
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 MelbourneDirección de correo verificada de unimelb.edu.au
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