Adaptive compression of image data. - Sergei Hludov; Claus Schröter; Christoph Meinel (Broadband European Networks and Multimedia Services, 1998)

Net Reductions for LTL Model-Checking. - Javier Esparza; Claus Schröter (CHARME, 2001)

Unfolding Based Algorithms for the Reachability Problem. - Javier Esparza; Claus Schröter (Fundam. Informaticae, 2001)

The Model-Checking Kit. - Claus Schröter; Stefan Schwoon; Javier Esparza (ICATPN, 2003)

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. - Claus Schröter; Victor Khomenko (CAV, 2004)

Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen. - Claus Schröter (2007)