Due to maintenance work, it is currently not possible to search for publications by author.
Michael Thulke; Volker Märgner; Andreas Dengel
In: Proceedings ICDAR99. International Conference on Document Analysis and Recognition (ICDAR), Pages 450-454, 9/1999.
Andreas Dengel
In: Brockhaus-Bibliothek “Mensch, Natur, Technik”. Chapter 2, Pages 507-541, Vol. 6, Bibliographisches Institut der F.A. Brockhaus AG, 1999.
Michael Thulke; Volker Margner; Andreas Dengel
In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Springer Verlag, 1999.
Koichi Kise; Motoi Iwata; Andreas Dengel; Keinosuke Matsumoto
Thomas Kieninger; Andreas Dengel
In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Pages 255-269, Springer Verlag, …
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Dennis Dams; Dieter Hutter; Natalia Sidorova
In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …
Dieter Hutter; Alan Bundy
In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …