Steffen Schlager
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2024
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | GI | Together Forward: Employee-driven Innovation as a Driver for Twin Transformation in Higher Education. | Stephan Leible, Dejan Simic, Gian-Luca Gck, Constantin von Brackel-Schmidt, Steffen Schlager |
| 2007 | CADE | The KeY system 1.0 (Deduction Component). | Bernhard Beckert, Martin Giese, Reiner Hhnle, Vladimir Klebanov, Philipp Rmmer, Steffen Schlager, Peter H. Schmitt |
| 2005 | ICFEM | An Improved Rule for While Loops in Deductive Program Verification. | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
| 2004 | IFM | Software Verification with Integrated Data Type Refinement for Integer Arithmetic. | Bernhard Beckert, Steffen Schlager |
| 2001 | CADE | A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. | Bernhard Beckert, Steffen Schlager |