Dieter Hutter
In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.
In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software …
Bruno Langenstein; Markus Ullmann; Roland Vogt
In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.
Georg Rock; Werner Stephan; Michael Brodski
In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.
Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll
In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer …
Mathias Bauer; Dietmar Dengler; Gabriele Paul
In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, …
Tilman Becker; Joshi Aravind; Owen Rambow
In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.
Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer
In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …
Ralf Engel; Michael Kipp; Jan Alexandersson; Norbert Reithinger
In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 454-467, Springer, Berlin/Heidelberg/ New York, 2000.
Ralf Engel; Jan Alexandersson; Michael Kipp; Norbert Reithinger; Stephan Koch; Uwe Küssner; Manfred Stede
In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 443-453, Springer, Berlin/ Heidelberg/ New York, 2000.