Publications

Displaying results 1 to 10 of 357

In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education. ACM Technical Symposium on Computer Science Education (SIGCSE-2020) March 11-14 Portland United States ACM 2020.

To the publication

In: Proceedings of the 19th Koli Calling International Conference on Computing Education Research. International Conference on Computing Education Research (Koli Calling-2019) November 21-24 Koli Finland ACM New York, NY 2019.

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

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