default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2024
[j43]Vesa Halava, Tero Harju
, Dirk Nowotka, Esa Sahla:
Decision Problems on Copying and Shuffling. Fundam. Informaticae 191(3-4): 269-284 (2024)- [c74]Ghassan Al-Falouji, Shang Gao, Lukas Haschke, Dirk Nowotka, Sven Tomforde:
Enhancing Maritime Behaviour Analysis Through Novel Feature Engineering and Digital Shadow Modelling: A Case Study in the Kiel Fjord. ARCS 2024: 97-111 - [c73]Helen Pfuhl, Lena Steinmann, Dirk Nowotka, Rolf Drechsler:
Aufbau einer überregionalen Data-Science-Community. INFORMATIK 2024: 2197-2203 - [c72]Pamela Fleischmann, Lukas Haschke, Tim Löck, Dirk Nowotka:
Word-Representable Graphs from a Word's Perspective. SOFSEM 2024: 255-268 - [c71]Dirk Nowotka, Max Wiedenhöft:
The Equivalence Problem of E-Pattern Languages with Regular Constraints Is Undecidable. CIAA 2024: 276-288 - 2023
- [j42]Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. 35(4) (2023) - [j41]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943: 50-72 (2023) - [j40]Pamela Fleischmann, Lukas Haschke, Jonas Höfer, Annika Huch, Annika Mayrock, Dirk Nowotka:
Nearly k-universal words - Investigating a part of Simon's congruence. Theor. Comput. Sci. 974: 114113 (2023) - [c70]Ghassan Al-Falouji, Lukas Haschke, Dirk Nowotka, Sven Tomforde:
Self-Explanation as a Basis for Self-Integration - The Autonomous Passenger Ferry Scenario. ACSOS-C 2023: 65-70 - [c69]Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. CAV (2) 2023: 187-208 - [c68]Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka:
α-β-Factorization and the Binary Case of Simon's Congruence. FCT 2023: 190-204 - [c67]Lena Steinmann, Dirk Nowotka, Lea Oberländer, Helen Pfuhl, Heiner Stuckenschmidt, Rolf Drechsler:
Workshop: "Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science". GI-Jahrestagung 2023: 73-80 - [c66]Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka:
k-Universality of Regular Languages. ISAAC 2023: 4:1-4:21 - [c65]Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft:
Matching Patterns with Variables Under Simon's Congruence. RP 2023: 155-170 - [c64]Risheng Xu, Marvin Kühl, Hermann von Hasseln, Dirk Nowotka:
Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning. RTNS 2023: 212-223 - [c63]Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker:
CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. AISoLA (Selected Papers) 2023: 225-244 - [c62]Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull:
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA 2023: 206-217 - [i33]Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla:
Decision Problems on Copying and Shuffling. CoRR abs/2302.06248 (2023) - [i32]Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka:
α-β-Factorization and the Binary Case of Simon's Congruence. CoRR abs/2306.14192 (2023) - [i31]Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft:
Matching Patterns with Variables Under Simon's Congruence. CoRR abs/2308.08374 (2023) - [i30]Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka:
k-Universality of Regular Languages. CoRR abs/2311.10658 (2023) - 2022
- [j39]Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog:
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. IEEE Access 10: 58375-58418 (2022) - [j38]Dirk Nowotka, Aleksi Saarela:
An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. SIAM J. Comput. 51(1): 1-18 (2022) - [c61]Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka:
Nearly k-Universal Words - Investigating a Part of Simon's Congruence. DCFS 2022: 57-71 - [c60]Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen:
Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN 2022: 134-151 - [i29]Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka:
m-Nearly k-Universal Words - Investigating Simon Congruence. CoRR abs/2202.07981 (2022) - [i28]Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
A Generic Information Extraction System for String Constraints. CoRR abs/2208.08806 (2022) - 2021
- [j37]Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo:
Reconstructing Words from Right-Bounded-Block Words. Int. J. Found. Comput. Sci. 32(6): 619-640 (2021) - [c59]Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh:
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) 2021: 289-312 - [c58]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS 2021: 50-64 - [c57]Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
Weighted Prefix Normal Words: Mind the Gap. DLT 2021: 143-154 - [c56]Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh:
Z3str4: A Multi-armed String Solver. FM 2021: 389-406 - [c55]Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck:
Blocksequences of k-local Words. SOFSEM 2021: 119-134 - [c54]Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Analysis of Source Code Using UPPAAL. F-IDE@NFM 2021: 31-38 - [i27]Pamela Fleischmann, Sebastian Bernhard Germann, Dirk Nowotka:
Scattered Factor Universality - The Power of the Remainder. CoRR abs/2104.09063 (2021) - [i26]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR abs/2105.07220 (2021) - [i25]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
The Show Must Go On - Examination During a Pandemic. CoRR abs/2107.04014 (2021) - [i24]Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog:
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. CoRR abs/2107.09546 (2021) - 2020
- [j36]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
Equations enforcing repetitions under permutations. Discret. Appl. Math. 285: 61-78 (2020) - [c53]Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka:
Scattered Factor-Universality of Words. DLT 2020: 14-28 - [c52]Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo:
Reconstructing Words from Right-Bounded-Block Words. DLT 2020: 96-109 - [c51]Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
The Power of String Solving: Simplicity of Comparison. AST@ICSE 2020: 85-88 - [c50]Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
Rule-based Word Equation Solving. FormaliSE@ICSE 2020: 87-97 - [c49]Max J. Friese, Johannes Traub, Dirk Nowotka:
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST 2020: 343-352 - [c48]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen:
On Collapsing Prefix Normal Words. LATA 2020: 412-424 - [c47]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 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) - [c46]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
k-Spectra of Weakly-c-Balanced Words. DLT 2019: 265-277 - [c45]Max J. Friese, Thorsten Ehlers, Dirk Nowotka:
Improving Estimations for Latencies of Cause-Effect Chains. IESS 2019: 53-64 - [c44]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 - [c43]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 - [c42]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) - [c41]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid:
On Matching Generalised Repetitive Patterns. DLT 2018: 269-281 - [c40]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez:
Statistical Model Checking of LLVM Code. FM 2018: 542-549 - [c39]Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit:
Rollercoasters and Caterpillars. ICALP 2018: 18:1-18:15 - [c38]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 - [c37]P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit:
Lagrange's Theorem for Binary Squares. MFCS 2018: 18:1-18:14 - [c36]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP 2018: 15-29 - [c35]Thorsten Ehlers, Dirk Nowotka:
Tuning Parallel SAT Solvers. POS@SAT 2018: 127-143 - [c34]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 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) - [c33]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
Equations Enforcing Repetitions Under Permutations. WORDS 2017: 72-84 - [c32]Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka:
Local Patterns. FSTTCS 2017: 24:1-24:14 - [c31]Joel D. Day, Florin Manea, Dirk Nowotka:
The Hardness of Solving Simple Word Equations. MFCS 2017: 18:1-18:14 - [c30]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
- [c29]Florin Manea, Dirk Nowotka, Markus L. Schmid:
On the Solvability Problem for Restricted Classes of Word Equations. DLT 2016: 306-318 - [c28]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) - [c27]James D. Currie, Florin Manea, Dirk Nowotka:
Unary Patterns with Permutations. DLT 2015: 191-202 - [c26]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
- [c25]Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka:
k-Abelian Pattern Matching. Developments in Language Theory 2014: 178-190 - [c24]Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck:
Communication in Massively-Parallel SAT Solving. ICTAI 2014: 709-716 - [c23]Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki:
Generalised Lyndon-Schützenberger Equations. MFCS (1) 2014: 402-413 - [c22]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 - [c21]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
- [c20]Pawel Gawrychowski, Florin Manea, Dirk Nowotka:
Discovering Hidden Repetitions in Words. CiE 2013: 210-219 - [c19]Florin Manea, Mike Müller, Dirk Nowotka:
On the Pseudoperiodic Extension of u^l = v^m w^n. FSTTCS 2013: 475-486 - [c18]Dirk Nowotka, Johannes Traub:
Formal Verification of Concurrent Embedded Software. IESS 2013: 218-227 - [c17]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 - [c16]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 A 119(3): 668-682 (2012) - [c15]Dirk Nowotka, Johannes Traub:
MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. Automotive - Safety & Security 2012: 69-83 - [c14]Florin Manea, Mike Müller, Dirk Nowotka:
The Avoidability of Cubes under Permutations. Developments in Language Theory 2012: 416-427 - [c13]Florin Manea, Robert Mercas, Dirk Nowotka:
Fine and Wilf's Theorem and Pseudo-repetitions. MFCS 2012: 668-680 - [c12]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) - [c11]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) - [c10]Stepan Holub, Dirk Nowotka:
The Ehrenfeucht-Silberger Problem. ICALP (1) 2009: 537-548 - [c9]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) - [c8]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) - [c7]Yury Lifshits, Dirk Nowotka:
Estimation of the Click Volume by Large Scale Regression Analysis. CSR 2007: 216-226 - [c6]Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka:
Maximal Intersection Queries in Randomized Graph Models. CSR 2007: 227-236 - [c5]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 A 108(2): 331-341 (2004) - [c4]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) - [c3]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
- [c2]Marco Benini, Dirk Nowotka, Carl Pulley:
Computer Arithmetic: Logic, Calculus and Rewriting. FroCoS 1998: 77-94 - [c1]Marco Benini, Sara Kalvala, Dirk Nowotka:
Program Abstraction in a Higher-Order Logic Framework. TPHOLs 1998: 33-48
Coauthor Index
[j42] [j41] [c66] [c65] [i31] [i30] [i28] [j37] [c59] [c58] [c55] [i26] [j36] [c53] [c52] [c51] [c50] [i23] [i22] [i19] [i18] [j35] [j34] [c46] [c44] [c43] [i17] [i15] [i14] [j33] [j30] [c41] [c39] [c36] [e3] [i12] [i11] [j28] [j27] [c33] [c32] [c31] [c30] [i9] [c29] [i6] [j26] [j25] [c27] [c26] [e2] [c25] [c23] [c21] [c20] [c19] [c16] [c14] [c13] [c12]
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-11-11 22:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
