Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Andrew D. Bagdanov; Bertin Klein
DFKI, DFKI Research Reports (RR), Vol. 03-02, 2003.
Hans-Ulrich Krieger
DFKI, DFKI Research Reports (RR), Vol. 03-01, 2003.
Mark-Jan Nederhof; Giorgio Satta
In: 8th International Workshop on Parsing Technologies. International Conference on Parsing Technologies (IWPT), LORIA, Nancy, France, Pages 137-148, …
Mark-Jan Nederhof; Giorgio Satta; Stuart M. Shieber
In: Proceedings of the 8th International Workshop on Parsing Technologies (IWPT'03), April 23-25. International Conference on Parsing Technologies …
Mark-Jan Nederhof
In: Computational Linguistics (CL), Vol. 29, No. 1, Pages 135-143, 2003.
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 …
In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.
Thomas Breuel
In: Proceedings of the 2003 Snowbird Workshop on Learning. Snowbird Workshop on Learning, 2003.