Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 251 | 96 |
h-indeks | 8 | 6 |
i10-indeks | 8 | 5 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Michael D. BondOhio State UniversityZweryfikowany adres z cse.ohio-state.edu
- Swarnendu BiswasAssistant Professor, IIT KanpurZweryfikowany adres z cse.iitk.ac.in
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityZweryfikowany adres z purdue.edu
- Man CaoGoogle, Ohio State UniversityZweryfikowany adres z google.com
- Minjia ZhangUniversity of Illinois at Urbana-ChampaginZweryfikowany adres z illinois.edu
- Jipeng HuangGoogleZweryfikowany adres z cse.ohio-state.edu
- Martin SchaefAmazon Web ServicesZweryfikowany adres z amazon.com
- Lee PikeAWS Automated ReasoningZweryfikowany adres z amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
- Masoud Saeida ArdekaniGoogleZweryfikowany adres z masoud.io
- Tanakorn LeesatapornwongsaUniversity of ChicagoZweryfikowany adres z cs.uchicago.edu
- Liana HadareanAmazon Web ServicesZweryfikowany adres z amazon.com
- Michael EmmiAmazon Web ServicesZweryfikowany adres z amazon.com
- Nicolás RosnerAmazon Web Services
Obserwuj
Aritra Sengupta
Automated Reasoning Group, AWS.
Zweryfikowany adres z cse.ohio-state.edu - Strona główna