Cognitive Assistants

PUBLICATIONS

In: Paul J. J. Welfens, Ellen Walther-Klaus. Digital Excellence, University Meets Economy. Pages 83-97 ISBN 978-3-540-72620-3 Springer Berlin Heidelberg 2008.

To the publication

In: Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (editor). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008) September 23-26 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 5243 ISBN 978-3-540-85844-7 Springer Berlin, Heidelberg 2008.

To the publication

In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06) September 27-29 Gdansk Poland Pages 42-56 LNCS 4166 ISBN 3-540-45762-3 Springer 2006.

To the publication

In: International Journal on Software Tools for Technology Transfer 3 1 Pages 66-77 Springer Berlin, Heidelberg 2000.

To the publication

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS) Pages 367-376 AAAI-Press 2000.

To the publication

In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS) 2000.

To the publication

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium 2000.

To the publication

In: Dieter Hutter, Werner Stephan, P. Traverso, M. Ullmann (editor). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98) Boppard Germany Pages 351-358 Lecture Notes in Computer Science (LNCS) 1641 ISBN 978-3-540-66462-8 Springer-Verlag Berlin, Heidelberg 1999.

To the publication

In: R. Berghammer, Y. Lakhnech (editor). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification Pages 217-229 Advances in Computing Science Springer 1999.

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