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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Sternagel