Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 406 | 272 |
h-indeks | 9 | 7 |
i10-indeks | 9 | 5 |
Offentlig tilgang
Vis alle15 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Martin OderskyEPFLVerifisert e-postadresse på epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerifisert e-postadresse på ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerifisert e-postadresse på sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerifisert e-postadresse på cse.gu.se
- Nada AminHarvard UniversityVerifisert e-postadresse på alum.mit.edu
- Tiark RompfPurdue UniversityVerifisert e-postadresse på purdue.edu
- Tobias HeindelTU BerlinVerifisert e-postadresse på tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLVerifisert e-postadresse på epfl.ch
- Samuel GruetterMITVerifisert e-postadresse på mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerifisert e-postadresse på msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerifisert e-postadresse på imdea.org
- Amir ShaikhhaUniversity of EdinburghVerifisert e-postadresse på ed.ac.uk
- Aggelos BiboudisOracleVerifisert e-postadresse på oracle.com
- Heather MillerCarnegie Mellon UniversityVerifisert e-postadresse på cs.cmu.edu
- Olivier BlanvillainEPFLVerifisert e-postadresse på epfl.ch
- Vlad UrechePhD student, LAMP, EPFLVerifisert e-postadresse på epfl.ch
- Russ HarmerCNRS, LyonVerifisert e-postadresse på ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verifisert e-postadresse på tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamVerifisert e-postadresse på vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifisert e-postadresse på tudelft.nl