Publications

Displaying results 1 to 10 of 488

In: Proceedings of the 14th International Conference on Smart City. IEEE International Conference on Smart City 14th December 12-14 Sydney Australia IEEE 2017.

To the publication

In: Referate der 37. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2017) Digitale Transformation - Wege in eine zukunftsfähige Landwirtschaft March 6-7 Dresden Germany Pages 141-144 ISBN 978-3-88579-662-6 Gesellschaft für Informatik 2017.

To the publication

In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. International Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA-17) Denver Colorado United States ACM 5/2017.

To the publication

In: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-15) 15th September 29-October 2 Wien Austria 2017.

To the publication

In: Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. International ICST Conference on Pervasive Computing Technologies for Healthcare (Pervasive Health-17) 11th EAI International Conference on Pervasive Computing Technologies for Healthcare May 23-26 Barcelona Spain ACM Digital Library 2017.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 2017.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

To the publication

In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20) February 8-9 Bremen Germany 2017.

To the publication

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