Resource Constrained Modulo Scheduling with Global Resource Sharing. - Christoph Jäschke; Rainer Laur (ISSS, 1998)

Time Constrained Modulo Scheduling with Global Resource Sharing. - Christoph Jäschke; Rainer Laur; Friedrich Beckmann (DATE, 1999)

Globale Ressourcenteilung in der High-Level-Synthese. - Christoph Jäschke (VDI-Verlag, 2000)

Faust2 – A Processor High-Level Modeling Framework. - Christoph Jäschke; Zoltán Hidvégi; Wolfgang Rösner (MBMV, 2004)

Control Register Specification and Verification in Complex Systems. - Christoph Jäschke; Ralf Winkelmann; Johannes Kösters (MBMV, 2006)

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