내 프로필 만들기
공개 액세스
모두 보기자료 2개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Nithum ThainGoogle Braingoogle.com의 이메일 확인됨
- Jeffrey SorensenGoogle, Inc.ieee.org의 이메일 확인됨
- Alan BundyProfessor of Automated Reasoning, University of Edinburghed.ac.uk의 이메일 확인됨
- Moa JohanssonAssociate Professor (Docent), Chalmers Universitychalmers.se의 이메일 확인됨
- Lucy VassermanGooglegoogle.com의 이메일 확인됨
- John PavlopoulosAthens University of Economics and Businessaueb.gr의 이메일 확인됨
- Ion AndroutsopoulosProfessor, Department of Informatics, Athens University of Economics and Businessaueb.gr의 이메일 확인됨
- Dario TaraborelliChan Zuckerberg Initiativechanzuckerberg.com의 이메일 확인됨
- Ross DuncanLecturer at University of Strathclydestrath.ac.uk의 이메일 확인됨
- Aleks KissingerAssociate Professor, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Yiqing HuaCornell Techcornell.edu의 이메일 확인됨
- Ellery WulczynStaff Software Engineer, Google Researchgoogle.com의 이메일 확인됨
- Léo LaugierPostodoctoral researcherepfl.ch의 이메일 확인됨
- Cristian Danescu-Niculescu-MizilAssociate Professor, Cornell Universitycs.cornell.edu의 이메일 확인됨
- Jonathan P. ChangPhD Candidate, Cornell Universitycornell.edu의 이메일 확인됨
- Justine ZhangCornell Universitycornell.edu의 이메일 확인됨
- Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster Universitymcmaster.ca의 이메일 확인됨
- Omar Montano RivasProfessor of Computer Science, Universidad Politecnica de San Luis Potosiupslp.edu.mx의 이메일 확인됨
- Krisztian BalogUniversity of Stavanger & Google Researchuis.no의 이메일 확인됨
- Gudmund GrovSenior Scientist, Norwegian Defence Research Establishmentffi.no의 이메일 확인됨