Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 1604 | 767 |
h-indeks | 24 | 16 |
i10-indeks | 44 | 25 |
Offentlig tilgang
Vis alle43 artikler
1 artikkel
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Igor KonnovIndependent Security and Formal Methods ResearcherVerifisert e-postadresse på konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifisert e-postadresse på forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenVerifisert e-postadresse på in.tum.de
- Roderick BloemGraz University of TechnologyVerifisert e-postadresse på iaik.tugraz.at
- Ayrat KhalimovTU ClausthalVerifisert e-postadresse på tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerifisert e-postadresse på cispa.saarland
- Martin BielyGoogleVerifisert e-postadresse på google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityVerifisert e-postadresse på cse.tamu.edu
- Matthias FüggerCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerifisert e-postadresse på lmf.cnrs.fr
- Florian ZulegerAssociate Professor, TU WienVerifisert e-postadresse på forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerifisert e-postadresse på mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLVerifisert e-postadresse på epfl.ch
- Thomas HenzingerIST AustriaVerifisert e-postadresse på ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074Verifisert e-postadresse på irisa.fr
- Srikanth SastryGoogle IncVerifisert e-postadresse på csail.mit.edu