Due to maintenance work, it is currently not possible to search for publications by author.
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.
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 …
Andreas Dengel
In: groupware magazin, Pages 24-27, 6/2000.
Hans-Jürgen Bürckert; Petra Funk; Gero Vierke
In: Proceedings of Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-33), 2000.
Steffen Staab; Dan O'Leary (Hrsg.)
AAAI Spring Symposium (AAAI SSS), AAAI Press, 2000.