Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Haryadi S. GunawiAssociate Professor of Computer Science, University of ChicagoVerifierad e-postadress på cs.uchicago.edu
- Jeffrey F. LukmanUniversity of ChicagoVerifierad e-postadress på cs.uchicago.edu
- Mingzhe HaoUniversity of ChicagoVerifierad e-postadress på uchicago.edu
- Thanh DoCelonisVerifierad e-postadress på celonis.com
- Cesar A. StuardoUniversity of ChicagoVerifierad e-postadress på uchicago.edu
- Tiratat Patana-anakeThe University of ChicagoVerifierad e-postadress på uchicago.edu
- Riza O. SumintoUniversity of ChicagoVerifierad e-postadress på cs.uchicago.edu
- Shan LuProfessor of Computer Science, University of ChicagoVerifierad e-postadress på uchicago.edu
- Aritra SenguptaAutomated Reasoning Group, AWS.Verifierad e-postadress på cse.ohio-state.edu
- Masoud Saeida ArdekaniGoogleVerifierad e-postadress på masoud.io