Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2334 | 774 |
h-index | 29 | 15 |
i10-index | 46 | 22 |
Nyilvános hozzáférés
Összes megtekintése22 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsE-mail megerősítve itt: mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityE-mail megerősítve itt: informatik.uni-freiburg.de
- Siddharth KrishnaIndependent ResearcherE-mail megerősítve itt: cs.nyu.edu
- Viktor KunčakEPFLE-mail megerősítve itt: epfl.ch
- Martin SchaefAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Ruzica PiskacAssociate ProfessorE-mail megerősítve itt: yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSE-mail megerősítve itt: courant.nyu.edu
- Thomas HenzingerIST AustriaE-mail megerősítve itt: ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityE-mail megerősítve itt: cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mail megerősítve itt: amazon.com
- Zvonimir PavlinovicPhD student, New York UniversityE-mail megerősítve itt: cs.nyu.edu
- martin rinardMITE-mail megerősítve itt: lcs.mit.edu
- vasu singhE-mail megerősítve itt: bmw.de
- Prateek MittalProfessor, Princeton UniversityE-mail megerősítve itt: princeton.edu
- Anmol SinghBMW GroupE-mail megerősítve itt: bmw.de
- Tim KingGoogle IncE-mail megerősítve itt: google.com
- Michael WalfishProfessor of Computer Science, NYUE-mail megerősítve itt: cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAISTE-mail megerősítve itt: kaist.ac.kr
- Peter O'HearnLacework and University College LondonE-mail megerősítve itt: ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonE-mail megerősítve itt: cs.ucl.ac.uk