Embedded Intelligence

PUBLICATIONS

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12 4 Pages 473-488 Taylor & Francis 10/2000.

To the publication

In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop Cambridge Pages 185-199 IEEE Computer Society 7/2000.

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 Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium 2000.

To the publication

In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000. International FLAIRS Conference (FLAIRS) Orlando Pages 341-345 AAAI Press 2000.

To the publication

In: C. Choppy, D. Bert (editor). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT) Pages 73-88 Springer, LNCS 1827 2000.

To the publication

In: Neil V.Murray (editor). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) Saratoga Springs Pages 217-231 LNAI 1617 Springer 6/1999.

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: H.Ganzinger (editor). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE) Trento Springer-Verlag, LNAI 1632 1999.

To the publication

In: J. Dix, L. Farinas del Cerro, U. Furbach (editor). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in Artificial Intelligence, European Workshop (JELIA) Dagstuhl Pages 169-183 LNAI 1489 Springer 10/1998.

To the publication

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

Deutsches Forschungszentrum für Künstliche Intelligenz 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