Publikationen

Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …

Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

Dieter Hutter

In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

Dieter Hutter

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.

Stephan Oepen; Ulrich Callmeier

In: Proceedings of the 6th International Workshop on Parsing Technology. International Conference on Parsing Technologies (IWPT-00), February 23-25, …

Mark-Jan Nederhof; Giorgio Satta

In: Sergei Nirenburg; Douglas Appelt; Fabio Ciravegna; Robert Dale (Hrsg.). Proceedings of the 6th Applied Natural Language Processing Conference and …

Mark-Jan Nederhof

In: Harry Bunt; Anton Nijholt (Hrsg.). Advances in Probabilistic and other Parsing Technologies. Pages 221-241, Kluwer Academic Publishers, 2000.

Mark-Jan Nederhof

In: Dimitris Christodoulakis (Hrsg.). Proceedings of the Natural Language Processing - NLP 2000, June 2-4. Conference on Applied Natural Language …