Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. - Christoph Jäschke; Carsten Schmitt; Ulla Herter; Tobias Wich; Jochen Rust (MBMV, 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 (UP, 2010)

Connecting a C++ based Structural Verification Tool to the Web. - Carsten Schmitt; Christoph Jäschke; Claudia Wolkober; Ulla Herter (MBMV, 2016)

Static netlist verification for IBM high-frequency processors using a tree-grammar. - Christoph Jäschke; Ulla Herter; Claudia Wolkober; Carsten Schmitt; Christian G. Zoellin (DATE, 2017)