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