Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2009 | 729 |
Índice h | 24 | 15 |
Índice i10 | 45 | 26 |
Acesso público
Ver todos38 artigos
3 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenE-mail confirmado em di.ku.dk
- Johannes HölzlE-mail confirmado em in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteE-mail confirmado em gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignE-mail confirmado em illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail confirmado em illinois.edu
- Nicholas SmallboneChalmers University of TechnologyE-mail confirmado em chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityE-mail confirmado em imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestE-mail confirmado em unibuc.ro
- Ioana LeusteanProfessor, University of BucharestE-mail confirmado em fmi.unibuc.ro
- Markus N RabeStartupE-mail confirmado em augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail confirmado em cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceE-mail confirmado em dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenE-mail confirmado em in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauE-mail confirmado em uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mail confirmado em kerguelen.org