Dirk Nowotka

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 94

Top Venues

CoRR

DLT

Theor. Comput. Sci.

J. Comput. Syst. Sci.

Publications

Pamela Fleischmann, Lukas Haschke, Tim Löck, Dirk Nowotka
Word-Representable Graphs from a Word's Perspective. SOFSEM (2024)
Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla
Decision Problems on Copying and Shuffling. Fundam. Informaticae 191 (3-4) (2024)
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)
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)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. CoRR (2023)
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)
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)
Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA (2023)
Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
k-Universality of Regular Languages. ISAAC (2023)
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)
Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka
α-β-Factorization and the Binary Case of Simon's Congruence. CoRR (2023)
Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka
α-β-Factorization and the Binary Case of Simon's Congruence. FCT (2023)
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)
Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
k-Universality of Regular Languages. CoRR (2023)
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 (2023)
Pamela Fleischmann, Lukas Haschke, Jonas Höfer, Annika Huch, Annika Mayrock, Dirk Nowotka
-universal words - Investigating a part of Simon's congruence. Theor. Comput. Sci. 974 (2023)
Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla
Decision Problems on Copying and Shuffling. CoRR (2023)
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 (2022)
Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka
m-Nearly k-Universal Words - Investigating Simon Congruence. CoRR (2022)
Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN (2022)
Pamela Fleischmann, Tero Harju, Lukas Haschke, Jonas Höfer, Dirk Nowotka
On the Self Shuffle Language. CoRR (2022)
Dirk Nowotka, Aleksi Saarela
An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. SIAM J. Comput. 51 (1) (2022)
Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka
Nearly k-Universal Words - Investigating a Part of Simon's Congruence. DCFS (2022)
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 (2022)
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
Z3str4: A Multi-armed String Solver. FM (2021)
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)
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
The Show Must Go On - Examination During a Pandemic. CoRR (2021)
Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
Weighted Prefix Normal Words: Mind the Gap. DLT (2021)
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)
Pamela Fleischmann, Sebastian Bernhard Germann, Dirk Nowotka
Scattered Factor Universality - The Power of the Remainder. CoRR (2021)
Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
Blocksequences of k-local Words. SOFSEM (2021)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. Int. J. Found. Comput. Sci. 32 (6) (2021)
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Analysis of Source Code Using UPPAAL. F-IDE@NFM (2021)
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 (2021)
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 (2021)
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
Rule-based Word Equation Solving. FormaliSE@ICSE (2020)
Max J. Friese, Johannes Traub, Dirk Nowotka
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST (2020)
Yannik Eikmeier, Pamela Fleischmann, Dirk Nowotka
On Weighted Prefix Normal Words. CoRR (2020)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. CoRR (2020)
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
On Collapsing Prefix Normal Words. LATA (2020)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Automatic Verification of LLVM Code. CoRR (2020)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. DLT (2020)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Max J. Friese, Dirk Nowotka
Estimating End-to-End Latencies in Automotive Cyber-physical Systems. MARS@ETAPS (2020)
Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
Scattered Factor-Universality of Words. CoRR (2020)
Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
Blocksequences of k-local Words. CoRR (2020)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations enforcing repetitions under permutations. Discret. Appl. Math. 285 (2020)
Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
Scattered Factor-Universality of Words. DLT (2020)
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
The Power of String Solving: Simplicity of Comparison. AST@ICSE (2020)
Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Improving Estimations for Latencies of Cause-Effect Chains. IESS (2019)
Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi
On Modelling the Avoidability of Patterns as CSP. CoRR (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. CoRR (2019)
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. FMTea (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of c-Balanced Words. CoRR (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. RP (2019)
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
On Collapsing Prefix Normal Words. CoRR (2019)
Joel D. Day, Florin Manea, Dirk Nowotka
Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS (2019)
Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka
Hide and seek with repetitions. J. Comput. Syst. Sci. 101 (2019)
Yannik Potdevin, Dirk Nowotka, Vijay Ganesh
An Empirical Investigation of Randomized Defenses against Adversarial Attacks. CoRR (2019)
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) (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of Weakly-c-Balanced Words. DLT (2019)
Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
Rollercoasters and Caterpillars. ICALP (2018)
Karol Kosinski, Robert Mercas, Dirk Nowotka
Corrigendum to "A note on Thue games" [Inf. Process. Lett. 118 (2017) 75-77]. Inf. Process. Lett. 130 (2018)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid
On Matching Generalised Repetitive Patterns. DLT (2018)
Thorsten Ehlers, Dirk Nowotka
Tuning Parallel SAT Solvers. POS@SAT (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR (2018)
Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. CoRR (2018)
Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
Rollercoasters and Caterpillars. CoRR (2018)
Florin Manea, Dirk Nowotka, Markus L. Schmid
On the Complexity of Solving Restricted Word Equations. Int. J. Found. Comput. Sci. 29 (5) (2018)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
Statistical Model Checking of LLVM Code. FM (2018)
Dirk Nowotka, Aleksi Saarela
An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. ICALP (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP (2018)
Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. SIES (2018)
James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi
Unary patterns under permutations. Theor. Comput. Sci. 743 (2018)
Dirk Nowotka, Aleksi Saarela
One-Variable Word Equations and Three-Variable Constant-Free Word Equations. Int. J. Found. Comput. Sci. 29 (5) (2018)
P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
Lagrange's Theorem for Binary Squares. MFCS (2018)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Local Patterns. FSTTCS (2017)
Dmitry Kosolobov, Florin Manea, Dirk Nowotka
Detecting One-Variable Patterns. SPIRE (2017)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations Enforcing Repetitions Under Permutations. WORDS (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. MFCS (2017)
Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. 85 (2017)
Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
Lagrange's Theorem for Binary Squares. CoRR (2017)
Florin Manea, Dirk Nowotka
TCS Special Issue: Combinatorics on Words - WORDS 2015. Theor. Comput. Sci. 684 (2017)
Robert Mercas, Dirk Nowotka
A note on Thue games. Inf. Process. Lett. 118 (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. CoRR (2017)
Dmitry Kosolobov, Florin Manea, Dirk Nowotka
Detecting Unary Patterns. CoRR (2016)
Robert Mercas, Dirk Nowotka
A note on Thue games. CoRR (2016)
Dirk Nowotka, Aleksi Saarela
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. DLT (2016)
Florin Manea, Dirk Nowotka, Markus L. Schmid
On the Solvability Problem for Restricted Classes of Word Equations. DLT (2016)
Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
k-Abelian pattern matching. J. Discrete Algorithms 34 (2015)
Marius Dumitran, Florin Manea, Dirk Nowotka
On Prefix/Suffix-Square Free Words. SPIRE (2015)
James D. Currie, Florin Manea, Dirk Nowotka
Unary Patterns with Permutations. DLT (2015)
Florin Manea, Mike Müller, Dirk Nowotka
Cubic patterns with permutations. J. Comput. Syst. Sci. 81 (7) (2015)
Pawel Gawrychowski, Florin Manea, Dirk Nowotka
Testing Generalised Freeness of Words. STACS (2014)
Maxime Crochemore, James D. Currie, Gregory Kucherov, Dirk Nowotka
Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111). Dagstuhl Reports 4 (3) (2014)
Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
Generalised Lyndon-Schützenberger Equations. MFCS (1) (2014)
Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck
Communication in Massively-Parallel SAT Solving. ICTAI (2014)
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)
Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
k-Abelian Pattern Matching. Developments in Language Theory (2014)

Dirk Nowotka.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dirk Nowotka