Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 407 | 273 |
indeks-h | 9 | 7 |
indeks-i10 | 9 | 5 |
Akses publik
Lihat semua15 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Martin OderskyEPFLEmail yang diverifikasi di epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureEmail yang diverifikasi di ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghEmail yang diverifikasi di sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgEmail yang diverifikasi di cse.gu.se
- Nada AminHarvard UniversityEmail yang diverifikasi di alum.mit.edu
- Tiark RompfPurdue UniversityEmail yang diverifikasi di purdue.edu
- Tobias HeindelTU BerlinEmail yang diverifikasi di tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLEmail yang diverifikasi di epfl.ch
- Samuel GruetterMITEmail yang diverifikasi di mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityEmail yang diverifikasi di msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteEmail yang diverifikasi di imdea.org
- Amir ShaikhhaUniversity of EdinburghEmail yang diverifikasi di ed.ac.uk
- Aggelos BiboudisOracleEmail yang diverifikasi di oracle.com
- Heather MillerCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Olivier BlanvillainEPFLEmail yang diverifikasi di epfl.ch
- Vlad UrechePhD student, LAMP, EPFLEmail yang diverifikasi di epfl.ch
- Russ HarmerCNRS, LyonEmail yang diverifikasi di ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Email yang diverifikasi di tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamEmail yang diverifikasi di vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Email yang diverifikasi di tudelft.nl