自分のプロフィールを作成
オープン アクセス
すべて表示32 件の論文
7 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden確認したメール アドレス: tcs.inf.tu-dresden.de
- Joachim KleinTU Dresden (formerly)確認したメール アドレス: automata.tools
- Steffen MärckerFaculty of Computer Science, TU Dresden確認したメール アドレス: tu-dresden.de
- Anni-Yasmin TurhanPaderborn University確認したメール アドレス: uni-paderborn.de
- Patrick KoopmannVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Simon JantschTechnische Universität Dresden確認したメール アドレス: tu-dresden.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Kallistos WeisSaarland University確認したメール アドレス: cs.uni-saarland.de
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden確認したメール アドレス: tu-dresden.de
- Sascha WunderlichTU Dresden確認したメール アドレス: tu-dresden.de
- Andrey MorozovUniversity of Stuttgart確認したメール アドレス: ias.uni-stuttgart.de
- Klaus JanschekTU Dresden確認したメール アドレス: tu-dresden.de
- Vojtech RehakMasaryk university, Faculty of Informatics確認したメール アドレス: fi.muni.cz
- Antonin KuceraMasaryk University確認したメール アドレス: fi.muni.cz
- Ľuboš KorenčiakFaculty of Informatics, Masaryk University, Brno確認したメール アドレス: fi.muni.cz
- A FehnkerMacquarie University確認したメール アドレス: mq.edu.au
- Maximilian A. KöhlSaarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
フォロー