Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1599 | 762 |
Índice h | 24 | 16 |
Índice i10 | 43 | 24 |
Acesso público
Ver todos43 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mail confirmado em konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail confirmado em forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenE-mail confirmado em in.tum.de
- Roderick BloemGraz University of TechnologyE-mail confirmado em iaik.tugraz.at
- Ayrat KhalimovTU ClausthalE-mail confirmado em tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusE-mail confirmado em cispa.saarland
- Martin BielyGoogleE-mail confirmado em google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityE-mail confirmado em cse.tamu.edu
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & InriaE-mail confirmado em lsv.fr
- Florian ZulegerAssociate Professor, TU WienE-mail confirmado em forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsE-mail confirmado em mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLE-mail confirmado em epfl.ch
- Thomas HenzingerIST AustriaE-mail confirmado em ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074E-mail confirmado em irisa.fr
- Srikanth SastryGoogle IncE-mail confirmado em csail.mit.edu