Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 401 | 267 |
h-indeks | 9 | 7 |
i10-indeks | 9 | 5 |
Dostęp publiczny
Wyświetl wszystko15 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Martin OderskyEPFLZweryfikowany adres z epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureZweryfikowany adres z ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghZweryfikowany adres z sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgZweryfikowany adres z cse.gu.se
- Nada AminHarvard UniversityZweryfikowany adres z alum.mit.edu
- Tiark RompfPurdue UniversityZweryfikowany adres z purdue.edu
- Tobias HeindelTU BerlinZweryfikowany adres z tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLZweryfikowany adres z epfl.ch
- Samuel GruetterMITZweryfikowany adres z mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityZweryfikowany adres z msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteZweryfikowany adres z imdea.org
- Amir ShaikhhaUniversity of EdinburghZweryfikowany adres z ed.ac.uk
- Aggelos BiboudisOracleZweryfikowany adres z oracle.com
- Heather MillerCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Olivier BlanvillainEPFLZweryfikowany adres z epfl.ch
- Vlad UrechePhD student, LAMP, EPFLZweryfikowany adres z epfl.ch
- Russ HarmerCNRS, LyonZweryfikowany adres z ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Zweryfikowany adres z tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamZweryfikowany adres z vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Zweryfikowany adres z tudelft.nl