Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 405 | 271 |
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