Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 405 | 271 |
Índice h | 9 | 7 |
Índice i10 | 9 | 5 |
Acesso público
Ver tudo15 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Martin OderskyEPFLEmail confirmado em epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureEmail confirmado em ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghEmail confirmado em sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgEmail confirmado em cse.gu.se
- Nada AminHarvard UniversityEmail confirmado em alum.mit.edu
- Tiark RompfPurdue UniversityEmail confirmado em purdue.edu
- Tobias HeindelTU BerlinEmail confirmado em tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLEmail confirmado em epfl.ch
- Samuel GruetterMITEmail confirmado em mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityEmail confirmado em msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteEmail confirmado em imdea.org
- Amir ShaikhhaUniversity of EdinburghEmail confirmado em ed.ac.uk
- Aggelos BiboudisOracleEmail confirmado em oracle.com
- Heather MillerCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu
- Olivier BlanvillainEPFLEmail confirmado em epfl.ch
- Vlad UrechePhD student, LAMP, EPFLEmail confirmado em epfl.ch
- Russ HarmerCNRS, LyonEmail confirmado em ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Email confirmado em tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamEmail confirmado em vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Email confirmado em tudelft.nl