Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2334 | 774 |
indice h | 29 | 15 |
indice i10 | 46 | 22 |
Accès public
Tout afficher22 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsAdresse e-mail validée de mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresse e-mail validée de informatik.uni-freiburg.de
- Siddharth KrishnaIndependent ResearcherAdresse e-mail validée de cs.nyu.edu
- Viktor KunčakEPFLAdresse e-mail validée de epfl.ch
- Martin SchaefAmazon Web ServicesAdresse e-mail validée de amazon.com
- Ruzica PiskacAssociate ProfessorAdresse e-mail validée de yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSAdresse e-mail validée de courant.nyu.edu
- Thomas HenzingerIST AustriaAdresse e-mail validée de ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityAdresse e-mail validée de cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSAdresse e-mail validée de amazon.com
- Zvonimir PavlinovicPhD student, New York UniversityAdresse e-mail validée de cs.nyu.edu
- martin rinardMITAdresse e-mail validée de lcs.mit.edu
- vasu singhAdresse e-mail validée de bmw.de
- Prateek MittalProfessor, Princeton UniversityAdresse e-mail validée de princeton.edu
- Anmol SinghBMW GroupAdresse e-mail validée de bmw.de
- Tim KingGoogle IncAdresse e-mail validée de google.com
- Michael WalfishProfessor of Computer Science, NYUAdresse e-mail validée de cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAISTAdresse e-mail validée de kaist.ac.kr
- Peter O'HearnLacework and University College LondonAdresse e-mail validée de ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonAdresse e-mail validée de cs.ucl.ac.uk