Christian Sternagel

Available identifiers

zbMath Open sternagel.christianMaRDI QIDQ530846

List of research outcomes

Publication	Date of Publication	Type
Reachability Analysis for Termination and Confluence of Rewriting	2023-11-24	Paper
A Mechanized Proof of Higman’s Lemma by Open Induction	2020-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5111315	2020-05-26	Paper
Certified equational reasoning via ordered completion	2020-03-10	Paper
Certified Kruskal's Tree Theorem	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5232901	2019-09-13	Paper
A formally verified solver for homogeneous linear Diophantine equations	2018-10-04	Paper
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion	2017-10-17	Paper
Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems	2017-09-22	Paper
AC Dependency Pairs Revisited	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5277869	2017-07-12	Paper
Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion	2017-02-01	Paper
A framework for developing stand-alone certifiers	2016-08-01	Paper
Deriving Comparators and Show Functions in Isabelle/HOL	2015-09-14	Paper
Proof pearl: A mechanized proof of GHC's mergesort	2015-06-23	Paper
Transforming SAT into Termination of Rewriting	2015-04-09	Paper
Certified Kruskal’s Tree Theorem	2015-01-13	Paper
A New and Formalized Proof of Abstract Completion	2014-09-08	Paper
Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs	2014-07-24	Paper
Certification of Nontermination Proofs	2012-09-20	Paper
CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES	2012-04-25	Paper
Modular and Certified Semantic Labeling and Unlabeling	2012-04-24	Paper
Generalized and Formalized Uncurrying	2011-10-07	Paper
Termination of Isabelle functions via termination of rewriting	2011-08-17	Paper
Signature extensions preserve termination. An alternative proof via dependency pairs	2010-09-03	Paper
Finding and certifying loops	2010-01-28	Paper
Certification of Termination Proofs Using CeTA	2009-10-20	Paper
Loops under Strategies	2009-06-30	Paper
Root-Labeling	2008-08-28	Paper

Research outcomes over time

This page was built for person: Christian Sternagel