Dieter Hofbauer

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Venues

CoRR

FSCD

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions. CoRR (2023)
Dieter Hofbauer, Johannes Waldmann
Old and New Benchmarks for Relative Termination of String Rewrite Systems. CoRR (2023)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Sparse Tiling through Overlap Closures for Termination of String Rewriting. CoRR (2020)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Sparse Tiling Through Overlap Closures for Termination of String Rewriting. FSCD (2019)
Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp
Finding and Certifying Loops. SOFSEM (2010)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
On tree automata that certify termination of left-linear term rewriting systems. Inf. Comput. 205 (4) (2007)
Dieter Hofbauer, Johannes Waldmann
}. Inf. Process. Lett. 98 (4) (2006)
Dieter Hofbauer, Johannes Waldmann
Termination of String Rewriting with Matrix Interpretations. RTA (2006)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. RTA (2005)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
Finding finite automata that certify termination of string rewriting systems. Int. J. Found. Comput. Sci. 16 (3) (2005)
Etsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto
On state-alternating context-free grammars. Theor. Comput. Sci. 337 (1-3) (2005)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. J. Autom. Reason. 34 (4) (2005)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
Finding Finite Automata That Certify Termination of String Rewriting. CIAA (2004)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Match-Bounded String Rewriting Systems. Appl. Algebra Eng. Commun. Comput. 15 (3-4) (2004)
Dieter Hofbauer, Johannes Waldmann
Deleting string rewriting systems preserve regularity. Theor. Comput. Sci. 327 (3) (2004)
Dieter Hofbauer
An upper bound on the derivational complexity of Knuth-Bendix orderings. Inf. Comput. 183 (1) (2003)
Dieter Hofbauer, Johannes Waldmann
Deleting String Rewriting Systems Preserve Regularity. Developments in Language Theory (2003)
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Match-Bounded String Rewriting Systems. MFCS (2003)
Dieter Hofbauer, Maria Huber
Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178 (2) (2002)
Dieter Hofbauer
Termination Proofs by Context-Dependent Interpretations. RTA (2001)
Dieter Hofbauer
Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity. Appl. Algebra Eng. Commun. Comput. 12 (1/2) (2001)
Dieter Hofbauer, Maria Huber
Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA (1999)
Dieter Hofbauer, Maria Huber, Gregory Kucherov
Some Results on Top-Context-Free Tree Languages. CAAP (1994)
Dieter Hofbauer, Maria Huber
Linearizing Term Rewriting Systems Using Test Sets. J. Symb. Comput. 17 (1) (1994)
Dieter Hofbauer, Maria Huber
Computing Linearizations Using Test Sets. CTRS (1992)
Dieter Hofbauer
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. Theor. Comput. Sci. 105 (1) (1992)
Dieter Hofbauer
Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding. RTA (1991)
Dieter Hofbauer
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. ALP (1990)
Dieter Hofbauer, Clemens Lautemann
Termination Proofs and the Length of Derivations (Preliminary Version). RTA (1989)
Dieter Hofbauer, Ralf-Detlef Kutsche
Proving Inductive Theorems Based on Term Rewriting Systems. ALP (1988)
Dieter Hofbauer, Ralf-Detlef Kutsche
Proving Inductive Theorems in Equational Theories. ADT (1988)

Dieter Hofbauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dieter Hofbauer