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