Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 797 | 583 |
h-indeks | 14 | 12 |
i10-indeks | 19 | 16 |
Dostęp publiczny
Wyświetl wszystko16 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupZweryfikowany adres z bc.edu
- Nickolai ZeldovichZweryfikowany adres z csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Zweryfikowany adres z mit.edu
- Ralf JungAssistant Professor, ETH ZürichZweryfikowany adres z inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonZweryfikowany adres z wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Guy L. Steele Jr.Oracle LabsZweryfikowany adres z oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityZweryfikowany adres z cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityZweryfikowany adres z cornell.edu
- Simon SpiesMPI-SWSZweryfikowany adres z mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z normalesup.org
- Amin TimanyAarhus UniversityZweryfikowany adres z cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Zweryfikowany adres z mpi-sws.org
- Michael WickUniversity of MassachusettsZweryfikowany adres z cs.umass.edu
- Daniel HuangAssistant ProfessorZweryfikowany adres z sfsu.edu
Obserwuj
Joseph Tassarotti
Assistant Professor, New York University
Zweryfikowany adres z nyu.edu - Strona główna