Innovative Factory Systems

PUBLICATIONS

In: Michael Freitag, Herbert Kotzab, Jürgen Pannek (Ed) (editor). 5th International Conference on Dynamics in Logistics (LDIC 2016). International Conference on Dynamics in Logistics (LDIC-2016) Pages 3-17 Lecture Notes in Logistics Springer 2016.

To the publication

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

To the publication

In: Heather Miller, Philipp Haller (editor). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14) 5th Annual Scala Workshop located at ECOOP 2014 July 28-29 Uppsala Sweden Pages 63-66 ISBN 978-1-4503-2868-5 ACM New York 7/2014.

To the publication

In: G. Klein, R. Gamboa (editor). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014) located at Vienna Summer of Logic July 14-17 Wien Austria Pages 467-482 Lecture Notes in Computer Science (LNCS) 8558 Springer Verlag 7/2014.

To the publication

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Pages 4-7 4/2014.

To the publication

In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14) May 13-15 Warschau Poland VDE 2014.

To the publication

In: Jacques Carette (editor). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13) Pages 326-329 Lecture Notes in Artificial Intelligence (LNAI) 7961 Springer 7/2013.

To the publication

In: Kevin McMillan, Aart Middeldorp, Andrei Voronkov (editor). Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013) 19th December 14-19 Stellenbosch South Africa Pages 53-70 Lecture Notes in Computer Science 8312 Springer 2013.

To the publication

In: Margaria Tiziana, Bernhard Steffen (editor). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

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