Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 407 | 273 |
h-індекс | 9 | 7 |
i10-індекс | 9 | 5 |
Доступні для всіх
Переглянути всі15 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Martin OderskyEPFLПідтверджена електронна адреса в epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureПідтверджена електронна адреса в ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghПідтверджена електронна адреса в sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgПідтверджена електронна адреса в cse.gu.se
- Nada AminHarvard UniversityПідтверджена електронна адреса в alum.mit.edu
- Tiark RompfPurdue UniversityПідтверджена електронна адреса в purdue.edu
- Tobias HeindelTU BerlinПідтверджена електронна адреса в tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLПідтверджена електронна адреса в epfl.ch
- Samuel GruetterMITПідтверджена електронна адреса в mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityПідтверджена електронна адреса в msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteПідтверджена електронна адреса в imdea.org
- Amir ShaikhhaUniversity of EdinburghПідтверджена електронна адреса в ed.ac.uk
- Aggelos BiboudisOracleПідтверджена електронна адреса в oracle.com
- Heather MillerCarnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Olivier BlanvillainEPFLПідтверджена електронна адреса в epfl.ch
- Vlad UrechePhD student, LAMP, EPFLПідтверджена електронна адреса в epfl.ch
- Russ HarmerCNRS, LyonПідтверджена електронна адреса в ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Підтверджена електронна адреса в tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamПідтверджена електронна адреса в vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Підтверджена електронна адреса в tudelft.nl