Publications

Displaying results 31 to 40 of 9066

In: EVA Berlin 2016 -- Elektronische Medien \& Medien, Kultur, Historie. EVA - Electronic Media and Art, Culture, History (EVA-16) November 9-11 Berlin Germany Pages 19-22 in print 11/2016.

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

In: 2016 Workshop on Computer-Aided Design and Implementation for Cryptography and Security. Workshop on Computer-Aided Design and Implementation for Cryptography and Security (CADICS) 35th ICCAD November 10-10 Austin TX United States 2016.

To the publication

In: Automatic Methods for the Refinement of System Models. Springer International Publishing 2016.

To the publication

In: 2. Transdisziplinäre Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen". Transdisziplinäre Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen" December 12-13 Hamburg Germany Pages 504-517 Elsevier 12/2016.

To the publication

In: PQS 2016 5th ISCA/DEGA Workshop on Perceptual Quality of Systems. Perceptual Quality of Systems Pages 132-136 ISCA archive 2016.

To the publication

In: RoboCup 2016: Robot Soccer World Cup XX, Lecture Notes in Artificial Intelligence RoboCup 2016: Robot World Cup XX. RoboCup International Symposium (RoboCup-2016) July 4-4 Leipzig Germany Pages 503-514 Lecture Notes in Artificial Intelligence 9776 Springer 2017.

To the publication

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