Publikationen

Zeige Ergebnisse 1 bis 10 von 42

In: KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008) September 23-26 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 5243 ISBN 978-3-540-85844-7 Springer Berlin, Heidelberg 2008.

Zur Publikation

In: Ambient Assisted Living: 8. AAL-Kongress 2015. Deutscher AAL-Kongress (AAL) April 29-30 Frankfurt/M. Germany Seiten 83-96 ISBN 978-3-319-26345-8 Springer International Publishing Cham 2016.

Zur Publikation

In: D A CH Security 2015. IT Security & IT Management September 8-9 St. Augustin / Bonn Germany syssec 2015.

Zur Publikation

In: Sicherheit 2012 - 6. Jahrestagung des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der GI. GI-Fachtagungen March 7-9 Darmstadt Germany Seiten 83-94 LNI 195 ISBN 978-3-88579-289-5 GI 2012.

Zur Publikation

MACIS 2013, Nanning, China, December 11-13 Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences 2013.

Zur Publikation

In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06) September 27-29 Gdansk Poland Seiten 42-56 LNCS 4166 ISBN 3-540-45762-3 Springer 2006.

Zur Publikation

In: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Seiten 364-376 LNCS 2605 Springer-Verlag 2005.

Zur Publikation

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