A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. - Bernhard Beckert; Steffen Schlager (IJCAR, 2001)

Software Verification with Integrated Data Type Refinement for Integer Arithmetic. - Bernhard Beckert; Steffen Schlager (IFM, 2004)

An Improved Rule for While Loops in Deductive Program Verification. - Bernhard Beckert; Steffen Schlager; Peter H. Schmitt (ICFEM, 2005)

Verification of JCSP Programs. - Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (CPA, 2005)

Refinement and retrenchment for programming language data types. - Bernhard Beckert; Steffen Schlager (Formal Aspects Comput., 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

The KeY system 1.0 (Deduction Component). - Bernhard Beckert; Martin Giese; Reiner Hähnle; Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (CADE, 2007)

Symbolic execution as a framework for deductive verification of object-oriented programs. - Steffen Schlager (2007)

Dynamic Logic. - Bernhard Beckert; Vladimir Klebanov; Steffen Schlager (The KeY Approach, 2007)

Java Integers. - Steffen Schlager (The KeY Approach, 2007)

Predefined Operators in Java Card DL. - Steffen Schlager (The KeY Approach, 2007)

A Review on Blockchain Technology and Blockchain Projects Fostering Open Science. - Stephan Leible; Steffen Schlager; Moritz Schubotz; Bela Gipp (Frontiers Blockchain, 2019)

Dataset - A Review on Blockchain Technology and Blockchain Projects Fostering Open Science. - Stephan Leible; Steffen Schlager; Moritz Schubotz; Bela Gipp (Zenodo, 2019)

Together Forward: Employee-driven Innovation as a Driver for Twin Transformation in Higher Education. - Stephan Leible; Dejan Simic; Gian-Luca Gücük; Constantin von Brackel-Schmidt; Steffen Schlager (INFORMATIK, 2024)