내 프로필 만들기
공개 액세스
모두 보기자료 37개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboainesc-id.pt의 이메일 확인됨
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Yu FengUniversity of California, Santa Barbaracs.ucsb.edu의 이메일 확인됨
- Isil DilligUT Austincs.utexas.edu의 이메일 확인됨
- Saurabh JoshiSupraOraclescse.iith.ac.in의 이메일 확인됨
- Miguel Terra-NevesResearch Scientist, OutSystemsoutsystems.com의 이메일 확인됨
- Osbert BastaniUniversity of Pennsylvaniaseas.upenn.edu의 이메일 확인됨
- Daniel KroeningAmazonamazon.com의 이메일 확인됨
- Martin BrainCity, University of Londoncity.ac.uk의 이메일 확인됨
- Saswat AnandGooglecs.stanford.edu의 이메일 확인됨
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at Austincs.utexas.edu의 이메일 확인됨
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsincs.wisc.edu의 이메일 확인됨
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGbtc-es.de의 이메일 확인됨
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexdiffblue.com의 이메일 확인됨
- Christoph M. WintersteigerImandraimandra.ai의 이메일 확인됨
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAgatech.edu의 이메일 확인됨
- Krzysztof CzarneckiProfessor of Electrical and Computer Engineeringgsd.uwaterloo.ca의 이메일 확인됨
- Edward ZulkoskiPh. D., University of Waterloogsd.uwaterloo.ca의 이메일 확인됨
- Mikoláš JanotaCTU Praguecvut.cz의 이메일 확인됨
- Liana HadareanAmazon Web Servicesamazon.com의 이메일 확인됨