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