Publikationen

Zeige Ergebnisse 21 bis 30 von 85

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

Zur Publikation

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

Zur Publikation

In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV) March 1-2 Freiburg Germany 2016.

Zur Publikation

In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016) October 3-6 Mountain View United States 2016.

Zur Publikation

In: Problems and New Solutions in the Boolean Domain. Seiten 327-341 Cambridge Scholars Publishing 2016.

Zur Publikation

In: Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO) July 20-24 Denver Colorado United States 2016.

Zur Publikation

In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015) June 12-13 Mountain View CA United States 2015.

Zur Publikation

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