Publikationen

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 …

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 …

Jan Alexandersson; Tilman Becker

In: Proceedings of the IJCAI Workshop Knowledge and Reasoning in Practical Dialogue Systems , Seattle, 2001. IJCAI Workshop on Knowledge and Reasoning …

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 …

Heiko Mantel

In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …

Tania Avgustinova

2001.

Ann Copestake; John Carroll; Daniel Flickinger; Robert Malouf; Stephan Oepen

In: Proceedings of the EACL/ ACL Workshop on Sharing Tools and Resources for Research and Education. ACL/EACL Workshop on Sharing Tools and Resources, …