Publications

Displaying results 41 to 50 of 78

In: Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376 Lecture Notes in Computer Science (LNCS) 8950 Springer International Publishing Switzerland 2015.

To the publication

Abschlußbericht BMBF BMBF DFKI Final Reports (FR) noch nicht bestimmt. 5/2014.

To the publication

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Pages 4-7 4/2014.

To the publication

In: Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013) December 3-5 Dublin Ireland Springer-Verlag, CCIS 12/2013.

To the publication

In: Proceedings of the 10th International Conference & Expo on Emerging Technologies for a Smarter World. International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT-2013) 10th October 21-22 Melville NY United States IEEE Xplore Online 10/2013.

To the publication

In: Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013) December 3-5 Dublin Ireland Springer-Verlag, CCIS 12/2013.

To the publication

In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13) July 23-26 Ulm Germany Pages 501-512 CEUR 1014 CEUR Workshop Proceedings http://ceur-ws.org/Vol-1014/ 7/2013.

To the publication

In: Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012) 6th 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: 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 Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

To the publication

International Conference on Mathematical Knowledge Management (MKM-08) Conferences on Intelligent Computer Mathematics, CICM'08 July 28-August 1 Birmingham United Kingdom Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI) 5144 ISBN 978-3-540-85109-7 Springer Berlin, Heidelberg 2008.

To the publication

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