Cognitive Assistants

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

Secretary:
Iris Lambrecht
Phone: +49 681 85775 5006

Team Assistant:
Sylvia Krüger
Phone: +49 681 85775 5152

German Research Center for
Artificial Intelligence GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland

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