Embedded Intelligence

PUBLICATIONS

Technical Report Deutsches Forschungszentrum für Künstliche Intelligenz DFKI Research Reports (RR) 10-01 2010.

To the publication

In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010) 10th located at Intelligent Computer Mathematics 2010 (CICM 2010) July 5-10 Paris France Pages 34-48 Lecture Notes in Computer Science (LNCS) 6167 Springer 2010.

To the publication

In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010) September 14-17 Vienna Austria Pages 347-360 Lecture Notes in Computer Science (LNCS) 6351 Springer 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: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008) August 22-22 Montreal QC Canada Pages 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

To the publication

In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09) 9th September 23-25 Swansea United Kingdom Electronic Communications of the EASST 23 2009.

To the publication

In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009) November 2-6 Eindhoven Netherlands Pages 419-434 Lecture Notes in Computer Science (LNCS) 5350 Springer 2009.

To the publication

In: Serge Autexier, J. Campbell, J. Rubio (editor). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007) located at Conferences on Intelligent Computer Mathematics (CICM 2008) July 28-August 1 Birmingham United Kingdom Pages 339-354 Lecture Notes in Computer Science (LNCS) 5144 Springer 2008.

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

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