내 프로필 만들기
공개 액세스
모두 보기자료 6개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Maria ChristakisProfessor @ TU Wien Informaticstuwien.ac.at의 이메일 확인됨
- Valentin WüstholzConsenSysconsensys.net의 이메일 확인됨
- Stefan FalknerBosch Corporate Researchde.bosch.com의 이메일 확인됨
- Frank HutterProfessor of Computer Science, University of Freiburg, Germanycs.uni-freiburg.de의 이메일 확인됨
- Aaron KleinAWS Research Berlinamazon.com의 이메일 확인됨
- Matthias HeizmannUniversity of Freiburg, Germanyheizmann.name의 이메일 확인됨
- Christian SchillingAssistant Professor at Aalborg Universitycs.aau.dk의 이메일 확인됨
- Jorge A NavasCertoracertora.com의 이메일 확인됨
- Antonio FilieriAmazon Web Services, Imperial College Londonimperial.ac.uk의 이메일 확인됨
- Linghui LuoAmazon Web Servicesamazon.com의 이메일 확인됨
- Aritra SenguptaAutomated Reasoning Group, AWS.cse.ohio-state.edu의 이메일 확인됨
- Lee PikeAWS Automated Reasoningamazon.com의 이메일 확인됨
- Willem VisserComputer Science Division, Stellenbosch Universitycs.sun.ac.za의 이메일 확인됨
- Martin SchaefAmazon Web Servicesamazon.com의 이메일 확인됨
- Nicolás RosnerAmazon Web Services