Publications
Page 3 of 14.
Thomas Bauereiß; Stefan Gohmann; Dieter Hutter; Alexander Kläser
In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013), September 9-11, Kloster Banz, Germany, Lecture Notes in Informatics (LNI), …
Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …
Alan Bundy; Dieter Hutter; Cliff B. Jones; J Strother Moore
In: Dagstuhl Reports, Vol. 2, No. 7, Pages 1-29, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7/2012.
Serge Autexier; Dieter Hutter
In: Thomas Schneider; Dirk Walther (Hrsg.). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular …
Achim Brucker; Dieter Hutter
In: M. Takizawa; A M. Tjoa (Hrsg.). Proceedings of the 5th International Conference on Availability, Reliability and Security 2010. International …
Dieter Hutter
In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence …
Dieter Hutter; Raul Monroy
In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the …
Dieter Hutter; Heiko Mantel; Ina Schäfer; Axel Schairer
In: Journal of Applied Logic, Vol. 5, No. 2, Pages 303-332, Elsevier B.V. 6/2007.
In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122, Nova …
Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security …
Overview
Team
Projects
News
Jobs
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Smart Service Engineering Campus D3 2 Stuhlsatzenhausweg 3 66123 Saarbrücken Germany
