Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 251 | 96 |
h-index | 8 | 6 |
i10-index | 8 | 5 |
Acces public
Afișați-le pe toate4 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Michael D. BondOhio State UniversityAdresă de e-mail confirmată pe cse.ohio-state.edu
- Swarnendu BiswasAssistant Professor, IIT KanpurAdresă de e-mail confirmată pe cse.iitk.ac.in
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityAdresă de e-mail confirmată pe purdue.edu
- Man CaoGoogle, Ohio State UniversityAdresă de e-mail confirmată pe google.com
- Minjia ZhangUniversity of Illinois at Urbana-ChampaginAdresă de e-mail confirmată pe illinois.edu
- Jipeng HuangGoogleAdresă de e-mail confirmată pe cse.ohio-state.edu
- Martin SchaefAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Lee PikeAWS Automated ReasoningAdresă de e-mail confirmată pe amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityAdresă de e-mail confirmată pe cs.sun.ac.za
- Masoud Saeida ArdekaniGoogleAdresă de e-mail confirmată pe masoud.io
- Tanakorn LeesatapornwongsaUniversity of ChicagoAdresă de e-mail confirmată pe cs.uchicago.edu
- Liana HadareanAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Michael EmmiAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Nicolás RosnerAmazon Web Services
Urmăriți
Aritra Sengupta
Automated Reasoning Group, AWS.
Adresă de e-mail confirmată pe cse.ohio-state.edu - Pagina de pornire