Due to maintenance work, it is currently not possible to search for publications by author.
Thomas Wiemann; Kai Lingemann; Joachim Hertzberg; Kim Oliver Rinnewitz
In: Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013). IEEE/RSJ International Conference on …
Martin Günther; Joachim Hertzberg; Thomas Wiemann; Sven Albrecht
Kristin Stamm; Andreas Dengel
In: Joaquim Filipe; Ana Fred (Hrsg.). Proceedings of the 5th International Conference on Agents and Artificial Intelligence. International Conference …
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
In: Electronic Communications of the EASST, 2013.
Mihai Codescu; Till Mossakowski; Christian Maeder
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), …
Till Mossakowski
In: Theoretical Computer Science, 2013.
André van Delden; Till Mossakowski
In: From Research to Innovation and Practical Applications - Proceedings of the 36th Annual Conference on Artificial Intelligence (KI 2013). German …
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …
Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach
Till Mossakowski; Oliver Kutz; Christoph Lange
In: Miguel Palomino; Narciso Martí-Oliet (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …