Publications (EI)

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

To the publication

In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03) July 2-4 Platja d'Aro Spain 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: Proceedings of the 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16) 12th September 12-13 London United Kingdom IEEE 9/2016.

To the publication

In: Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokhar, Sebastian Ahrndt (editor). Proceedings of the 14th German Conference on Multiagent System Technologies (Mates 2016). German Conference on Multiagent System Technologies (MATES-2016) September 27-30 Klagenfurt Austria Pages 131-146 Lecture Notes in Artificial Intelligence (LNAI) 9872 Springer 9/2016.

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: 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

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