Publications

In: Journal of Automated Reasoning (JAR) 41 3-4 Journal of Automated Reasoning Springer Netherlands 12/2008.

To the publication

In: Journal of Automated Reasoning (JAR) 41 3-4 Pages 191-192 Springer Netherlands 11/2008.

To the publication

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

To the publication

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

To the publication

In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop Cape Breton Pages 126-142 IEEE Computer Society 6/2001.

To the publication

In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP) Oakland Pages 78-91 IEEE Computer Society 5/2001.

To the publication

In: Jose Nuno Olivera, Pamela Zave (editor). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe. Formal Methods Europe (FME) Berlin Pages 153-172 LNCS 2021 Springer 3/2001.

To the publication

In: F.Cuppens, Y.Deswarte, D.Gollmann, M.Waidner (editor). European Symposium on Research in Computer Security (ESORICS). European Symposium on Computer Security (ESORICS) Toulouse Pages 238-254 LNCS 1895 Springer 10/2000.

To the publication

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