Follow
Christian Sternagel
Christian Sternagel
Unknown affiliation
Verified email at uibk.ac.at - Homepage
Title
Cited by
Cited by
Year
Certification of termination proofs using CeTA
R Thiemann, C Sternagel
International Conference on Theorem Proving in Higher Order Logics, 452-468, 2009
2062009
Tyrolean termination tool 2
M Korp, C Sternagel, H Zankl, A Middeldorp
International Conference on Rewriting Techniques and Applications, 295-304, 2009
1632009
The termination and complexity competition
J Giesl, A Rubio, C Sternagel, J Waldmann, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
402019
Root-labeling
C Sternagel, A Middeldorp
International Conference on Rewriting Techniques and Applications, 336-350, 2008
402008
The certification problem format
C Sternagel, R Thiemann
11th Workshop on User Interfaces for Theorem Provers, 2014
342014
Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
C Sternagel, R Thiemann
24th International Conference on Rewriting Techniques and Applications (RTA), 2013
342013
Finding and certifying loops
H Zankl, C Sternagel, D Hofbauer, A Middeldorp
International Conference on Current Trends in Theory and Practice of …, 2010
262010
Signature extensions preserve termination
C Sternagel, R Thiemann
EACSL Annual Conference on Computer Science Logic, 514-528, 2010
252010
Generalized and formalized uncurrying
C Sternagel, R Thiemann
International Symposium on Frontiers of Combining Systems, 243-258, 2011
202011
Termination of Isabelle functions via termination of rewriting
A Krauss, C Sternagel, R Thiemann, C Fuhs, J Giesl
International Conference on Interactive Theorem Proving, 152-167, 2011
202011
Reachability analysis for termination and confluence of rewriting
C Sternagel, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
172019
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
C Sternagel, T Sternagel
1st International Conference on Formal Structures for Computation and Deduction, 2016
172016
Foundational (co) datatypes and (co) recursion for higher-order logic
J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ...
International Symposium on Frontiers of Combining Systems, 3-21, 2017
162017
Proof pearl—A mechanized proof of GHC’s mergesort
C Sternagel
Journal of Automated Reasoning 51 (4), 357-370, 2013
162013
Infinite runs in abstract completion
N Hirokawa, A Middeldorp, C Sternagel, S Winkler
2nd International Conference on Formal Structures for Computation and …, 2017
152017
AC Dependency Pairs Revisited
A Yamada, C Sternagel, R Thiemann, K Kusakari
25th EACSL Annual Conference on Computer Science Logic, 2016
142016
Certification of complexity proofs using CeTA
M Avanzini, C Sternagel, R Thiemann
26th International Conference on Rewriting Techniques and Applications, 2015
142015
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems
C Sternagel, T Sternagel
International Conference on Automated Deduction, 413-431, 2017
112017
Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
C Sternagel, R Thiemann
1st Joint International Conference on Rewriting and Typed Lambda Calculi …, 2014
112014
Loops under strategies
R Thiemann, C Sternagel
International Conference on Rewriting Techniques and Applications, 17-31, 2009
112009
The system can't perform the operation now. Try again later.
Articles 1–20