Dieter Hofbauer

	2010
28		Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp: Finding and Certifying Loops. SOFSEM 2010: 755-766
	2007
27		Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: On tree automata that certify termination of left-linear term rewriting systems. Inf. Comput. 205(4): 512-534 (2007)
	2006
26		Dieter Hofbauer, Johannes Waldmann: Termination of String Rewriting with Matrix Interpretations. RTA 2006: 328-342
25		Dieter Hofbauer, Johannes Waldmann: Termination of {aa->bc, bb->ac, cc->ab}. Inf. Process. Lett. 98(4): 156-158 (2006)
	2005
24		Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. RTA 2005: 353-367
23		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): 471-486 (2005)
22		Alfons Geser, Dieter Hofbauer, Johannes Waldmann: Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. J. Autom. Reasoning 34(4): 365-385 (2005)
21		Etsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto: On state-alternating context-free grammars. Theor. Comput. Sci. 337(1-3): 183-216 (2005)
	2004
20		Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: Finding Finite Automata That Certify Termination of String Rewriting. CIAA 2004: 134-145
19		Alfons Geser, Dieter Hofbauer, Johannes Waldmann: Match-Bounded String Rewriting Systems. Appl. Algebra Eng. Commun. Comput. 15(3-4): 149-171 (2004)
18		Dieter Hofbauer, Johannes Waldmann: Deleting string rewriting systems preserve regularity. Theor. Comput. Sci. 327(3): 301-317 (2004)
	2003
17		Dieter Hofbauer, Johannes Waldmann: Deleting String Rewriting Systems Preserve Regularity. Developments in Language Theory 2003: 337-348
16		Alfons Geser, Dieter Hofbauer, Johannes Waldmann: Match-Bounded String Rewriting Systems. MFCS 2003: 449-459
15		Dieter Hofbauer: An upper bound on the derivational complexity of Knuth-Bendix orderings. Inf. Comput. 183(1): 43-56 (2003)
	2002
14		Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178(2): 465-498 (2002)
	2001
13		Dieter Hofbauer: Termination Proofs by Context-Dependent Interpretations. RTA 2001: 108-121
12		Dieter Hofbauer: Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity. Appl. Algebra Eng. Commun. Comput. 12(1/2): 21-38 (2001)
	1999
11		Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA 1999: 205-219
	1994
10		Dieter Hofbauer, Maria Huber, Gregory Kucherov: Some Results on Top-Context-Free Tree Languages. CAAP 1994: 157-171
9		Dieter Hofbauer, Maria Huber: Linearizing Term Rewriting Systems Using Test Sets. J. Symb. Comput. 17(1): 91-129 (1994)
	1992
8		Dieter Hofbauer, Maria Huber: Computing Linearizations Using Test Sets. CTRS 1992: 287-301
7		Dieter Hofbauer: Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. Theor. Comput. Sci. 105(1): 129-140 (1992)
	1991
6		Dieter Hofbauer: Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding. RTA 1991: 62-73
	1990
5		Dieter Hofbauer: Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. ALP 1990: 347-358
	1989
4		Dieter Hofbauer, Ralf-Detlef Kutsche: Grundlagen des maschinellen Beweisens - eine Einführung für Informatiker und Mathematiker. Vieweg 1989: I-VIII, 1-172
3		Dieter Hofbauer, Clemens Lautemann: Termination Proofs and the Length of Derivations (Preliminary Version). RTA 1989: 167-177
	1988
2		Dieter Hofbauer, Ralf-Detlef Kutsche: Proving Inductive Theorems in Equational Theories. ADT 1988
1		Dieter Hofbauer, Ralf-Detlef Kutsche: Proving Inductive Theorems Based on Term Rewriting Systems. ALP 1988: 180-190

Coauthor Index

1	Alfons Geser	[16] [19] [20] [22] [23] [24] [27]
2	Maria Huber	[8] [9] [10] [11] [14] [21]
3	Gregory Kucherov	[10]
4	Ralf-Detlef Kutsche	[1] [2] [4]
5	Clemens Lautemann	[3]
6	Aart Middeldorp	[28]
7	Etsuro Moriya	[21]
8	Friedrich Otto	[21]
9	Christian Sternagel	[28]
10	Johannes Waldmann	[16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27]
11	Harald Zankl	[28]
12	Hans Zantema	[20] [23] [24] [27]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page