내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Stephan ArltFederal Office for Information Securitybsi.bund.de의 이메일 확인됨
- Thomas WiesNew York Universitycs.nyu.edu의 이메일 확인됨
- Philipp RuemmerProfessor in Computer Science, University of Regensburgur.de의 이메일 확인됨
- Cristiano BertoliniResearcher, Federal University of Santa Mariacin.ufpe.br의 이메일 확인됨
- Andreas PodelskiProfessor of Computer Science, Freiburg Universityinformatik.uni-freiburg.de의 이메일 확인됨
- Temesghen KahsaiPrincipal Applied Scientist @ Amazonamazon.com의 이메일 확인됨
- Huascar SanchezComputer Scientist @ SRI Internationalsri.com의 이메일 확인됨
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSamazon.com의 이메일 확인됨
- Atif MemonProfessor of Computer Science, University of Marylandcs.umd.edu의 이메일 확인됨
- Linghui LuoAmazon Web Servicesamazon.com의 이메일 확인됨
- Willem VisserComputer Science Division, Stellenbosch Universitycs.sun.ac.za의 이메일 확인됨
- Dr. Hassen SaidiSr Computer Scientist, SRI Internationalcsl.sri.com의 이메일 확인됨
- Neha RungtaAmazon Web Servicesamazon.com의 이메일 확인됨
- Michael W WhalenAmazon, Inc. and the University of Minnesotacs.umn.edu의 이메일 확인됨
- Andrew GacekAmazon Web Serviceamazon.com의 이메일 확인됨
- Byron CookProfessor of Computer Science, UCL, Amazoncs.ucl.ac.uk의 이메일 확인됨
- Cole SchlesingerResearch Engineer, Galois Inc.schlesinger.tech의 이메일 확인됨
- Aritra SenguptaAutomated Reasoning Group, AWS.cse.ohio-state.edu의 이메일 확인됨
- Lee PikeAWS Automated Reasoningamazon.com의 이메일 확인됨
- Dejan JovanovićAmazon Web Servicesamazon.com의 이메일 확인됨