Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen
In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …
Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
Thora Tenbrink; Hui Shi
In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …
Stefan Wölfl; Till Mossakowski; Lutz Schröder
In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …
Lutz Schröder; Dirk Pattinson
In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …
In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …
Lutz Schröder; Till Mossakowski
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …
Lutz Schröder
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.
2007.
