Crea el meu perfil
Accés públic
Mostra-ho tot4 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Michael D. BondOhio State UniversityCorreu electrònic verificat a cse.ohio-state.edu
- Swarnendu BiswasAssistant Professor, IIT KanpurCorreu electrònic verificat a cse.iitk.ac.in
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityCorreu electrònic verificat a purdue.edu
- Man CaoGoogle, Ohio State UniversityCorreu electrònic verificat a google.com
- Minjia ZhangUniversity of Illinois at Urbana-ChampaginCorreu electrònic verificat a illinois.edu
- Jipeng HuangGoogleCorreu electrònic verificat a cse.ohio-state.edu
- Martin SchaefAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Lee PikeAWS Automated ReasoningCorreu electrònic verificat a amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Masoud Saeida ArdekaniGoogleCorreu electrònic verificat a masoud.io
- Tanakorn LeesatapornwongsaUniversity of ChicagoCorreu electrònic verificat a cs.uchicago.edu
- Liana HadareanAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Michael EmmiAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Nicolás RosnerAmazon Web Services
Segueix
Aritra Sengupta
Automated Reasoning Group, AWS.
Correu electrònic verificat a cse.ohio-state.edu - Pàgina d'inici