Carsten Fuhs

Available identifiers

zbMath Open fuhs.carstenMaRDI QIDQ438534

List of research outcomes

Publication	Date of Publication	Type
On complexity bounds and confluence of parallel term rewriting	2024-10-21	Paper
A static higher-order dependency pair framework	2023-11-24	Paper
Analysing parallel complexity of term rewriting	2023-06-02	Paper
Polynomial interpretations for higher-order rewriting	2020-05-27	Paper
Transforming derivational complexity of term rewriting to runtime complexity	2020-05-13	Paper
A decision procedure for satisfiability in separation logic with inductive predicates	2018-04-23	Paper
Complexity analysis for term rewriting by integer transition systems	2018-01-04	Paper
Verifying procedural programs via constrained rewriting induction	2017-07-13	Paper
Analyzing program termination and complexity automatically with \textsf{AProVE}	2017-07-10	Paper
Automatically proving termination and memory safety for programs with pointer arithmetic	2017-07-10	Paper
Proving termination of programs automatically with AProVE	2014-09-26	Paper
Proving termination and memory safety for programs with pointer arithmetic	2014-09-26	Paper
First-order formative rules	2014-07-24	Paper
A linear operational semantics for termination and complexity analysis of ISO prolog	2013-03-13	Paper
Proving termination by dependency pairs and inductive theorem proving	2012-07-31	Paper
Harnessing first order termination provers using higher order dependency pairs	2011-10-07	Paper
Termination of Isabelle functions via termination of rewriting	2011-08-17	Paper
SAT-based termination analysis using monotonicity constraints over the integers	2011-08-16	Paper
Optimal base encodings for pseudo-Boolean constraints	2011-05-19	Paper
Lazy abstraction for size-change termination	2010-10-12	Paper
Synthesizing shortest linear straight-line programs over \(\mathrm{GF}(2)\) using SAT	2010-09-29	Paper
Termination Analysis by Dependency Pairs and Inductive Theorem Proving	2009-07-28	Paper
Proving Termination of Integer Term Rewriting	2009-06-30	Paper
SAT Solving for Termination Analysis with Polynomial Interpretations	2009-03-10	Paper
Search Techniques for Rational Polynomial Orders	2009-01-27	Paper
Improving Context-Sensitive Dependency Pairs	2009-01-27	Paper
Maximal Termination	2008-08-28	Paper

Research outcomes over time

This page was built for person: Carsten Fuhs