Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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; Markus Meyer
In: S. Rogers and W. Iba, editors, Adaptive User Interfaces: Papers from the 2000 AAAI Spring Symposium, pages 19-23. Stanford University, CA, USA. …
Mathias Bauer; Dietmar Dengler; Gabriele Paul
In: Communications of the ACM (CACM), Vol. 43, No. 3, Pages 98-103, 2000.
Elisabeth Andre; Martin Klesen
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Heiko Mantel; Felix Gärtner
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, No. 4, Pages 473-488, Taylor & Francis, 10/2000.
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 …