Carsten Fuhs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
14
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | An Innermost DP Framework for Constrained Higher-Order Rewriting. | Carsten Fuhs, Liye Guo, Cynthia Kop |
| 2024 | IFM | Proving Termination via Measure Transfer in Equivalence Checking. | Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak |
| 2022 | LOPSTR | Analysing Parallel Complexity of Term Rewriting. | Thas Baudon, Carsten Fuhs, Laure Gonnord |
| 2019 | ESOP | A Static Higher-Order Dependency Pair Framework. | Carsten Fuhs, Cynthia Kop |
| 2014 | CADE | Proving Termination of Programs Automatically with AProVE. | Jrgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plcker, Peter Schneider-Kamp, Thomas Strder, Stephanie Swiderski, Ren Thiemann |
| 2014 | CADE | Proving Termination and Memory Safety for Programs with Pointer Arithmetic. | Thomas Strder, Jrgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp |
| 2014 | CSL | A decision procedure for satisfiability in separation logic with inductive predicates. | James Brotherston, Carsten Fuhs, Juan Antonio Navarro Prez, Nikos Gorogiannis |
| 2014 | FMCAD | Disproving termination with overapproximation. | Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
| 2014 | TACAS | Alternating Runtime and Size Complexity Analysis of Integer Programs. | Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jrgen Giesl |
| 2014 | TACAS | Proving Nontermination via Safety. | Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
| 2013 | CAV | Better Termination Proving through Cooperation. | Marc Brockschmidt, Byron Cook, Carsten Fuhs |
| 2012 | CADE | Exotic Semi-Ring Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Jrgen Giesl, Johannes Waldmann |
| 2012 | LOPSTR | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | PPDP | Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2011 | ITP | Termination of Isabelle Functions via Termination of Rewriting. | Alexander Krauss, Christian Sternagel, Ren Thiemann, Carsten Fuhs, Jrgen Giesl |
| 2011 | LOPSTR | A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. | Thomas Strder, Fabian Emmes, Peter Schneider-Kamp, Jrgen Giesl, Carsten Fuhs |
| 2011 | TACAS | Optimal Base Encodings for Pseudo-Boolean Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp |
| 2010 | LPAR | Lazy Abstraction for Size-Change Termination. | Michael Codish, Carsten Fuhs, Jrgen Giesl, Peter Schneider-Kamp |
| 2010 | LPAR | Optimizing the AES S-Box using SAT. | Carsten Fuhs, Peter Schneider-Kamp |
| 2010 | SAT | Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT. | Carsten Fuhs, Peter Schneider-Kamp |
| 2009 | CADE | Termination Analysis by Dependency Pairs and Inductive Theorem Proving. | Stephan Swiderski, Michael Parting, Jrgen Giesl, Carsten Fuhs, Peter Schneider-Kamp |
| 2008 | AISC | Search Techniques for Rational Polynomial Orders. | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jrgen Giesl, Salvador Lucas, Peter Schneider-Kamp |
| 2008 | LPAR | Improving Context-Sensitive Dependency Pairs. | Beatriz Alarcn, Fabian Emmes, Carsten Fuhs, Jrgen Giesl, Ral Gutirrez, Salvador Lucas, Peter Schneider-Kamp, Ren Thiemann |
| 2007 | SAT | SAT Solving for Termination Analysis with Polynomial Interpretations. | Carsten Fuhs, Jrgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, Ren Thiemann, Harald Zankl |