Publikationen

In: Dieter Hutter , Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer 2005.

Zur Publikation

In: P.Ryan , P.Samarati (Hrsg.). 9th European Symposium on Research in Computer Security, ESORICS 2004. European Symposium on Computer Security (ESORICS-2004) LNCS Springer 2004.

Zur Publikation

In: Dieter Hutter , Günter Müller , Werner Stephan , Markus Ullmann (Hrsg.). Proceedings of the First International Conference on Security in Pervasive Computing. International Conference on Security in Pervasive Computing (SPC) LNCS 2802 Springer 2003.

Zur Publikation

In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit 2003.

Zur Publikation

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

Zur Publikation

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

Zur Publikation

In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES) Siena 2001.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence