Skapa en profil
Offentlig åtkomst
Visa alla20 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- John Mellor-CrummeyProfessor of Computer Science, Rice UniversityVerifierad e-postadress på rice.edu
- John CriswellUniversity of RochesterVerifierad e-postadress på cs.rochester.edu
- Swarup Kumar SahooCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Dinakar DhurjatiStaff Engineer, Qualcomm Research Silicon ValleyVerifierad e-postadress på qti.qualcomm.com
- Rakesh KomuravelliResearch Scientist, FacebookVerifierad e-postadress på fb.com
- Mohsen VakilianUniversity of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Prakalp SrivastavaOctoMLVerifierad e-postadress på octoml.ai
- Hyojin SungUniversity of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Rizos SakellariouUniversity of Manchester, Department of Computer ScienceVerifierad e-postadress på cs.man.ac.uk
- Danny DigAssociate Professor, CS, University of ColoradoVerifierad e-postadress på colorado.edu
- Ewa DeelmanUniversity of Southern California, Information Sciences InstituteVerifierad e-postadress på isi.edu
- Will DietzUniversity of Illinois at Urbana-ChampaignVerifierad e-postadress på uiuc.edu
- Maria KotsifakouRuntime Verification, Inc.Verifierad e-postadress på runtimeverification.com
- Nathan DautenhahnRice UniversityVerifierad e-postadress på rice.edu
- Matthew D. SinclairUniversity of Wisconsin-Madison, AMD ResearchVerifierad e-postadress på cs.wisc.edu
- Qing YiLawrence Livermore National LaboratoryVerifierad e-postadress på llnl.gov
- Andrew LenharthUniversity of Texas at AustinVerifierad e-postadress på ices.utexas.edu
- Theodoros KasampalisRuntime Verification, Inc.Verifierad e-postadress på runtimeverification.com
- Marc SnirUniversity of Illinois at Urbana ChamapignVerifierad e-postadress på illinois.edu