Publications

Peter Fettke; Peter Loos

In: Klaus Turowski (Hrsg.). Modellierung und Spezifikation von Fachkomponenten: Workshop im Rahmen der MobIS 2000 Modellierung betrieblicher …

Tania Avgustinova

In: 1st Conference on Generative Linguistics in Poland (GLiP-1), November 13-14. Conference on Generative Linguistics in Poland (GLiP), Pages 5-14, …

Tania Avgustinova; Hans Uszkoreit

In: 18th International Conference on Computational Linguistics (COLING '00), July 31 - August 4. International Conference on Computational Linguistics …

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.

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 …

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, …