Kognitive Assistenzsysteme

PUBLIKATIONEN

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

Zur Publikation

In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03) July 2-4 Platja d'Aro Spain 2018.

Zur Publikation

In: Sunil Khatri (Hrsg.). 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.

Zur Publikation

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

Zur Publikation

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.

Zur Publikation

In: Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokhar, Sebastian Ahrndt (Hrsg.). 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 Seiten 131-146 Lecture Notes in Artificial Intelligence (LNAI) 9872 Springer 9/2016.

Zur Publikation

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.

Zur Publikation

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

Zur Publikation

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.

Zur Publikation

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

Zur Publikation

Kontakt

Sekretariat:
Iris Lambrecht
Tel.: +49 681 85775 5006

Teamassistenz:
Sylvia Krüger
Tel.: +49 681 85775 5152

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland

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