Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 796 | 582 |
h-index | 14 | 12 |
i10-index | 19 | 16 |
Acces public
Afișați-le pe toate16 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupAdresă de e-mail confirmată pe bc.edu
- Nickolai ZeldovichAdresă de e-mail confirmată pe csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Adresă de e-mail confirmată pe mit.edu
- Ralf JungAssistant Professor, ETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonAdresă de e-mail confirmată pe wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Guy L. Steele Jr.Oracle LabsAdresă de e-mail confirmată pe oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityAdresă de e-mail confirmată pe cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityAdresă de e-mail confirmată pe cornell.edu
- Simon SpiesMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Amin TimanyAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Michael WickUniversity of MassachusettsAdresă de e-mail confirmată pe cs.umass.edu
- Daniel HuangAssistant ProfessorAdresă de e-mail confirmată pe sfsu.edu
Urmăriți
Joseph Tassarotti
Assistant Professor, New York University
Adresă de e-mail confirmată pe nyu.edu - Pagina de pornire