Embedded Intelligence

PUBLICATIONS

In: Michael Wooldridge (editor). 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.

To the publication

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

To the publication

In: M. Huhn, H. Hungar (editor). 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) located at ETAPS'08 March 29 Budapest Hungary Pages 57-70 238 4 Elsevier B.V. 2009.

To the publication

In: Thomas Bolander, Torben Braüner (editor). 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.

To the publication

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

To the publication

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

To the publication

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

To the publication

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

German Research Center for
Artificial Intelligence GmbH (DFKI)
Research Department Embedded Intelligence
Trippstadter Str. 122
67663 Kaiserslautern
Germany

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