내 프로필 만들기
공개 액세스
모두 보기자료 62개
자료 6개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Maximilian WeiningerTechnical University of Munichtum.de의 이메일 확인됨
- Tobias MeggendorferAssistant Professor, Lancaster University Leipzigmeggendorfer.de의 이메일 확인됨
- Tomas BrazdilMasaryk Universityfi.muni.cz의 이메일 확인됨
- Salomon Sickerttum.de의 이메일 확인됨
- Krishnendu ChatterjeeProfessor, IST Austriaist.ac.at의 이메일 확인됨
- Javier EsparzaProfessor of Computer Science, Technical University of Munichin.tum.de의 이메일 확인됨
- Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk Universityfi.muni.cz의 이메일 확인됨
- Pranav AshokArgo AIargo.ai의 이메일 확인됨
- David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Jan KrčálSaarland Universityfi.muni.cz의 이메일 확인됨
- Vojtěch ForejtDifflbluediffblue.com의 이메일 확인됨
- Kim G. LarsenDirector, Professor Aalborg Universitycs.aau.dk의 이메일 확인됨
- Jiri SrbaProfessor of Computer Science, Aalborg Universitycs.aau.dk의 이메일 확인됨
- Antonin KuceraMasaryk Universityfi.muni.cz의 이메일 확인됨
- Martin ChmelíkSoftware Engineer, Googlegoogle.com의 이메일 확인됨
- Joachim KleinTU Dresden (formerly)automata.tools의 이메일 확인됨
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochumrub.de의 이메일 확인됨
- Vojtech RehakMasaryk university, Faculty of Informaticsfi.muni.cz의 이메일 확인됨
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.ulb.ac.be의 이메일 확인됨