Publikationen

Bertin Klein; Stefan Agne; Andrew D. Bagdanov

In: Proceedings of the 7th International Conference on Document Analysis and Recognition ICDAR'03). International Conference on Document Analysis and …

Ludger van Elst; Felix-Robinson Aschoff; Ansgar Bernardi; Heiko Maus; Sven Schwarz

In: Proceedings of the Workshop Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure (KMDAP2003) at 12th IEEE …

Jan-Thies Bähr; Peter Dannenmann; Ludger van Elst; Armin Hust; Andreas Lauer; Heiko Maus; Sven Schwarz

Document, Vol. D-04-01, 2003.

Bertin Klein; Thomas Roth-Berghofer

In: Proceedings of the WM 2003 Workshop on Knowledge Management and Philosophy. Conference on Professional Knowledge Management (WM), 2003.

Bertin Klein; Andreas Dengel

In: International Journal on Document Analysis and Recognition (IJDAR), 2003.

Ansgar Bernardi; Markus Perling

In: 3rd International Conference on Knowledge Management -- IKNOW 03. International Conference on Knowledge Management and New Media Technology …

Dieter Hutter; Heiko Mantel; Axel Schairer

In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT …

Dieter Hutter

In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving …

Dieter Hutter

In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.