Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Mathias Bauer; Piotr Gmytrasiewicz; Julita Vassileva
2001.
Anthony Jameson
In: Proceedings of the First EUNITE Symposium, Tenerife. EUNITE Symposium, 2001.
Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer; Thomas Bohnenberger; Frank Wittig
In: Knowledge-Based Systems (KBS), Vol. 14, No. 1-2, Pages 75-92, Elsevier Science B.V. 2001.
Thomas Bohnenberger; Anthony Jameson
In: J. Lester (Hrsg.). Proceedings of the 6th International Conference on Intelligent User Interfaces. International Conference on Intelligent User …
Heiko Mantel; Andrei Sabelfeld
In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …
Heiko Mantel
In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …
In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …
Till Mossakowski; Serge Autexier; Dieter Hutter
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …
Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier
Technical Report, Vol. 159, 8/2001.
Axel Schairer; Serge Autexier; Dieter Hutter
In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …