Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 791 | 577 |
indice h | 14 | 12 |
indice i10 | 19 | 16 |
Accès public
Tout afficher16 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupAdresse e-mail validée de bc.edu
- Nickolai ZeldovichAdresse e-mail validée de csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Adresse e-mail validée de mit.edu
- Ralf JungAssistant Professor, ETH ZürichAdresse e-mail validée de inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonAdresse e-mail validée de wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Guy L. Steele Jr.Oracle LabsAdresse e-mail validée de oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityAdresse e-mail validée de cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityAdresse e-mail validée de cornell.edu
- Simon SpiesMPI-SWSAdresse e-mail validée de mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
- Amin TimanyAarhus UniversityAdresse e-mail validée de cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
- Michael WickUniversity of MassachusettsAdresse e-mail validée de cs.umass.edu
- Daniel HuangAssistant ProfessorAdresse e-mail validée de sfsu.edu
Suivre
Joseph Tassarotti
Assistant Professor, New York University
Adresse e-mail validée de nyu.edu - Page d'accueil