Carsten Schmitt

According to our database, Carsten Schmitt authored at least 4 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Static netlist verification for IBM high-frequency processors using a tree-grammar.

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Connecting a C++ based Structural Verification Tool to the Web.

Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2010

Redesign von Find a Fertility Clinic der HFEA: Zwischen Transparenz und Schutz der User vor sich selbst - Darstellungen von Erfolgswahrscheinlichkeiten in der.

Carsten Schmitt

Proceedings of the Jahresband 2010 der Workshops der German Usability Professionals' Association e.V., 2010

Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.

Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010