Innovative Factory Systems

PUBLICATIONS

In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18) 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning March 10-15 Merida Venezuela Pages 92-106 Lecture Notes in Computer Science (LNCS) 7180 Springer Verlag Berlin Heidelberg 2012.

To the publication

In: Dominique Méry, Stephan Merz (editor). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference on Integrated Formal Methods (IFM-2010) October 11-14 Nancy France Pages 59-73 Lecture Notes in Computer Science (LNCS) 6396 Springer 10/2010.

To the publication

In: Mathematics in Computer Science 3 Pages 309-330 Birkhäuser 3/2010.

To the publication

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

Contact

Office:
Isabel Rheinheimer
Phone: +49 631 20575 3401
Fax: +49 631 20575 3402

German Research Center for
Artificial Intelligence GmbH (DFKI)
Research Department Innovative Factory Systems
Trippstadter Str. 122
67663 Kaiserslautern
Germany

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