dblp.uni-trier.dewww.uni-trier.de

Dirk Nowotka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
23 Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen: Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90
2008
22EEStepan Holub, Dirk Nowotka: On the Relation between Periodicity and Unbordered Factors of Finite Words. Developments in Language Theory 2008: 408-418
21EEJean-Pierre Duval, Tero Harju, Dirk Nowotka: Unbordered factors and Lyndon words. Discrete Mathematics 308(11): 2261-2264 (2008)
20EEStefan Göller, Dirk Nowotka: A note on an extension of PDL. J. Applied Logic 6(4): 606-608 (2008)
2007
19EEYury Lifshits, Dirk Nowotka: Estimation of the Click Volume by Large Scale Regression Analysis. CSR 2007: 216-226
18EEBenjamin Hoffmann, Yury Lifshits, Dirk Nowotka: Maximal Intersection Queries in Randomized Graph Models. CSR 2007: 227-236
17EEDirk Nowotka, Jirí Srba: Height-Deterministic Pushdown Automata. MFCS 2007: 125-134
16EEStefan Göller, Dirk Nowotka: On a Non-Context-Free Extension of PDL CoRR abs/0707.0562: (2007)
15EETero Harju, Dirk Nowotka: Periodicity and unbordered words: A proof of the extended duval conjecture. J. ACM 54(4): (2007)
2006
14EETero Harju, Dirk Nowotka: Periods in Extensions of Words. Acta Inf. 43(3): 165-171 (2006)
13EETero Harju, Dirk Nowotka: On unique factorizations of primitive words. Theor. Comput. Sci. 356(1-2): 186-189 (2006)
2005
12EETero Harju, Dirk Nowotka: On the equation in a free semigroup. Theor. Comput. Sci. 330(1): 117-121 (2005)
11EETero Harju, Dirk Nowotka: Counting bordered and primitive words with a fixed weight. Theor. Comput. Sci. 340(1): 273-279 (2005)
10EETero Harju, Arto Lepistö, Dirk Nowotka: A characterization of periodicity of bi-infinite words. Theor. Comput. Sci. 347(1-2): 419-422 (2005)
2004
9EETero Harju, Dirk Nowotka: Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. STACS 2004: 294-304
8EETero Harju, Dirk Nowotka: Minimal Duval Extensions. Int. J. Found. Comput. Sci. 15(2): 349-354 (2004)
7EETero Harju, Dirk Nowotka: Border correlation of binary words. J. Comb. Theory, Ser. A 108(2): 331-341 (2004)
2003
6EETero Harju, Dirk Nowotka: About Duval's Conjecture. Developments in Language Theory 2003: 316-324
5 Tero Harju, Dirk Nowotka: Periodicity and Unbordered Segments of Words. Bulletin of the EATCS 80: 162-167 (2003)
4EETero Harju, Dirk Nowotka: Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture CoRR cs.DM/0305039: (2003)
3EETero Harju, Dirk Nowotka: On the independence of equations in three variables. Theor. Comput. Sci. 307(1): 139-172 (2003)
2002
2EETero Harju, Dirk Nowotka: Density of Critical Factorizations. ITA 36(3): 315-327 (2002)
1998
1 Marco Benini, Sara Kalvala, Dirk Nowotka: Program Abstraction in a Higher-Order Logic Framework. TPHOLs 1998: 33-48

Coauthor Index

1Marco Benini [1]
2Jean-Pierre Duval [21]
3Stefan Göller [16] [20]
4Tero Harju [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [21]
5Benjamin Hoffmann [18]
6Stepan Holub [22]
7Sara Kalvala (Saraswati Kalvala) [1]
8Arto Lepistö [10]
9Martin Leucker [23]
10Yury Lifshits [18] [19]
11Moritz Löser [23]
12Joachim Rischen [23]
13Jirí Srba [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)