Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1599 | 762 |
h-indeks | 24 | 16 |
i10-indeks | 43 | 24 |
Dostęp publiczny
Wyświetl wszystko43 artykuły
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Igor KonnovIndependent Security and Formal Methods ResearcherZweryfikowany adres z konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienZweryfikowany adres z forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenZweryfikowany adres z in.tum.de
- Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
- Ayrat KhalimovTU ClausthalZweryfikowany adres z tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusZweryfikowany adres z cispa.saarland
- Martin BielyGoogleZweryfikowany adres z google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityZweryfikowany adres z cse.tamu.edu
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & InriaZweryfikowany adres z lsv.fr
- Florian ZulegerAssociate Professor, TU WienZweryfikowany adres z forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsZweryfikowany adres z mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLZweryfikowany adres z epfl.ch
- Thomas HenzingerIST AustriaZweryfikowany adres z ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074Zweryfikowany adres z irisa.fr
- Srikanth SastryGoogle IncZweryfikowany adres z csail.mit.edu