Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 793 | 579 |
Índice h | 14 | 12 |
Índice i10 | 19 | 16 |
Acesso público
Ver todos16 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupE-mail confirmado em bc.edu
- Nickolai ZeldovichE-mail confirmado em csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)E-mail confirmado em mit.edu
- Ralf JungAssistant Professor, ETH ZürichE-mail confirmado em inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonE-mail confirmado em wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail confirmado em mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mail confirmado em andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Guy L. Steele Jr.Oracle LabsE-mail confirmado em oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityE-mail confirmado em cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityE-mail confirmado em cornell.edu
- Simon SpiesMPI-SWSE-mail confirmado em mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Amin TimanyAarhus UniversityE-mail confirmado em cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Michael WickUniversity of MassachusettsE-mail confirmado em cs.umass.edu
- Daniel HuangAssistant ProfessorE-mail confirmado em sfsu.edu
Seguir
Joseph Tassarotti
Assistant Professor, New York University
E-mail confirmado em nyu.edu - Página inicial