Due to maintenance work, it is currently not possible to search for publications by author.
Tilman Becker; Anne Kilger; Patrice Lopez; Peter Poller
In: Proceedings of ECAI 2000, Berlin, Germany. European Conference on Artificial Intelligence (ECAI), 2000.
Jan Alexandersson; Peter Poller
In: Proceedings of the International Natural Language Generation Conference 2000 (INLG-2000) ( Israel, June 2000). International Natural Language …
Elisabeth Andre; Thomas Rist; Gerd Herzog
In: Günter G. Voß; Werner Holly; Klaus Boehnke (Hrsg.). Neue Medien im Alltag: Begriffsbestimmungen eines interdisziplinären Forschungsfeldes. Pages …
Thomas Rist; Patrick Brandmeier; Jens Haase
In: ARTIFICIAL INTELLIGENCE IN MOBILE SYSTEMS (AIMS) 2000. Workshop on Artificial Intelligence in Mobile Systems (AIMS), 2000.
Tilman Becker
In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.
Heiko Mantel; Felix Gärtner
In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research …
Serge Autexier; Dieter Hutter
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …
Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …
Dieter Hutter; Michael Kohlhase
In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.
