Publikationen

Zeige Ergebnisse 1 bis 10 von 83

In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th MODELS 2015 September 29-29 Ottawa ON Canada 2015.

Zur Publikation

In: Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD) September 27-30 Austin TX United States 2015.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

In: Information Processing Letters 139 Seiten 1-7 Elsevier 2018.

Zur Publikation

In: 48th IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2018) May 16-18 Linz Austria 2018.

Zur Publikation

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