Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. - Werner Damm; Christoph Schulte; Hartmut Wittke; Marc Segelken; Uwe Higgen; Michael Eckrich (GI Jahrestagung (1), 2003)

Model Checking (Grundlagen und Praxiserfahrungen). - Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbring; Bernhard Josko; Christoph Schulte; Thomas Wolf (Inform. Spektrum, 2004)

Examples of Self-optimizing Systems. - Joachim Böcker; Christian Heinzemann; Christian Hölscher; Jan Henning Keßler; Bernd Kleinjohann; Lisa Kleinjohann; Claudia Priesterjahn; Christoph Rasche 002; Peter Reinold; Christoph Romaus; Thomas Schierbaum; Tobias Schneider; et al. (Design Methodology for Intelligent Technical Systems, 2014)

Co-simulation of an interior permanent magnet synchronous motor with segmented rotor structure. - Christoph Schulte; Joachim Böcker (IECON, 2014)

Best of both, Structured and Unstructured Sparsity in Neural Networks. - Christoph Schulte; Sven Wagner; Armin Runge; Dimitrios Bariamis; Barbara Hammer (EuroMLSys@EuroSys, 2023)