Publications

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 37 7 Pages 1422-1435 IEEE 2018.

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) March 14-18 Dresden Germany 2016.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE) March 14-18 Dresden Germany Pages 1048-1053 2016.

To the publication

In: 21st Asia and South Pacific Design Automation Conference ASP-DAC 2016. Asia and South Pacific Design Automation Conference (ASP-DAC-21) January 25-28 Macau China Pages 474-479 2016.

To the publication

In: Proceedings of the 53th Design Automation Conference (DAC). Design Automation Conference (DAC-53) 53th June 5-9 Austin United States 2016.

To the publication

In: International Symposium on Multiple-Valued Logic. International Symposium on Multiple-Valued Logic (AAAI SSS) IEEE 2016.

To the publication

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