Publikationen

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

Zur Publikation

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

Zur Publikation

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: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit 2003.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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