Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 251 | 96 |
Índice h | 8 | 6 |
Índice i10 | 8 | 5 |
Acesso público
Ver todos4 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Michael D. BondOhio State UniversityE-mail confirmado em cse.ohio-state.edu
- Swarnendu BiswasAssistant Professor, IIT KanpurE-mail confirmado em cse.iitk.ac.in
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityE-mail confirmado em purdue.edu
- Man CaoGoogle, Ohio State UniversityE-mail confirmado em google.com
- Minjia ZhangUniversity of Illinois at Urbana-ChampaginE-mail confirmado em illinois.edu
- Jipeng HuangGoogleE-mail confirmado em cse.ohio-state.edu
- Martin SchaefAmazon Web ServicesE-mail confirmado em amazon.com
- Lee PikeAWS Automated ReasoningE-mail confirmado em amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
- Masoud Saeida ArdekaniGoogleE-mail confirmado em masoud.io
- Tanakorn LeesatapornwongsaUniversity of ChicagoE-mail confirmado em cs.uchicago.edu
- Liana HadareanAmazon Web ServicesE-mail confirmado em amazon.com
- Michael EmmiAmazon Web ServicesE-mail confirmado em amazon.com
- Nicolás RosnerAmazon Web Services
Seguir
Aritra Sengupta
Automated Reasoning Group, AWS.
E-mail confirmado em cse.ohio-state.edu - Página inicial