Eingebettete Intelligenz

PUBLIKATIONEN

In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010) 19th August 16-20 Lisbon Portugal Frontiers in Artificial Intelligence and Applications IOS Press 8/2010.

Zur Publikation

In: Thomas Bolander, Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6) 6th Workshop on Methods for Modalities November 12-14 Kopenhagen Denmark Seiten 157-171 Electronic Notes in Theoretical Computer Science (ENTCS) 262 Elsevier Amsterdam 5/2010.

Zur Publikation

In: M. Huhn, H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08) befindet sich ETAPS'08 March 29 Budapest Hungary Seiten 57-70 238 4 Elsevier B.V. 2009.

Zur Publikation

In: Thomas Bolander, Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6) November 12-14 Copenhagen Denmark Electronic Notes in Theoretical Computer Science (ENTCS) Elsevier Amsterdam 2009.

Zur Publikation

In: Walid Maalej, Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen February 18-22 München Germany Seiten 335-338 Lecture Notes in Informatics (LNI) P-122 ISBN 978-3-88579-216-1 Gesellschaft für Informatik 2008.

Zur Publikation

In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik June 11-12 München Germany VDI-Bericht 2012 VDI-Verlag 2008.

Zur Publikation

In: Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005) September 3-6 Swansea United Kingdom Seiten 232-246 Lecture Notes in Computer Science (LNCS) 3629 ISBN 3-540-28620-9 Springer Berlin 2005.

Zur Publikation

Kontakt

Sekretariat:
Jane Bensch, B.A.
Tel.: +49 631 20575 4010

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Eingebettete Intelligenz
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

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