Maria Huber (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Etsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto: On state-alternating context-free grammars. Theor. Comput. Sci. 337(1-3): 183-216 (2005)

5 Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178(2): 465-498 (2002)

4 Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA 1999: 205-219

3 Dieter Hofbauer, Maria Huber, Gregory Kucherov: Some Results on Top-Context-Free Tree Languages. CAAP 1994: 157-171

2 Dieter Hofbauer, Maria Huber: Linearizing Term Rewriting Systems Using Test Sets. J. Symb. Comput. 17(1): 91-129 (1994)

1 Dieter Hofbauer, Maria Huber: Computing Linearizations Using Test Sets. CTRS 1992: 287-301

Selection of 6 from 6 records - Maria Huber has 4 coauthors

6		Etsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto: On state-alternating context-free grammars. Theor. Comput. Sci. 337(1-3): 183-216 (2005)
5		Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178(2): 465-498 (2002)
4		Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA 1999: 205-219
3		Dieter Hofbauer, Maria Huber, Gregory Kucherov: Some Results on Top-Context-Free Tree Languages. CAAP 1994: 157-171
2		Dieter Hofbauer, Maria Huber: Linearizing Term Rewriting Systems Using Test Sets. J. Symb. Comput. 17(1): 91-129 (1994)
1		Dieter Hofbauer, Maria Huber: Computing Linearizations Using Test Sets. CTRS 1992: 287-301