Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 694 | 279 |
Índice h | 11 | 7 |
Índice i10 | 11 | 7 |
Acesso público
Ver todos3 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueE-mail confirmado em cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenE-mail confirmado em science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenE-mail confirmado em uni-due.de
- Peter KoepkeProfessor of Mathematics, University of BonnE-mail confirmado em math.uni-bonn.de
- Cezary KaliszykUniversity of InnsbruckE-mail confirmado em uibk.ac.at
- Twan van LaarhovenRadboud University NijmegenE-mail confirmado em cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South WalesE-mail confirmado em cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mail confirmado em eprover.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsE-mail confirmado em cs.ru.nl
- Sil C. van de LeemputPhD student RadboudumcE-mail confirmado em radboudumc.nl