Due to maintenance work, it is currently not possible to search for publications by author.
Martin Pollet; Erica Melis; Andreas Meier
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), …
Carsten Ullrich
In: R. Tolksdorf; R. Eckstein (Hrsg.). Proceedings of Berliner XML Tage 2003. Berliner XML Tage, Pages 467-473, 2003.
Seki Report, Vol. SR-03-03, 2003.
Carsten Ullrich; D. Wallach; Erica Melis
In: E. O'Neill; P. Palanque; P. Johnson (Hrsg.). 17th Annual Human- Computer Interaction Conference 2003, Volume 2. Human Computer Interaction …
Axel Schairer
In: Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.). Proceedings of the First International Conference on Security in Pervasive …
M. Bertram; Sascha Köhn; T. Bähr; Bertin Klein; Rolf-Hendrik van Lengen
In: WM2003 (02.04.-04.04. 2003), Lucerne, Switzerland. Conference on Professional Knowledge Management (WM), 2003.
M. Bertram; S. Konkle; B. Hamann; K. Joy; Hans Hagen
In: Hierarchical and Geometrical Methods in Scientific Visualization, Farin, Hamann, Hagen (Hrsg.), Springer Verlag, 2003, (ISBN 3-540-43313-9). Pages …
M. Bertram
In: Proceedings of IEEE Visualization 2003. IEEE Visualization Conference (IEEE Vis), Pages 387-392, 2003.
M. Bertram; M. Duchaineau; B. Hamann; K. Joy
In: Data Visualization - The state of the Art, Frits Post, Gregory Nielson, Georges-Pierre Bonneau (eds.) Kluwer Academic Press, 2003. Pages 289-300, …
M. Bertram; Hans Hagen; Konkle. S. E.; B. Hamann; K. Joy
In: Scientific Visualization, Springer, 2003,. Pages 89-97, 2003.
