Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 796 | 582 |
h-index | 14 | 12 |
i10-index | 19 | 16 |
Nyilvános hozzáférés
Összes megtekintése16 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupE-mail megerősítve itt: bc.edu
- Nickolai ZeldovichE-mail megerősítve itt: csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)E-mail megerősítve itt: mit.edu
- Ralf JungAssistant Professor, ETH ZürichE-mail megerősítve itt: inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonE-mail megerősítve itt: wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail megerősítve itt: cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Guy L. Steele Jr.Oracle LabsE-mail megerősítve itt: oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityE-mail megerősítve itt: cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityE-mail megerősítve itt: cornell.edu
- Simon SpiesMPI-SWSE-mail megerősítve itt: mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail megerősítve itt: normalesup.org
- Amin TimanyAarhus UniversityE-mail megerősítve itt: cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail megerősítve itt: mpi-sws.org
- Michael WickUniversity of MassachusettsE-mail megerősítve itt: cs.umass.edu
- Daniel HuangAssistant ProfessorE-mail megerősítve itt: sfsu.edu
Követés