Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 697 | 404 |
h-індекс | 12 | 9 |
i10-індекс | 12 | 9 |
Доступні для всіх
Переглянути всі5 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Niki VazouIMDEA Software InstituteПідтверджена електронна адреса в cs.umd.edu
- Dimitrios VytiniotisDeepMindПідтверджена електронна адреса в google.com
- Simon Peyton JonesEpic GamesПідтверджена електронна адреса в epicgames.com
- Westley WeimerProfessor Computer Science, University of MichiganПідтверджена електронна адреса в umich.edu
- Gabrielle AllenUniversity of WyomingПідтверджена електронна адреса в uwyo.edu
- John LaunchburyChief Scientist, GaloisПідтверджена електронна адреса в galois.com
- Erik SchnetterPerimeter Institute for Theoretical PhysicsПідтверджена електронна адреса в perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, GermanyПідтверджена електронна адреса в uni-jena.de
- Lee PikeAWS Automated ReasoningПідтверджена електронна адреса в amazon.com
- Trevor ElliottFastlyПідтверджена електронна адреса в stripe.com
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate CenterПідтверджена електронна адреса в cs.ccny.cuny.edu
- Wai L. KhooPh.D.Підтверджена електронна адреса в gradcenter.cuny.edu
- David RideoutUniversity of California, San DiegoПідтверджена електронна адреса в math.ucsd.edu
- Steven R. BrandtLouisiana State UniversityПідтверджена електронна адреса в cct.lsu.edu