Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 694 | 401 |
Índice h | 12 | 9 |
Índice i10 | 12 | 9 |
Acesso público
Ver todos5 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Niki VazouIMDEA Software InstituteE-mail confirmado em cs.umd.edu
- Dimitrios VytiniotisDeepMindE-mail confirmado em google.com
- Simon Peyton JonesEpic GamesE-mail confirmado em epicgames.com
- Westley WeimerProfessor Computer Science, University of MichiganE-mail confirmado em umich.edu
- Gabrielle AllenUniversity of WyomingE-mail confirmado em uwyo.edu
- John LaunchburyChief Scientist, GaloisE-mail confirmado em galois.com
- Erik SchnetterPerimeter Institute for Theoretical PhysicsE-mail confirmado em perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, GermanyE-mail confirmado em uni-jena.de
- Lee PikeAWS Automated ReasoningE-mail confirmado em amazon.com
- Trevor ElliottFastlyE-mail confirmado em stripe.com
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate CenterE-mail confirmado em cs.ccny.cuny.edu
- Wai L. KhooPh.D.E-mail confirmado em gradcenter.cuny.edu
- David RideoutUniversity of California, San DiegoE-mail confirmado em math.ucsd.edu
- Steven R. BrandtLouisiana State UniversityE-mail confirmado em cct.lsu.edu