Embedded Intelligence

PUBLICATIONS

In: Gérard Morel, Francois B. Vernadat (editor). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM) Pages 121-126 1998.

To the publication

In: O. Herzog, A. Günter (editor). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI) Bremen Springer Verlag, LNCS 1504 1998.

To the publication

In: Proceedings 15th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI) August 23-29 Nagoya Japan Pages 1240-1245 2 Morgan Kaufmann 1997.

To the publication

In: A. Wolisz, I. Schieferdecker, A. Rennoch (editor). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT) GMD-Studien 315 GMD 1997.

To the publication

In: Wolfgang Wahlster (editor). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96) 12th August 11-16 Budapest Hungary Pages 599-603 John Wiley & Sons 1996.

To the publication

In: Brian Drabble (editor). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on Artificial Intelligence Planning Systems (AIPS-96) 3rd May 20-31 Edinburgh United Kingdom Pages 213-220 AAAI-Press 1996.

To the publication

In: J. Woodcock, M. C. Gaudel (editor). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96) 3rd March 17-21 Oxford United Kingdom Pages 168-286 Lecture Notes In Computer Science (LNCS) 1051 ISBN 3-540-60973-3 Springer-Verlag London, UK 1996.

To the publication

In: R. Gotzhein, J. Bredereke (editor). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT) June 22-23 Kaiserlautern Germany 1995.

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