Embedded Intelligence

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

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Research Department Embedded Intelligence
Trippstadter Str. 122
67663 Kaiserslautern
Germany

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