Embedded Intelligence

PUBLICATIONS

In: Margaria Tiziana, Bernhard Steffen (editor). 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

In: Pedro Quaresma, Ralph-Johan Back (editor). Electronic Proceedings in Theoretical Computer Science (EPTCS) 79 Pages 1-28 ArXiv 2/2012.

To the publication

In: James H. Davenport, William Farmer, Florian Rabe, Joseph Urban (editor). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management located at Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication

In: Pedro Quaresma, Ralph-Johan Back (editor). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11) located at Conference on Automated Deduction July 31 Wroclaw Poland Pages 11-15 CISUC Technical Report 2011/001 University of Coimbra, Portugal 7/2011.

To the publication

In: Matt Kaufmann, Lawrence C. Paulson (editor). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010) July 11-14 Edinburgh United Kingdom Pages 99-114 Lecture Notes in Computer Sciences (LNCS) 6172 Springer 7/2010.

To the publication

In: Matthew Crocker, Jörg Siekmann (editor). Resource Adaptive Cognitive Processes. Page 28 LNAI ISBN 978-3-540-89407-0 Springer 11/2009.

To the publication

In: Bärbel Mertsching (editor). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09) 32nd September 15-18 Paderborn Germany Lectures Notes in Computer Science (LNCS) Springer 9/2009.

To the publication

In: Manfred Kerber (editor). Journal Mathematics in Computer Science 2 2 Pages 253-277 Birkhäuser 12/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