Innovative Factory Systems

PUBLICATIONS

In: Peter Csaba Ölveczky, Gwen Salaün (editor). Software Engineering and Formal Methods - 17th International Conference, Proceedings.. International Conference on Software Engineering and Formal Methods (SEFM-2019) September 16-20 Oslo Norway Pages 454-468 Lecture Notes in Computer Science (LNCS) 11724 ISBN 978-3-030-30446-1 Springer Cham 9/2019.

To the publication

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

To the publication

In: 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-05) located at DATE 2018 March 19-23 Dresden Germany 2018.

To the publication

In: Sunil Khatri (editor). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017) 6th September 20-23 Noida India IEEE 9/2017.

To the publication

In: Serge Autexier, Pedro Queresma (editor). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016) located at International Joint Conference on Automated Reasoning IJCAR 2016 July 2 Coimbra Portugal Pages 43-52 Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 Open Publishing Association 1/2017.

To the publication

In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-16) March 18 Dresden Germany 3/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: 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: 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: 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

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