Založit si vlastní profil
Veřejný přístup
Zobrazit všechny4 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Michael D. BondOhio State UniversityE-mailová adresa ověřena na: cse.ohio-state.edu
- Swarnendu BiswasAssistant Professor, IIT KanpurE-mailová adresa ověřena na: cse.iitk.ac.in
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityE-mailová adresa ověřena na: purdue.edu
- Man CaoGoogle, Ohio State UniversityE-mailová adresa ověřena na: google.com
- Minjia ZhangUniversity of Illinois at Urbana-ChampaginE-mailová adresa ověřena na: illinois.edu
- Jipeng HuangGoogleE-mailová adresa ověřena na: cse.ohio-state.edu
- Martin SchaefAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Lee PikeAWS Automated ReasoningE-mailová adresa ověřena na: amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityE-mailová adresa ověřena na: cs.sun.ac.za
- Masoud Saeida ArdekaniGoogleE-mailová adresa ověřena na: masoud.io
- Tanakorn LeesatapornwongsaUniversity of ChicagoE-mailová adresa ověřena na: cs.uchicago.edu
- Liana HadareanAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Michael EmmiAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Nicolás RosnerAmazon Web Services
Sledovat
Aritra Sengupta
Automated Reasoning Group, AWS.
E-mailová adresa ověřena na: cse.ohio-state.edu - Domovská stránka