Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

SZS - Publications by Dirk Nowotka

 

To appear

Volker Diekert, Tero Harju, and Dirk Nowotka. Weinbaum factorizations of primitive words. Izvestiya VUZ Matematika, to appear.
GZipped PostScript (148 kB)
PDF (186 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Periodicity and unbordered words: A proof of the extended duval conjecture. J. Assoc. Comput. Mach., to appear.
GZipped PostScript (201 kB)
PDF (229 kB)
Info
Journal version

2006

Tero Harju and Dirk Nowotka. Binary words with few squares. Bull. EATCS, 89:164–166, June 2006.
GZipped PostScript (94 kB)
PDF (108 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. On unique factorizations of primitive words. Theoret. Comput. Sci., 356(1–2):186–189, 2006.
GZipped PostScript (106 kB)
PDF (127 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Periods in word extensions. Acta Inform., 43(2):165–171, 2006.
GZipped PostScript (111 kB)
PDF (136 kB)
Info
Tech report version

2005

Tero Harju, Arto Lepistö, and Dirk Nowotka. A characterization of periodicity of bi-infinite words. Theoret. Comput. Sci., 347(1–2):419–422, 2005.
GZipped PostScript (95 kB)
PDF (75 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. On the equation in a free semigroup. Theoret. Comput. Sci., 330(1):117–121, 2005.
GZipped PostScript (129 kB)
PDF (107 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Counting bordered and primitive words with a fixed weight. Theoret. Comput. Sci., 340(2):273–279, 2005.
GZipped PostScript (165 kB)
PDF (112 kB)
Info
Tech report version

2004

Tero Harju and Dirk Nowotka. Periodicity and unbordered words. In STACS 2004 (Montpellier), volume 2996 of Lecture Notes in Comput. Sci., pages 294–304, Berlin, 2004. Springer-Verlag.
GZipped PostScript (67 kB)
PDF (119 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. The equation in a free semigroup. Semigroup Forum, 68(3):488–490, 2004.
GZipped PostScript (40 kB)
PDF (70 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Minimal Duval extensions. Internat. J.,Found. Comput. Sci., 15(2):349–354, 2004.
GZipped PostScript (53 kB)
PDF (94 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Border correlation of binary words. J. Combin. Theory, Ser A, 108(2):331–341, 2004.
GZipped PostScript (150 kB)
PDF (140 kB)
Info
Tech report version
Dirk Nowotka. Periodicity and unbordered factors of words. PhD thesis, University of Turku, 2004.
GZipped PostScript (414 kB)
PDF (545 kB)
Info

2003

Tero Harju and Dirk Nowotka. About Duval extensions. In T. Harju and J. Karhumäki, editors, WORDS 2003 (Turku), volume 27 of TUCS General Publications, pages 392–397, Finland, August 2003. Turku Centre of Computer Science.
GZipped PostScript (49 kB)
PDF (88 kB)
Info
Tero Harju and Dirk Nowotka. On the independence of equations in three variables. Theoret. Comput. Sci., 307(1):139–172, 2003.
GZipped PostScript (110 kB)
PDF (241 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Periodicity and unbordered segments of words. Bull. EATCS, 80:162–167, 2003.
GZipped PostScript (41 kB)
PDF (103 kB)
Info
Tero Harju and Dirk Nowotka. About Duval's conjecture. In Z. Esik and Z. Fülöp, editors, DLT 2003 (Szeged), volume 2710 of Lecture Notes in Comput. Sci., pages 316–324, Berlin, 2003. Springer-Verlag.
GZipped PostScript (55 kB)
PDF (99 kB)
Info
Tech report version

2002

Tero Harju and Dirk Nowotka. Density of critical factorizations. Theor. Inform. Appl., 36(3):315–327, 2002.
GZipped PostScript (68 kB)
PDF (131 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Duval's conjecture and Lyndon words. TUCS Tech. Rep. 479, Turku Centre of Computer Science, Finland, 2002. Submitted.
GZipped PostScript (91 kB)
PDF (139 kB)
Info

2000

Marco Benini, Dirk Nowotka, and Carl Pulley. Computer arithmetic: Logic, calculation, and rewriting. In D. Gabbay and M. de Rijke, editors, FroCoS 1998 (Amsterdam), volume 7 of Studies in Logic and Computation, pages 77–93, Baldock, 2000. Research Studies Press Ltd.
GZipped PostScript (74 kB)
PDF (138 kB)
Info

1998

Marco Benini, Sara Kalvala, and Dirk Nowotka. Program abstraction in a higher-order logic framework. In J. Grundy and M. Newey, editors, TPHOLs 1998 (Canberra), volume 1479 of Lecture Notes in Comput. Sci., pages 33–48, Berlin, 1998. Springer-Verlag.
GZipped PostScript (79 kB)
PDF (164 kB)
Info