Computer Arithmetic: Logic, Calculus and Rewriting. - Marco Benini; Dirk Nowotka; Carl Pulley (FroCoS, 1998)

Program Abstraction in a Higher-Order Logic Framework. - Marco Benini; Sara Kalvala; Dirk Nowotka (TPHOLs, 1998)

Density of Critical Factorizations. - Tero Harju; Dirk Nowotka (RAIRO Theor. Informatics Appl., 2002)

About Duval's Conjecture. - Tero Harju; Dirk Nowotka (Developments in Language Theory, 2003)

Periodicity and Unbordered Segments of Words. - Tero Harju; Dirk Nowotka (Bull. EATCS, 2003)

On the independence of equations in three variables. - Tero Harju; Dirk Nowotka (Theor. Comput. Sci., 2003)

Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. - Tero Harju; Dirk Nowotka (STACS, 2004)

Minimal Duval Extensions. - Tero Harju; Dirk Nowotka (Int. J. Found. Comput. Sci., 2004)

Border correlation of binary words. - Tero Harju; Dirk Nowotka (J. Comb. Theory A, 2004)

A characterization of periodicity of bi-infinite words. - Tero Harju; Arto Lepistö; Dirk Nowotka (Theor. Comput. Sci., 2005)

On the equation in a free semigroup. - Tero Harju; Dirk Nowotka (Theor. Comput. Sci., 2005)

Counting bordered and primitive words with a fixed weight. - Tero Harju; Dirk Nowotka (Theor. Comput. Sci., 2005)

Periods in Extensions of Words. - Tero Harju; Dirk Nowotka (Acta Informatica, 2006)

Binary Words with Few Squares. - Tero Harju; Dirk Nowotka (Bull. EATCS, 2006)

On unique factorizations of primitive words. - Tero Harju; Dirk Nowotka (Theor. Comput. Sci., 2006)

Maximal Intersection Queries in Randomized Graph Models. - Benjamin Hoffmann; Yury Lifshits; Dirk Nowotka (CSR, 2007)

Estimation of the Click Volume by Large Scale Regression Analysis. - Yury Lifshits; Dirk Nowotka (CSR, 2007)

Height-Deterministic Pushdown Automata. - Dirk Nowotka; Jirí Srba (MFCS, 2007)

On a Non-Context-Free Extension of PDL - Stefan Göller; Dirk Nowotka (CoRR, 2007)

Periodicity and unbordered words: A proof of the extended duval conjecture. - Tero Harju; Dirk Nowotka (J. ACM, 2007)

Bordered Conjugates of Words over Large Alphabets. - Tero Harju; Dirk Nowotka (Electron. J. Comb., 2008)

Unbordered factors and Lyndon words. - Jean-Pierre Duval; Tero Harju; Dirk Nowotka (Discret. Math., 2008)

A note on an extension of PDL. - Stefan Göller; Dirk Nowotka (J. Appl. Log., 2008)

Äquivalenzklassen mit Zeit und Zuständen. - Moritz Löser; Martin Leucker; Dirk Nowotka; Joachim Rischen (Informatiktage, 2009)

Klassifikationsbäume in Echtzeit. - Martin Leucker; Moritz Löser; Dirk Nowotka; Joachim Rischen (Softwaretechnik-Trends, 2009)

On the Relation between Periodicity and Unbordered Factors of Finite Words. - Stepan Holub; Dirk Nowotka (Int. J. Found. Comput. Sci., 2010)

Cyclically repetition-free words on small alphabets. - Tero Harju; Dirk Nowotka (Inf. Process. Lett., 2010)

Maximal Intersection Queries in Randomized Input Models. - Benjamin Hoffmann; Mikhail Lifshits; Yury Lifshits; Dirk Nowotka (Theory Comput. Syst., 2010)

The Number of Positions Starting a Square in Binary Words. - Tero Harju; Tomi Kärki; Dirk Nowotka (Electron. J. Comb., 2011)

Pattern Avoidability with Involution - Bastian Bischoff; Dirk Nowotka (WORDS, 2011)

Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081). - Maxime Crochemore; Lila Kari; Mehryar Mohri; Dirk Nowotka (Dagstuhl Reports, 2011)

Preface. - Volker Diekert; Dirk Nowotka (Int. J. Found. Comput. Sci., 2011)

MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. - Dirk Nowotka; Johannes Traub (Automotive - Safety & Security, 2012)

The Avoidability of Cubes under Permutations. - Florin Manea; Mike Müller; Dirk Nowotka (Developments in Language Theory, 2012)

Fine and Wilf's Theorem and Pseudo-repetitions. - Florin Manea; Robert Mercas; Dirk Nowotka (MFCS, 2012)

String Matching with Involutions. - Cristian Grozea; Florin Manea; Mike Müller; Dirk Nowotka (UCNC, 2012)

Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju. - Vesa Halava; Juhani Karhumäki; Dirk Nowotka; Grzegorz Rozenberg (Fundam. Informaticae, 2012)

Unary Patterns with involution. - Bastian Bischoff; James D. Currie; Dirk Nowotka (Int. J. Found. Comput. Sci., 2012)

The Ehrenfeucht-Silberger problem. - Stepan Holub; Dirk Nowotka (J. Comb. Theory A, 2012)

Discovering Hidden Repetitions in Words. - Pawel Gawrychowski; Florin Manea; Dirk Nowotka (CiE, 2013)

On the Pseudoperiodic Extension of u^l = v^m w^n. - Florin Manea; Mike Müller; Dirk Nowotka (FSTTCS, 2013)

Formal Verification of Concurrent Embedded Software. - Dirk Nowotka; Johannes Traub (IESS, 2013)

Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems. - Michael Wasilewski; Wilhelm Hasselbring; Dirk Nowotka (Software Engineering (Workshops), 2013)

Finding Pseudo-repetitions. - Pawel Gawrychowski; Florin Manea; Robert Mercas; Dirk Nowotka; Catalin Tiseanu (STACS, 2013)

Communication in Massively-Parallel SAT Solving. - Thorsten Ehlers; Dirk Nowotka; Philipp Sieweck (ICTAI, 2014)

Generalised Lyndon-Schützenberger Equations. - Florin Manea; Mike Müller; Dirk Nowotka; Shinnosuke Seki 001 (MFCS (1), 2014)

Formal software verification for the migration of embedded code from single- to multicore systems. - Thorsten Ehlers; Dirk Nowotka; Philipp Sieweck; Johannes Traub (Software Engineering, 2014)

Testing Generalised Freeness of Words. - Pawel Gawrychowski; Florin Manea; Dirk Nowotka (STACS, 2014)

Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111). - Maxime Crochemore; James D. Currie; Gregory Kucherov; Dirk Nowotka (Dagstuhl Reports, 2014)

Unary Patterns with Permutations. - James D. Currie; Florin Manea; Dirk Nowotka (DLT, 2015)

On Prefix/Suffix-Square Free Words. - Marius Dumitran; Florin Manea; Dirk Nowotka (SPIRE, 2015)

Cubic patterns with permutations. - Florin Manea; Mike Müller; Dirk Nowotka (J. Comput. Syst. Sci., 2015)

k-Abelian pattern matching. - Thorsten Ehlers; Florin Manea; Robert Mercas; Dirk Nowotka (J. Discrete Algorithms, 2015)

On the Solvability Problem for Restricted Classes of Word Equations. - Florin Manea; Dirk Nowotka; Markus L. Schmid (DLT, 2016)

One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. - Dirk Nowotka; Aleksi Saarela (DLT, 2016)

Detecting Unary Patterns. - Dmitry Kosolobov; Florin Manea; Dirk Nowotka (CoRR, 2016)

Local Patterns. - Joel D. Day; Pamela Fleischmann; Florin Manea; Dirk Nowotka (FSTTCS, 2017)

The Hardness of Solving Simple Word Equations. - Joel D. Day; Florin Manea; Dirk Nowotka (MFCS, 2017)

Detecting One-Variable Patterns. - Dmitry Kosolobov; Florin Manea; Dirk Nowotka (SPIRE, 2017)

A note on Thue games. - Robert Mercas; Dirk Nowotka (Inf. Process. Lett., 2017)

The extended equation of Lyndon and Schützenberger. - Florin Manea; Mike Müller; Dirk Nowotka; Shinnosuke Seki 001 (J. Comput. Syst. Sci., 2017)

TCS Special Issue: Combinatorics on Words - WORDS 2015. - Florin Manea; Dirk Nowotka (Theor. Comput. Sci., 2017)

On Matching Generalised Repetitive Patterns. - Joel D. Day; Pamela Fleischmann; Florin Manea; Dirk Nowotka; Markus L. Schmid (DLT, 2018)

Statistical Model Checking of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Traonouez (FM, 2018)

Rollercoasters and Caterpillars. - Therese Biedl; Ahmad Biniaz; Robert Cummings; Anna Lubiw; Florin Manea; Dirk Nowotka; Jeffrey O. Shallit (ICALP, 2018)

Lagrange's Theorem for Binary Squares. - P. Madhusudan; Dirk Nowotka; Aayush Rajasekaran; Jeffrey O. Shallit (MFCS, 2018)

The Satisfiability of Word Equations: Decidable and Undecidable Theories. - Joel D. Day; Vijay Ganesh 001; Paul He; Florin Manea; Dirk Nowotka (RP, 2018)

Tuning Parallel SAT Solvers. - Thorsten Ehlers; Dirk Nowotka (POS@SAT, 2018)

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. - Max J. Friese; Thorsten Ehlers; Dirk Nowotka (SIES, 2018)

The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. - Joel D. Day; Vijay Ganesh 001; Paul He; Florin Manea; Dirk Nowotka (CoRR, 2018)

On the Complexity of Solving Restricted Word Equations. - Florin Manea; Dirk Nowotka; Markus L. Schmid (Int. J. Found. Comput. Sci., 2018)

One-Variable Word Equations and Three-Variable Constant-Free Word Equations. - Dirk Nowotka; Aleksi Saarela (Int. J. Found. Comput. Sci., 2018)

Corrigendum to "A note on Thue games" [Inf. Process. Lett. 118 (2017) 75-77]. - Karol Kosinski; Robert Mercas; Dirk Nowotka (Inf. Process. Lett., 2018)

Unary patterns under permutations. - James D. Currie; Florin Manea; Dirk Nowotka; Kamellia Reshadi (Theor. Comput. Sci., 2018)

k-Spectra of Weakly-c-Balanced Words. - Joel D. Day; Pamela Fleischmann; Florin Manea; Dirk Nowotka (DLT, 2019)

Improving Estimations for Latencies of Cause-Effect Chains. - Max J. Friese; Thorsten Ehlers; Dirk Nowotka (IESS, 2019)

Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. - Joel D. Day; Florin Manea; Dirk Nowotka (MFCS, 2019)

On Solving Word Equations Using SAT. - Joel D. Day; Thorsten Ehlers; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (RP, 2019)

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Thomas Wilke (FMTea, 2019)

k-Spectra of c-Balanced Words. - Joel D. Day; Pamela Fleischmann; Florin Manea; Dirk Nowotka (CoRR, 2019)

On Collapsing Prefix Normal Words. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (CoRR, 2019)

On Modelling the Avoidability of Patterns as CSP. - Thorsten Ehlers; Florin Manea; Dirk Nowotka; Kamellia Reshadi (CoRR, 2019)

An Empirical Investigation of Randomized Defenses against Adversarial Attacks. - Yannik Potdevin; Dirk Nowotka; Vijay Ganesh 001 (CoRR, 2019)

Hide and seek with repetitions. - Pawel Gawrychowski; Florin Manea; Robert Mercas; Dirk Nowotka (J. Comput. Syst. Sci., 2019)

Rollercoasters: Long Sequences without Short Runs. - Therese Biedl; Ahmad Biniaz; Robert Cummings; Anna Lubiw; Florin Manea; Dirk Nowotka; Jeffrey O. Shallit (SIAM J. Discret. Math., 2019)

Scattered Factor-Universality of Words. - Laura Barker; Pamela Fleischmann; Katharina Harwardt; Florin Manea; Dirk Nowotka (DLT, 2020)

Rule-based Word Equation Solving. - Joel D. Day; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (FormaliSE@ICSE, 2020)

The Power of String Solving: Simplicity of Comparison. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (AST@ICSE, 2020)

EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. - Max J. Friese; Johannes Traub; Dirk Nowotka (ICST, 2020)

On Collapsing Prefix Normal Words. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen (LATA, 2020)

Estimating End-to-End Latencies in Automotive Cyber-physical Systems. - Max J. Friese; Dirk Nowotka (MARS@ETAPS, 2020)

On Weighted Prefix Normal Words. - Yannik Eikmeier; Pamela Fleischmann; Dirk Nowotka (CoRR, 2020)

Automatic Verification of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2020)

A Length-aware Regular Expression SMT Solver. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CoRR, 2020)

Equations enforcing repetitions under permutations. - Joel D. Day; Pamela Fleischmann; Florin Manea; Dirk Nowotka (Discret. Appl. Math., 2020)

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CAV (2), 2021)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (WORDS, 2021)

Weighted Prefix Normal Words: Mind the Gap. - Yannik Eikmeier; Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (DLT, 2021)

Z3str4: A Multi-armed String Solver. - Federico Mora 002; Murphy Berzish; Mitja Kulczynski; Dirk Nowotka; Vijay Ganesh 001 (FM, 2021)

Blocksequences of k-local Words. - Pamela Fleischmann; Lukas Haschke; Florin Manea; Dirk Nowotka; Cedric Tsatia Tsida; Judith Wiedenbeck (SOFSEM, 2021)

Scattered Factor Universality - The Power of the Remainder. - Pamela Fleischmann; Sebastian Bernhard Germann; Dirk Nowotka (CoRR, 2021)

The Show Must Go On - Examination During a Pandemic. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (CoRR, 2021)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (CoRR, 2021)

Analysis of Source Code Using UPPAAL. - Mitja Kulczynski; Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (F-IDE@NFM, 2021)

Reconstructing Words from Right-Bounded-Block Words. - Pamela Fleischmann; Marie Lejeune; Florin Manea; Dirk Nowotka; Michel Rigo (Int. J. Found. Comput. Sci., 2021)

Nearly k-Universal Words - Investigating a Part of Simon's Congruence. - Pamela Fleischmann; Lukas Haschke; Annika Huch; Annika Mayrock; Dirk Nowotka (DCFS, 2022)

Solving String Theories Involving Regular Membership Predicates Using SAT. - Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen (SPIN, 2022)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (IEEE Access, 2022)

m-Nearly k-Universal Words - Investigating Simon Congruence. - Pamela Fleischmann; Lukas Haschke; Annika Huch; Annika Mayrock; Dirk Nowotka (CoRR, 2022)

A Generic Information Extraction System for String Constraints. - Joel D. Day; Adrian Kröger; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2022)

An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. - Dirk Nowotka; Aleksi Saarela (SIAM J. Comput., 2022)

Self-Explanation as a Basis for Self-Integration - The Autonomous Passenger Ferry Scenario. - Ghassan Al-Falouji; Lukas Haschke; Dirk Nowotka; Sven Tomforde (ACSOS-C, 2023)

Solving String Constraints Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka (CAV (2), 2023)

α-β-Factorization and the Binary Case of Simon's Congruence. - Pamela Fleischmann; Jonas Höfer; Annika Huch; Dirk Nowotka (FCT, 2023)

Workshop: "Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science". - Lena Steinmann; Dirk Nowotka; Lea Oberländer; Helen Pfuhl; Heiner Stuckenschmidt; Rolf Drechsler (GI-Jahrestagung, 2023)

k-Universality of Regular Languages. - Duncan Adamson; Pamela Fleischmann; Annika Huch; Tore Koß; Florin Manea; Dirk Nowotka (ISAAC, 2023)

Matching Patterns with Variables Under Simon's Congruence. - Pamela Fleischmann; Sungmin Kim; Tore Koß; Florin Manea; Dirk Nowotka; Stefan Siemer; Max Wiedenhöft (RP, 2023)

Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning. - Risheng Xu; Marvin Kühl; Hermann von Hasseln; Dirk Nowotka (RTNS, 2023)

CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. - Ludwig Pechmann; Yannik Potdevin; Kai Brehmer; Dirk Nowotka; Martin Leucker (AISoLA (Selected Papers), 2023)

Verified Verifying: SMT-LIB for Strings in Isabelle. - Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull (CIAA, 2023)

Towards more efficient methods for solving regular-expression heavy string constraints. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (Theor. Comput. Sci., 2023)

ZaligVinder: A generic test framework for string solvers. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (J. Softw. Evol. Process., 2023)

Nearly k-universal words - Investigating a part of Simon's congruence. - Pamela Fleischmann; Lukas Haschke; Jonas Höfer; Annika Huch; Annika Mayrock; Dirk Nowotka (Theor. Comput. Sci., 2023)

Enhancing Maritime Behaviour Analysis Through Novel Feature Engineering and Digital Shadow Modelling: A Case Study in the Kiel Fjord. - Ghassan Al-Falouji; Shang Gao; Lukas Haschke; Dirk Nowotka; Sven Tomforde (ARCS, 2024)

Solving String Constraints with Concatenation Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Dirk Nowotka (FMCAD, 2024)

Aufbau einer überregionalen Data-Science-Community. - Helen Pfuhl; Lena Steinmann; Dirk Nowotka; Rolf Drechsler (INFORMATIK, 2024)

The Equivalence Problem of E-Pattern Languages with Regular Constraints Is Undecidable. - Dirk Nowotka; Max Wiedenhöft (CIAA, 2024)

Decision Problems on Copying and Shuffling. - Vesa Halava; Tero Harju; Dirk Nowotka; Esa Sahla (Fundam. Informaticae, 2024)

Word-representable graphs from a word's perspective. - Pamela Fleischmann; Lukas Haschke; Tim Löck; Dirk Nowotka (Acta Informatica, 2024)

The Equivalence Problem of E-Pattern Languages with Length Constraints Is Undecidable. - Dirk Nowotka; Max Wiedenhöft (CPM, 2025)

Generalised Nyldon words. - Pamela Fleischmann; Annika Huch; Dirk Nowotka (Theor. Comput. Sci., 2025)

PrETi: Predicting Execution Time in Early Stage with LLVM and Machine Learning. - Risheng Xu; Philipp Sieweck; Hermann von Hasseln; Dirk Nowotka (CoRR, 2025)