Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Mehryar Mohri; Mark-Jan Nederhof
In: Jean-Claude Junqua; Gertjan van Noord (Hrsg.). Robustness in Language and Speech Technology. Pages 153-163, Kluwer Academic Publishers, Dordrecht, …
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 …
Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan
In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …
Dieter Hutter; Axel Schairer
In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …
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.
Andreas Abecker; Heiko Maus; Ansgar Bernardi
In: Heinz-Jürgen Müller; Andreas Abecker; Knut Hinkelmann; Heiko Maus (Hrsg.). Proceedings des Workshops "Geschäftsprozessorientiertes …