내 프로필 만들기
공개 액세스
모두 보기자료 32개
자료 7개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresdentcs.inf.tu-dresden.de의 이메일 확인됨
- Joachim KleinTU Dresden (formerly)automata.tools의 이메일 확인됨
- Steffen MärckerFaculty of Computer Science, TU Dresdentu-dresden.de의 이메일 확인됨
- Anni-Yasmin TurhanPaderborn Universityuni-paderborn.de의 이메일 확인됨
- Patrick KoopmannVrije Universiteit Amsterdamvu.nl의 이메일 확인됨
- Simon JantschTechnische Universität Dresdentu-dresden.de의 이메일 확인됨
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Kallistos WeisSaarland Universitycs.uni-saarland.de의 이메일 확인됨
- Sascha WunderlichTU Dresdentu-dresden.de의 이메일 확인됨
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresdentu-dresden.de의 이메일 확인됨
- Andrey MorozovUniversity of Stuttgartias.uni-stuttgart.de의 이메일 확인됨
- Klaus JanschekTU Dresdentu-dresden.de의 이메일 확인됨
- Vojtech RehakMasaryk university, Faculty of Informaticsfi.muni.cz의 이메일 확인됨
- Antonin KuceraMasaryk Universityfi.muni.cz의 이메일 확인됨
- Ľuboš KorenčiakFaculty of Informatics, Masaryk University, Brnofi.muni.cz의 이메일 확인됨
- A FehnkerMacquarie Universitymq.edu.au의 이메일 확인됨
- Maximilian A. KöhlSaarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Nikolai KäferTU Dresdentu-dresden.de의 이메일 확인됨