내 프로필 만들기
공개 액세스
모두 보기자료 5개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochumrub.de의 이메일 확인됨
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technologytue.nl의 이메일 확인됨
- Murat CubuktepeUniversity of Texas at Austinutexas.edu의 이메일 확인됨
- Ufuk TopcuThe University of Texas at Austinutexas.edu의 이메일 확인됨
- Sebastian JungesAssistant Professor, Radboud University, Nijmegenru.nl의 이메일 확인됨
- David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Ahmadreza MarandiAssistant Professor, Eindhoven University of Technologytue.nl의 이메일 확인됨
- Thom BadingsPhD Candidate, Radboud Universityru.nl의 이메일 확인됨
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresdentu-dresden.de의 이메일 확인됨
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)tue.nl의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Arnd HartmannsUniversity of Twenteutwente.nl의 이메일 확인됨
- Eline M. BovyPhD student, Radboud Universityru.nl의 이메일 확인됨