Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 14931 | 2784 |
h-індекс | 55 | 28 |
i10-індекс | 109 | 55 |
Доступні для всіх
Переглянути всі13 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Stephen FreundComputer Science, Williams CollegeПідтверджена електронна адреса в cs.williams.edu
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityПідтверджена електронна адреса в felleisen.org
- Shaz QadeerSoftware Engineer, MetaПідтверджена електронна адреса в meta.com
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityПідтверджена електронна адреса в bias2build.com
- Tim DisneyUniversity of California Santa CruzПідтверджена електронна адреса в ucsc.edu
- Mark LillibridgeFacebookПідтверджена електронна адреса в cs.cmu.edu
- Caitlin SadowskiGoogleПідтверджена електронна адреса в google.com
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzПідтверджена електронна адреса в cs.ucsc.edu
- Patrice GodefroidLaceworkПідтверджена електронна адреса в lacework.net
- Robert Bruce FindlerNorthwestern UniversityПідтверджена електронна адреса в cs.northwestern.edu
- Amr SabryProfessor of Computer Science, Indiana UniversityПідтверджена електронна адреса в indiana.edu
- Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityПідтверджена електронна адреса в cs.brown.edu
- Matthew FlattProfessor, School of Computing, University of UtahПідтверджена електронна адреса в cs.utah.edu
- Jean YangMITПідтверджена електронна адреса в cs.cmu.edu
- Christopher SchusterПідтверджена електронна адреса в ucsc.edu
- John ClementsProfessor of Computer Science, Cal Poly State UniversityПідтверджена електронна адреса в calpoly.edu
- Mooly SagivTel Aviv UniversityПідтверджена електронна адреса в acm.org
- Armando Solar-LezamaMITПідтверджена електронна адреса в csail.mit.edu
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Yannis SmaragdakisUniversity of AthensПідтверджена електронна адреса в di.uoa.gr
Підписатись
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Підтверджена електронна адреса в ucsc.edu - Домашня сторінка