Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 665 | 302 |
Índice h | 12 | 9 |
Índice i10 | 15 | 8 |
Acesso público
Ver todos10 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail confirmado em informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityE-mail confirmado em aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail confirmado em forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraE-mail confirmado em imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- Tomas BalyoFiluta AIE-mail confirmado em filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredE-mail confirmado em uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaE-mail confirmado em cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooE-mail confirmado em uwaterloo.ca
- Dr. Adrian BalintUlm University