Smart Service Engineering

PUBLIKATIONEN

In: Margaria Tiziana, Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Seiten 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

In: M. Takizawa, A M. Tjoa (Hrsg.). 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.

Zur Publikation

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.

Zur Publikation

In: Luca Vigano, Pierpaolo Degano (Hrsg.). 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) befindet sich Affiliated with ETAPS 2009 March 28-29 York United Kingdom Lectures Notes in Computer Science (LNCS) Springer Verlag 2009.

Zur Publikation

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

Zur Publikation

In: J. Biskup (Hrsg.). 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.

Zur Publikation

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

Zur Publikation

Kontakt

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Smart Service Engineering
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Deutschland

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