Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 702 | 409 |
h-index | 12 | 9 |
i10-index | 12 | 9 |
Acces public
Afișați-le pe toate5 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Niki VazouIMDEA Software InstituteAdresă de e-mail confirmată pe cs.umd.edu
- Dimitrios VytiniotisDeepMindAdresă de e-mail confirmată pe google.com
- Simon Peyton JonesEpic GamesAdresă de e-mail confirmată pe epicgames.com
- Westley WeimerProfessor Computer Science, University of MichiganAdresă de e-mail confirmată pe umich.edu
- Gabrielle AllenUniversity of WyomingAdresă de e-mail confirmată pe uwyo.edu
- John LaunchburyChief Scientist, GaloisAdresă de e-mail confirmată pe galois.com
- Erik SchnetterPerimeter Institute for Theoretical PhysicsAdresă de e-mail confirmată pe perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, GermanyAdresă de e-mail confirmată pe uni-jena.de
- Lee PikeAWS Automated ReasoningAdresă de e-mail confirmată pe amazon.com
- Trevor ElliottFastlyAdresă de e-mail confirmată pe stripe.com
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate CenterAdresă de e-mail confirmată pe cs.ccny.cuny.edu
- Wai L. KhooPh.D.Adresă de e-mail confirmată pe gradcenter.cuny.edu
- David RideoutUniversity of California, San DiegoAdresă de e-mail confirmată pe math.ucsd.edu
- Steven R. BrandtLouisiana State UniversityAdresă de e-mail confirmată pe cct.lsu.edu