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