Dirk Nowotka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
23
Active years
2003–2025
Best venue rank
A*
Where they publish
- CDLT12 papers
- BMFCS6 papers
- BGI3 papers
- A*ICALP3 papers
- ASTACS3 papers
- BFMCAD2 papers
- BSOFSEM2 papers
- A*CAV2 papers
- BFM2 papers
- A*ICSE2 papers
- CSPIRE2 papers
- NationalCSR2 papers
- BCPM1 paper
- BFCT1 paper
- BISAAC1 paper
- NationalRTNS1 paper
- CVECoS1 paper
- AICST1 paper
- CLATA1 paper
- ASAT1 paper
- BICTAI1 paper
- CCiE1 paper
- CUC1 paper
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPM | The Equivalence Problem of E-Pattern Languages with Length Constraints Is Undecidable. | Dirk Nowotka, Max Wiedenhft |
| 2025 | FMCAD | s2s: An Eager SMT Solver for Strings. | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka |
| 2025 | GI | Data-/ Digital-Science-Community Workshop 2025: Entwicklungen, Synergien und nchste Schritte. | Lena Steinmann, Helen Pfuhl, Dirk Nowotka, Rolf Drechsler |
| 2024 | FMCAD | Solving String Constraints with Concatenation Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka |
| 2024 | GI | Aufbau einer berregionalen Data-Science-Community. | Helen Pfuhl, Lena Steinmann, Dirk Nowotka, Rolf Drechsler |
| 2024 | SOFSEM | Word-Representable Graphs from a Word's Perspective. | Pamela Fleischmann, Lukas Haschke, Tim Lck, Dirk Nowotka |
| 2023 | CAV | Solving String Constraints Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka |
| 2023 | FCT | α-β-Factorization and the Binary Case of Simon's Congruence. | Pamela Fleischmann, Jonas Hfer, Annika Huch, Dirk Nowotka |
| 2023 | GI | Workshop: "Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science". | Lena Steinmann, Dirk Nowotka, Lea Oberlnder, Helen Pfuhl, Heiner Stuckenschmidt, Rolf Drechsler |
| 2023 | ISAAC | k-Universality of Regular Languages. | Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Ko, Florin Manea, Dirk Nowotka |
| 2023 | RTNS | Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning. | Risheng Xu, Marvin Khl, Hermann von Hasseln, Dirk Nowotka |
| 2023 | VECoS | CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. | Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker |
| 2021 | CAV | An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. | Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh |
| 2021 | DLT | Weighted Prefix Normal Words: Mind the Gap. | Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka |
| 2021 | FM | Z3str4: A Multi-armed String Solver. | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
| 2021 | SOFSEM | Blocksequences of k-local Words. | Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck |
| 2020 | DLT | Scattered Factor-Universality of Words. | Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka |
| 2020 | DLT | Reconstructing Words from Right-Bounded-Block Words. | Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo |
| 2020 | ICSE | Rule-based Word Equation Solving. | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | ICSE | The Power of String Solving: Simplicity of Comparison. | Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | ICST | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. | Max J. Friese, Johannes Traub, Dirk Nowotka |
| 2020 | LATA | On Collapsing Prefix Normal Words. | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bgsted Poulsen |
| 2019 | DLT | k-Spectra of Weakly-c-Balanced Words. | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka |
| 2019 | MFCS | Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. | Joel D. Day, Florin Manea, Dirk Nowotka |
| 2018 | DLT | On Matching Generalised Repetitive Patterns. | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid |
| 2018 | FM | Statistical Model Checking of LLVM Code. | Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez |
| 2018 | ICALP | Rollercoasters and Caterpillars. | Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit |
| 2018 | ICALP | An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. | Dirk Nowotka, Aleksi Saarela |
| 2018 | MFCS | Lagrange's Theorem for Binary Squares. | P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit |
| 2018 | SAT | Tuning Parallel SAT Solvers. | Thorsten Ehlers, Dirk Nowotka |
| 2017 | MFCS | The Hardness of Solving Simple Word Equations. | Joel D. Day, Florin Manea, Dirk Nowotka |
| 2017 | SPIRE | Detecting One-Variable Patterns. | Dmitry Kosolobov, Florin Manea, Dirk Nowotka |
| 2016 | DLT | On the Solvability Problem for Restricted Classes of Word Equations. | Florin Manea, Dirk Nowotka, Markus L. Schmid |
| 2016 | DLT | One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. | Dirk Nowotka, Aleksi Saarela |
| 2015 | DLT | Unary Patterns with Permutations. | James D. Currie, Florin Manea, Dirk Nowotka |
| 2015 | SPIRE | On Prefix/Suffix-Square Free Words. | Marius Dumitran, Florin Manea, Dirk Nowotka |
| 2014 | DLT | k-Abelian Pattern Matching. | Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka |
| 2014 | ICTAI | Communication in Massively-Parallel SAT Solving. | Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck |
| 2014 | MFCS | Generalised Lyndon-Schtzenberger Equations. | Florin Manea, Mike Mller, Dirk Nowotka, Shinnosuke Seki |
| 2014 | STACS | Testing Generalised Freeness of Words. | Pawel Gawrychowski, Florin Manea, Dirk Nowotka |
| 2013 | CiE | Discovering Hidden Repetitions in Words. | Pawel Gawrychowski, Florin Manea, Dirk Nowotka |
| 2013 | STACS | Finding Pseudo-repetitions. | Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka, Catalin Tiseanu |
| 2012 | DLT | The Avoidability of Cubes under Permutations. | Florin Manea, Mike Mller, Dirk Nowotka |
| 2012 | MFCS | Fine and Wilf's Theorem and Pseudo-repetitions. | Florin Manea, Robert Mercas, Dirk Nowotka |
| 2012 | UC | String Matching with Involutions. | Cristian Grozea, Florin Manea, Mike Mller, Dirk Nowotka |
| 2009 | ICALP | The Ehrenfeucht-Silberger Problem. | Stepan Holub, Dirk Nowotka |
| 2008 | DLT | On the Relation between Periodicity and Unbordered Factors of Finite Words. | Stepan Holub, Dirk Nowotka |
| 2007 | CSR | Maximal Intersection Queries in Randomized Graph Models. | Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka |
| 2007 | CSR | Estimation of the Click Volume by Large Scale Regression Analysis. | Yury Lifshits, Dirk Nowotka |
| 2007 | MFCS | Height-Deterministic Pushdown Automata. | Dirk Nowotka, Jir Srba |
| 2004 | STACS | Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. | Tero Harju, Dirk Nowotka |
| 2003 | DLT | About Duval's Conjecture. | Tero Harju, Dirk Nowotka |