내 프로필 만들기
공개 액세스
모두 보기자료 20개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- John Mellor-CrummeyProfessor of Computer Science, Rice Universityrice.edu의 이메일 확인됨
- John CriswellUniversity of Rochestercs.rochester.edu의 이메일 확인됨
- Swarup Kumar SahooCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Dinakar DhurjatiStaff Engineer, Qualcomm Research Silicon Valleyqti.qualcomm.com의 이메일 확인됨
- Rakesh KomuravelliResearch Scientist, Facebookfb.com의 이메일 확인됨
- Mohsen VakilianUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Prakalp SrivastavaOctoMLoctoml.ai의 이메일 확인됨
- Hyojin SungUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Rizos SakellariouUniversity of Manchester, Department of Computer Sciencecs.man.ac.uk의 이메일 확인됨
- Danny DigAssociate Professor, CS, University of Coloradocolorado.edu의 이메일 확인됨
- Ewa DeelmanUniversity of Southern California, Information Sciences Instituteisi.edu의 이메일 확인됨
- Will DietzUniversity of Illinois at Urbana-Champaignuiuc.edu의 이메일 확인됨
- Maria KotsifakouRuntime Verification, Inc.runtimeverification.com의 이메일 확인됨
- Nathan DautenhahnRice Universityrice.edu의 이메일 확인됨
- Matthew D. SinclairUniversity of Wisconsin-Madison, AMD Researchcs.wisc.edu의 이메일 확인됨
- Qing YiLawrence Livermore National Laboratoryllnl.gov의 이메일 확인됨
- Andrew LenharthUniversity of Texas at Austinices.utexas.edu의 이메일 확인됨
- Theodoros KasampalisRuntime Verification, Inc.runtimeverification.com의 이메일 확인됨
- Marc SnirUniversity of Illinois at Urbana Chamapignillinois.edu의 이메일 확인됨