Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDDirk Nowotka
Dirk Henri Nowotka
Person information
- affiliation: Kiel University, Department of Computer Science
- affiliation: University of Stuttgart, Institute for Formal Methods in Computer Science (FMI)
- affiliation: University of Turku, Turku Centre for Computer Science (TUCS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c52]Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck:
Blocksequences of k-local Words. SOFSEM 2021: 119-134- 2020
- [j36]Joel D. Day, Pamela Fleischmann
, Florin Manea, Dirk Nowotka:
Equations enforcing repetitions under permutations. Discret. Appl. Math. 285: 61-78 (2020) - [c51]Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka:
Scattered Factor-Universality of Words. DLT 2020: 14-28 - [c50]Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo:
Reconstructing Words from Right-Bounded-Block Words. DLT 2020: 96-109 - [c49]Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
The Power of String Solving: Simplicity of Comparison. AST@ICSE 2020: 85-88 - [c48]Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
Rule-based Word Equation Solving. FormaliSE@ICSE 2020: 87-97 - [c47]Max J. Friese, Johannes Traub, Dirk Nowotka:
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST 2020: 343-352 - [c46]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen:
On Collapsing Prefix Normal Words. LATA 2020: 412-424 - [c45]Max J. Friese, Dirk Nowotka:
Estimating End-to-End Latencies in Automotive Cyber-physical Systems. MARS@ETAPS 2020: 134-148 - [i23]Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo:
Reconstructing Words from Right-Bounded-Block Words. CoRR abs/2001.11218 (2020) - [i22]Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka:
Scattered Factor-Universality of Words. CoRR abs/2003.04629 (2020) - [i21]Yannik Eikmeier, Pamela Fleischmann, Dirk Nowotka:
On Weighted Prefix Normal Words. CoRR abs/2005.09281 (2020) - [i20]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Automatic Verification of LLVM Code. CoRR abs/2006.02670 (2020) - [i19]Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck:
Blocksequences of k-local Words. CoRR abs/2008.03516 (2020) - [i18]Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh:
A Length-aware Regular Expression SMT Solver. CoRR abs/2010.07253 (2020)
2010 – 2019
- 2019
- [j35]Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka:
Hide and seek with repetitions. J. Comput. Syst. Sci. 101: 42-67 (2019) - [j34]Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit:
Rollercoasters: Long Sequences without Short Runs. SIAM J. Discret. Math. 33(2): 845-861 (2019) - [c44]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
k-Spectra of Weakly-c-Balanced Words. DLT 2019: 265-277 - [c43]Joel D. Day, Florin Manea, Dirk Nowotka:
Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS 2019: 44:1-44:15 - [c42]Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
On Solving Word Equations Using SAT. RP 2019: 93-106 - [c41]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke:
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. FMTea 2019: 181-195 - [i17]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
k-Spectra of c-Balanced Words. CoRR abs/1904.09125 (2019) - [i16]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
On Collapsing Prefix Normal Words. CoRR abs/1905.11847 (2019) - [i15]Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi:
On Modelling the Avoidability of Patterns as CSP. CoRR abs/1906.00715 (2019) - [i14]Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
On Solving Word Equations Using SAT. CoRR abs/1906.11718 (2019) - [i13]Yannik Potdevin, Dirk Nowotka, Vijay Ganesh:
An Empirical Investigation of Randomized Defenses against Adversarial Attacks. CoRR abs/1909.05580 (2019) - 2018
- [j33]Florin Manea, Dirk Nowotka, Markus L. Schmid:
On the Complexity of Solving Restricted Word Equations. Int. J. Found. Comput. Sci. 29(5): 893-909 (2018) - [j32]Dirk Nowotka, Aleksi Saarela:
One-Variable Word Equations and Three-Variable Constant-Free Word Equations. Int. J. Found. Comput. Sci. 29(5): 935-950 (2018) - [j31]Karol Kosinski, Robert Mercas, Dirk Nowotka:
Corrigendum to "A note on Thue games" [Inf. Process. Lett. 118 (2017) 75-77]. Inf. Process. Lett. 130: 63-65 (2018) - [j30]James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi:
Unary patterns under permutations. Theor. Comput. Sci. 743: 72-82 (2018) - [c40]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid:
On Matching Generalised Repetitive Patterns. DLT 2018: 269-281 - [c39]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez:
Statistical Model Checking of LLVM Code. FM 2018: 542-549 - [c38]Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit:
Rollercoasters and Caterpillars. ICALP 2018: 18:1-18:15 - [c37]Dirk Nowotka, Aleksi Saarela:
An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. ICALP 2018: 136:1-136:13 - [c36]P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit:
Lagrange's Theorem for Binary Squares. MFCS 2018: 18:1-18:14 - [c35]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP 2018: 15-29 - [c34]Thorsten Ehlers, Dirk Nowotka:
Tuning Parallel SAT Solvers. POS@SAT 2018: 127-143 - [c33]Max J. Friese, Thorsten Ehlers, Dirk Nowotka:
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. SIES 2018: 1-10 - [e3]Florin Manea, Russell G. Miller, Dirk Nowotka:
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings. Lecture Notes in Computer Science 10936, Springer 2018, ISBN 978-3-319-94417-3 [contents] - [i12]Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit:
Rollercoasters and Caterpillars. CoRR abs/1801.08565 (2018) - [i11]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR abs/1802.00523 (2018) - [i10]Max J. Friese, Thorsten Ehlers, Dirk Nowotka:
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. CoRR abs/1804.07647 (2018) - 2017
- [j29]Robert Mercas, Dirk Nowotka:
A note on Thue games. Inf. Process. Lett. 118: 75-77 (2017) - [j28]Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki:
The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. 85: 132-167 (2017) - [j27]Florin Manea, Dirk Nowotka:
TCS Special Issue: Combinatorics on Words - WORDS 2015. Theor. Comput. Sci. 684: 1-2 (2017) - [c32]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
Equations Enforcing Repetitions Under Permutations. WORDS 2017: 72-84 - [c31]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
Local Patterns. FSTTCS 2017: 24:1-24:14 - [c30]Joel D. Day, Florin Manea, Dirk Nowotka:
The Hardness of Solving Simple Word Equations. MFCS 2017: 18:1-18:14 - [c29]Dmitry Kosolobov, Florin Manea, Dirk Nowotka:
Detecting One-Variable Patterns. SPIRE 2017: 254-270 - [i9]Joel D. Day, Florin Manea, Dirk Nowotka:
The Hardness of Solving Simple Word Equations. CoRR abs/1702.07922 (2017) - [i8]Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit:
Lagrange's Theorem for Binary Squares. CoRR abs/1710.04247 (2017) - 2016
- [c28]Florin Manea, Dirk Nowotka, Markus L. Schmid:
On the Solvability Problem for Restricted Classes of Word Equations. DLT 2016: 306-318 - [c27]Dirk Nowotka, Aleksi Saarela:
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. DLT 2016: 332-343 - [i7]Robert Mercas, Dirk Nowotka:
A note on Thue games. CoRR abs/1601.02453 (2016) - [i6]Dmitry Kosolobov, Florin Manea, Dirk Nowotka:
Detecting Unary Patterns. CoRR abs/1604.00054 (2016) - 2015
- [j26]Florin Manea, Mike Müller, Dirk Nowotka:
Cubic patterns with permutations. J. Comput. Syst. Sci. 81(7): 1298-1310 (2015) - [j25]Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka:
k-Abelian pattern matching. J. Discrete Algorithms 34: 37-48 (2015) - [c26]James D. Currie, Florin Manea, Dirk Nowotka:
Unary Patterns with Permutations. DLT 2015: 191-202 - [c25]Marius Dumitran, Florin Manea, Dirk Nowotka:
On Prefix/Suffix-Square Free Words. SPIRE 2015: 54-66 - [e2]Florin Manea, Dirk Nowotka:
Combinatorics on Words - 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings. Lecture Notes in Computer Science 9304, Springer 2015, ISBN 978-3-319-23659-9 [contents] - 2014
- [c24]Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka:
k-Abelian Pattern Matching. Developments in Language Theory 2014: 178-190 - [c23]Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck:
Communication in Massively-Parallel SAT Solving. ICTAI 2014: 709-716 - [c22]Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki:
Generalised Lyndon-Schützenberger Equations. MFCS (1) 2014: 402-413 - [c21]Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub:
Formal software verification for the migration of embedded code from single- to multicore systems. Software Engineering 2014: 137-142 - [c20]Pawel Gawrychowski, Florin Manea, Dirk Nowotka:
Testing Generalised Freeness of Words. STACS 2014: 337-349 - [i5]Maxime Crochemore, James D. Currie, Gregory Kucherov, Dirk Nowotka:
Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111). Dagstuhl Reports 4(3): 28-46 (2014) - 2013
- [c19]Pawel Gawrychowski, Florin Manea, Dirk Nowotka:
Discovering Hidden Repetitions in Words. CiE 2013: 210-219 - [c18]Florin Manea, Mike Müller, Dirk Nowotka:
On the Pseudoperiodic Extension of u^l = v^m w^n. FSTTCS 2013: 475-486 - [c17]Dirk Nowotka, Johannes Traub:
Formal Verification of Concurrent Embedded Software. IESS 2013: 218-227 - [c16]Michael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka:
Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems. Software Engineering (Workshops) 2013: 467-482 - [c15]Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka, Catalin Tiseanu:
Finding Pseudo-repetitions. STACS 2013: 257-268 - 2012
- [j24]Vesa Halava, Juhani Karhumäki, Dirk Nowotka, Grzegorz Rozenberg:
Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju. Fundam. Informaticae 116(1-4) (2012) - [j23]Bastian Bischoff, James D. Currie, Dirk Nowotka:
Unary Patterns with involution. Int. J. Found. Comput. Sci. 23(8): 1641-1652 (2012) - [j22]Stepan Holub, Dirk Nowotka:
The Ehrenfeucht-Silberger problem. J. Comb. Theory, Ser. A 119(3): 668-682 (2012) - [c14]Dirk Nowotka, Johannes Traub:
MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. Automotive - Safety & Security 2012: 69-83 - [c13]Florin Manea, Mike Müller, Dirk Nowotka:
The Avoidability of Cubes under Permutations. Developments in Language Theory 2012: 416-427 - [c12]Florin Manea, Robert Mercas, Dirk Nowotka:
Fine and Wilf's Theorem and Pseudo-repetitions. MFCS 2012: 668-680 - [c11]Cristian Grozea, Florin Manea, Mike Müller, Dirk Nowotka:
String Matching with Involutions. UCNC 2012: 106-117 - 2011
- [j21]Tero Harju, Tomi Kärki, Dirk Nowotka:
The Number of Positions Starting a Square in Binary Words. Electron. J. Comb. 18(1) (2011) - [j20]Volker Diekert, Dirk Nowotka:
Preface. Int. J. Found. Comput. Sci. 22(2): 275-276 (2011) - [c10]Bastian Bischoff, Dirk Nowotka:
Pattern Avoidability with Involution. WORDS 2011: 65-70 - [i4]Maxime Crochemore, Lila Kari, Mehryar Mohri, Dirk Nowotka:
Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081). Dagstuhl Reports 1(2): 47-66 (2011) - 2010
- [j19]Stepan Holub, Dirk Nowotka:
On the Relation between Periodicity and Unbordered Factors of Finite Words. Int. J. Found. Comput. Sci. 21(4): 633-645 (2010) - [j18]Tero Harju, Dirk Nowotka:
Cyclically repetition-free words on small alphabets. Inf. Process. Lett. 110(14-15): 591-595 (2010) - [j17]Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka:
Maximal Intersection Queries in Randomized Input Models. Theory Comput. Syst. 46(1): 104-119 (2010) - [i3]Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka:
Maximal Intersection Queries in Randomized Input Models. CoRR abs/1004.0092 (2010)
2000 – 2009
- 2009
- [j16]Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen:
Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends 29(4) (2009) - [c9]Stepan Holub, Dirk Nowotka:
The Ehrenfeucht-Silberger Problem. ICALP (1) 2009: 537-548 - [c8]Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen:
Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90 - [e1]Volker Diekert, Dirk Nowotka:
Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings. Lecture Notes in Computer Science 5583, Springer 2009, ISBN 978-3-642-02736-9 [contents] - 2008
- [j15]Tero Harju, Dirk Nowotka:
Bordered Conjugates of Words over Large Alphabets. Electron. J. Comb. 15(1) (2008) - [j14]Jean-Pierre Duval, Tero Harju, Dirk Nowotka:
Unbordered factors and Lyndon words. Discret. Math. 308(11): 2261-2264 (2008) - [j13]Stefan Göller, Dirk Nowotka:
A note on an extension of PDL. J. Appl. Log. 6(4): 606-608 (2008) - [c7]Stepan Holub, Dirk Nowotka:
On the Relation between Periodicity and Unbordered Factors of Finite Words. Developments in Language Theory 2008: 408-418 - 2007
- [j12]Tero Harju, Dirk Nowotka:
Periodicity and unbordered words: A proof of the extended duval conjecture. J. ACM 54(4): 20 (2007) - [c6]Yury Lifshits, Dirk Nowotka:
Estimation of the Click Volume by Large Scale Regression Analysis. CSR 2007: 216-226 - [c5]Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka:
Maximal Intersection Queries in Randomized Graph Models. CSR 2007: 227-236 - [c4]Dirk Nowotka, Jirí Srba:
Height-Deterministic Pushdown Automata. MFCS 2007: 125-134 - [i2]Stefan Göller, Dirk Nowotka:
On a Non-Context-Free Extension of PDL. CoRR abs/0707.0562 (2007) - 2006
- [j11]Tero Harju, Dirk Nowotka:
Periods in Extensions of Words. Acta Informatica 43(3): 165-171 (2006) - [j10]Tero Harju, Dirk Nowotka:
Binary Words with Few Squares. Bull. EATCS 89: 164-166 (2006) - [j9]Tero Harju, Dirk Nowotka:
On unique factorizations of primitive words. Theor. Comput. Sci. 356(1-2): 186-189 (2006) - 2005
- [j8]Tero Harju, Dirk Nowotka:
On the equation in a free semigroup. Theor. Comput. Sci. 330(1): 117-121 (2005) - [j7]Tero Harju, Dirk Nowotka:
Counting bordered and primitive words with a fixed weight. Theor. Comput. Sci. 340(1): 273-279 (2005) - [j6]Tero Harju, Arto Lepistö, Dirk Nowotka:
A characterization of periodicity of bi-infinite words. Theor. Comput. Sci. 347(1-2): 419-422 (2005) - 2004
- [j5]Tero Harju, Dirk Nowotka:
Minimal Duval Extensions. Int. J. Found. Comput. Sci. 15(2): 349-354 (2004) - [j4]Tero Harju, Dirk Nowotka:
Border correlation of binary words. J. Comb. Theory, Ser. A 108(2): 331-341 (2004) - [c3]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. STACS 2004: 294-304 - 2003
- [j3]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Segments of Words. Bull. EATCS 80: 162-167 (2003) - [j2]Tero Harju, Dirk Nowotka:
On the independence of equations in three variables. Theor. Comput. Sci. 307(1): 139-172 (2003) - [c2]Tero Harju, Dirk Nowotka:
About Duval's Conjecture. Developments in Language Theory 2003: 316-324 - [i1]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture. CoRR cs.DM/0305039 (2003) - 2002
- [j1]Tero Harju, Dirk Nowotka:
Density of Critical Factorizations. RAIRO Theor. Informatics Appl. 36(3): 315-327 (2002)
1990 – 1999
- 1998
- [c1]Marco Benini, Sara Kalvala, Dirk Nowotka:
Program Abstraction in a Higher-Order Logic Framework. TPHOLs 1998: 33-48
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-18 23:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
