Publications

In: Dagstuhl Reports 2 7 Pages 1-29 Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany 7/2012.

To the publication

In: Thomas Schneider, Dirk Walther (editor). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012) 6th located at 7th International Conference on Formal Ontology in Information Systems July 24-27 Graz Austria CEUR 875 ISBN ISSN 1613-0073 CEUR Workshop Proceedings 2012.

To the publication

In: M. Takizawa, A M. Tjoa (editor). Proceedings of the 5th International Conference on Availability, Reliability and Security 2010. International Conference on Availability, Reliability and Security (ARES-2010) February 15-18 Krakau Poland IEEE Computer Society 1/2010.

To the publication

In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence (MICAI-2009) November 9-October 13 Guanajuato Mexico Lecture Notes on Artificial Intelligence (LNAI) 5845 Springer 2009.

To the publication

In: Luca Vigano, Pierpaolo Degano (editor). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA) located at Affiliated with ETAPS 2009 March 28-29 York United Kingdom Lectures Notes in Computer Science (LNCS) Springer Verlag 2009.

To the publication

In: Rafael Accorsi, Michael Kreutzer, Andreas Schmidt (editor). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122 Nova Science Publishers, Inc. 2007.

To the publication

In: J. Biskup (editor). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security (ESORICS-07) September 24-August 26 Dresden Germany Lectures Notes in Computer Science (LNCS) Springer-Verlag 2007.

To the publication

In: R. Bloem (editor). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006) located at Associated with CAV 2006 August 21 Seattle WA United States Pages 117-130 174 4 Electronic Notes in Theoretical Computer Science 2007.

To the publication

In: S. Rajendram (editor). Proceedings of the 1st International Conference on Information Security and Computer Forensic. International Conference on Information Security and Computer Forensic (ISCF-2006) Chennai India Pages 259-268 Allied Publisher Pvt. Ltd. 12/2006.

To the publication

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