Publications

Sergey Goncharov; Lutz Schröder; Till Mossakowski

In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

Udo Frese; Lutz Schröder

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

Tim Schwartz; Ralf Jung

In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). Proceedings of Modelling and Designing User Assistance …

Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová; Andreas Korthauer; Manfred Pinkal; Michael Pitz; Peter Poller; Jan Schehl

In: G. Brewka; S. Coradeschi; A. Perini; P. Traverso (Hrsg.). ECAI 2006. European Conference on Artificial Intelligence (ECAI-2006), 17th, August 29 - …

Tilman Becker; Peter Poller; Jan Schehl; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová

In: Coling ACL 2006 on Interactive presentations. International Conference on Computational Linguistics (COLING-06), COLING/ACL on Interactive …

Gerd Reis; Martin Bertram

In: J.J. Villanueva (Hrsg.). Conference Proceedings IASTED Visualization Imaging and Image Processing. IASTED International Conference on …

Bernd Krieg-Brückner; Hui Shi

In: M. Raubal; H. Miller; A. Frank; M. Goodchild (Hrsg.). Geographic Information Science - Fourth International Conference, GIScience 2006. …

Michael Wünstel; Thomas Röfer

In: Vaclav Skala (Hrsg.). WSCG`2006 Posters Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer …

Lutz Schröder; Dirk Pattinson

In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …

Lutz Schröder

In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …