Christian Sternagel
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
1612009
Tyrolean termination tool 2
M Korp, C Sternagel, H Zankl, A Middeldorp
International Conference on Rewriting Techniques and Applications, 295-304, 2009
1452009
Root-labeling
C Sternagel, A Middeldorp
International Conference on Rewriting Techniques and Applications, 336-350, 2008
372008
Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
C Sternagel, R Thiemann
24th International Conference on Rewriting Techniques and Applications (RTA), 2013
262013
The certification problem format
C Sternagel, R Thiemann
11th Workshop on User Interfaces for Theorem Provers, 2014
252014
Finding and certifying loops
H Zankl, C Sternagel, D Hofbauer, A Middeldorp
International Conference on Current Trends in Theory and Practice of …, 2010
252010
Signature extensions preserve termination
C Sternagel, R Thiemann
EACSL Annual Conference on Computer Science Logic, 514-528, 2010
192010
Generalized and formalized uncurrying
C Sternagel, R Thiemann
International Symposium on Frontiers of Combining Systems, 243-258, 2011
172011
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
162011
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
142017
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
142016
Proof pearl—A mechanized proof of GHC’s mergesort
C Sternagel
Journal of automated reasoning 51 (4), 357-370, 2013
132013
Infinite runs in abstract completion
N Hirokawa, A Middeldorp, C Sternagel, S Winkler
2nd International Conference on Formal Structures for Computation and …, 2017
102017
Certification of complexity proofs using CeTA
M Avanzini, C Sternagel, R Thiemann
102015
Executable matrix operations on matrices of arbitrary dimensions
C Sternagel, R Thiemann
Archive of Formal Proofs 2010, 2010
102010
Loops under strategies
R Thiemann, C Sternagel
International Conference on Rewriting Techniques and Applications, 17-31, 2009
102009
A New and Formalized Proof of Abstract Completion
N Hirokawa, A Middeldorp, C Sternagel
5th International Conference on Interactive Theorem Proving, ITP 2014, 292-307, 2014
82014
Certification of nontermination proofs
C Sternagel, R Thiemann
3rd International Conference on Interactive Theorem Proving (ITP), 266-282, 2012
82012
Executable transitive closures of finite relations
C Sternagel, R Thiemann
The Archive of Formal Proofs. http://afp. sf. net/entries/Transitive-Closure …, 2011
82011
Loops under strategies... continued
R Thiemann, C Sternagel, J Giesl, P Schneider-Kamp
arXiv preprint arXiv:1012.5563, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20