Concepedia

Dieter Hofbauer

DH

9

Publications

302

Citations

9

H-Index

1992

Active since

Affiliations

Leipzig University of Applied Sciences(Current)

Technische Universität Berlin

Dieter Hofbauer is an author at Leipzig University of Applied Sciences specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGrammarProof ComplexityMachine TranslationComputational LinguisticsSyntax

Publications per year

1992–2007

9

Publications

9

Termination proofs by multiset path orderings imply primitive recursive derivation lengths

Dieter Hofbauer · Theoretical Computer Science · 1992 · 91 citations

Engineering, Proof Complexity, Formal Methods +8

Match-Bounded String Rewriting Systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann · Applicable Algebra in Engineering Communication and Computing · 2004 · 54 citations

Engineering, String-searching Algorithm, Automated Reasoning +5

On tree automata that certify termination of left-linear term rewriting systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann et al. · Information and Computation · 2007 · 47 citations · Full text

Tree Automata, Tree Language, Engineering +11

Deleting string rewriting systems preserve regularity

Dieter Hofbauer, Johannes Waldmann · Theoretical Computer Science · 2004 · 42 citations

String Processing, Rewriting System, Regulated Rewriting +1

Dieter Hofbauer, Johannes Waldmann · Information Processing Letters · 2006 · 15 citations

Rows per page

1–5 of 9