Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 407 | 273 |
h-index | 9 | 7 |
i10-indeks | 9 | 5 |
Offentlig adgang
Se alle15 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Martin OderskyEPFLVerificeret mail på epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerificeret mail på ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerificeret mail på sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerificeret mail på cse.gu.se
- Nada AminHarvard UniversityVerificeret mail på alum.mit.edu
- Tiark RompfPurdue UniversityVerificeret mail på purdue.edu
- Tobias HeindelTU BerlinVerificeret mail på tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLVerificeret mail på epfl.ch
- Samuel GruetterMITVerificeret mail på mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerificeret mail på msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerificeret mail på imdea.org
- Amir ShaikhhaUniversity of EdinburghVerificeret mail på ed.ac.uk
- Aggelos BiboudisOracleVerificeret mail på oracle.com
- Heather MillerCarnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Olivier BlanvillainEPFLVerificeret mail på epfl.ch
- Vlad UrechePhD student, LAMP, EPFLVerificeret mail på epfl.ch
- Russ HarmerCNRS, LyonVerificeret mail på ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verificeret mail på tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamVerificeret mail på vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verificeret mail på tudelft.nl