Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 401 | 267 |
h-index | 9 | 7 |
i10-index | 9 | 5 |
Nyilvános hozzáférés
Összes megtekintése15 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Martin OderskyEPFLE-mail megerősítve itt: epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureE-mail megerősítve itt: ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghE-mail megerősítve itt: sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mail megerősítve itt: cse.gu.se
- Nada AminHarvard UniversityE-mail megerősítve itt: alum.mit.edu
- Tiark RompfPurdue UniversityE-mail megerősítve itt: purdue.edu
- Tobias HeindelTU BerlinE-mail megerősítve itt: tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLE-mail megerősítve itt: epfl.ch
- Samuel GruetterMITE-mail megerősítve itt: mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityE-mail megerősítve itt: msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteE-mail megerősítve itt: imdea.org
- Amir ShaikhhaUniversity of EdinburghE-mail megerősítve itt: ed.ac.uk
- Aggelos BiboudisOracleE-mail megerősítve itt: oracle.com
- Heather MillerCarnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Olivier BlanvillainEPFLE-mail megerősítve itt: epfl.ch
- Vlad UrechePhD student, LAMP, EPFLE-mail megerősítve itt: epfl.ch
- Russ HarmerCNRS, LyonE-mail megerősítve itt: ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)E-mail megerősítve itt: tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamE-mail megerősítve itt: vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail megerősítve itt: tudelft.nl