| 2020 | FSCD | Certifying the Weighted Path Order (Invited Talk). | Ren Thiemann, Jonas Schpf, Christian Sternagel, Akihisa Yamada |
| 2019 | CADE | Certified Equational Reasoning via Ordered Completion. | Christian Sternagel, Sarah Winkler |
| 2019 | CPP | Certified ACKBO. | Alexander Lochmann, Christian Sternagel |
| 2019 | TACAS | The Termination and Complexity Competition. | Jrgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada |
| 2019 | TACAS | nonreach - A Tool for Nonreachability Analysis. | Florian Mener, Christian Sternagel |
| 2019 | TACAS | Reachability Analysis for Termination and Confluence of Rewriting. | Christian Sternagel, Akihisa Yamada |
| 2018 | ITP | A Formally Verified Solver for Homogeneous Linear Diophantine Equations. | Florian Mener, Julian Parsert, Jonas Schpf, Christian Sternagel |
| 2017 | CADE | Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. | Christian Sternagel, Thomas Sternagel |
| 2016 | CSL | AC Dependency Pairs Revisited. | Akihisa Yamada, Christian Sternagel, Ren Thiemann, Keiichirou Kusakari |
| 2015 | ITP | Deriving Comparators and Show Functions in Isabelle/HOL. | Christian Sternagel, Ren Thiemann |
| 2014 | ITP | A New and Formalized Proof of Abstract Completion. | Nao Hirokawa, Aart Middeldorp, Christian Sternagel |
| 2013 | CPP | Certified Kruskal's Tree Theorem. | Christian Sternagel |
| 2012 | ITP | Certification of Nontermination Proofs. | Christian Sternagel, Ren Thiemann |
| 2011 | ITP | Termination of Isabelle Functions via Termination of Rewriting. | Alexander Krauss, Christian Sternagel, Ren Thiemann, Carsten Fuhs, Jrgen Giesl |
| 2010 | CSL | Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs. | Christian Sternagel, Ren Thiemann |
| 2010 | SOFSEM | Finding and Certifying Loops. | Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp |