Dirk Nowotka

According to our database, Dirk Nowotka authored at least 124 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Word-Representable Graphs from a Word's Perspective.

Pamela Fleischmann, Lukas Haschke, Tim Löck, Dirk Nowotka

Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

2023

Nearly <i>k</i>-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., September, 2023

ZaligVinder: A generic test framework for string solvers.

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

J. Softw. Evol. Process., April, 2023

Towards more efficient methods for solving regular-expression heavy string constraints.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Theor. Comput. Sci., 2023

Decision Problems on Copying and Shuffling.

Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla

CoRR, 2023

Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Proceedings of the Implementation and Application of Automata, 2023

Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning.

Risheng Xu, Marvin Kühl, Hermann von Hasseln, Dirk Nowotka

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Matching Patterns with Variables Under Simon's Congruence.

Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft

Proceedings of the Reachability Problems - 17th International Conference, 2023

k-Universality of Regular Languages.

Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka

Proceedings of the 34th International Symposium on Algorithms and Computation, 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

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

α-β-Factorization and the Binary Case of Simon's Congruence.

Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka

Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

Solving String Constraints Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Self-Explanation as a Basis for Self-Integration - The Autonomous Passenger Ferry Scenario.

Ghassan Al-Falouji, Lukas Haschke, Dirk Nowotka, Sven Tomforde

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences.

Dirk Nowotka, Aleksi Saarela

SIAM J. Comput., 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

m-Nearly k-Universal Words - Investigating Simon Congruence.

Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka

CoRR, 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

IEEE Access, 2022

Solving String Theories Involving Regular Membership Predicates Using SAT.

Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Nearly k-Universal Words - Investigating a Part of Simon's Congruence.

Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka

Proceedings of the Descriptional Complexity of Formal Systems, 2022

2021

Reconstructing Words from Right-Bounded-Block Words.

Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo

Int. J. Found. Comput. Sci., 2021

Analysis of Source Code Using UPPAAL.

Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 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

CoRR, 2021

The Show Must Go On - Examination During a Pandemic.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

CoRR, 2021

Scattered Factor Universality - The Power of the Remainder.

Pamela Fleischmann, Sebastian Bernhard Germann, Dirk Nowotka

CoRR, 2021

Blocksequences of k-local Words.

Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck

Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Weighted Prefix Normal Words: Mind the Gap.

Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Equations enforcing repetitions under permutations.

Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka

Discret. Appl. Math., 2020

A Length-aware Regular Expression SMT Solver.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

CoRR, 2020

Automatic Verification of LLVM Code.

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen

CoRR, 2020

On Weighted Prefix Normal Words.

Yannik Eikmeier, Pamela Fleischmann, Dirk Nowotka

CoRR, 2020

Estimating End-to-End Latencies in Automotive Cyber-physical Systems.

Max J. Friese, Dirk Nowotka

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

On Collapsing Prefix Normal Words.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Language and Automata Theory and Applications, 2020

EC.LANG - A Language for Specifying Response Time Analyses of Event Chains.

Max J. Friese, Johannes Traub, Dirk Nowotka

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

The Power of String Solving: Simplicity of Comparison.

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Rule-based Word Equation Solving.

Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Scattered Factor-Universality of Words.

Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka

Proceedings of the Developments in Language Theory - 24th International Conference, 2020

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

Hide and seek with repetitions.

Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka

J. Comput. Syst. Sci., 2019

An Empirical Investigation of Randomized Defenses against Adversarial Attacks.

Yannik Potdevin, Dirk Nowotka, Vijay Ganesh

CoRR, 2019

On Modelling the Avoidability of Patterns as CSP.

Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi

CoRR, 2019

On Collapsing Prefix Normal Words.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

CoRR, 2019

k-Spectra of c-Balanced Words.

Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka

CoRR, 2019

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

On Solving Word Equations Using SAT.

Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Reachability Problems - 13th International Conference, 2019

Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations.

Joel D. Day, Florin Manea, Dirk Nowotka

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Improving Estimations for Latencies of Cause-Effect Chains.

Max J. Friese, Thorsten Ehlers, Dirk Nowotka

Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019

k-Spectra of Weakly-c-Balanced Words.

Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2018

Unary patterns under permutations.

James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi

Theor. 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

One-Variable Word Equations and Three-Variable Constant-Free Word Equations.

Dirk Nowotka, Aleksi Saarela

Int. J. Found. Comput. Sci., 2018

On the Complexity of Solving Restricted Word Equations.

Florin Manea, Dirk Nowotka, Markus L. Schmid

Int. J. Found. Comput. Sci., 2018

The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.

Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka

CoRR, 2018

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs.

Max J. Friese, Thorsten Ehlers, Dirk Nowotka

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Tuning Parallel SAT Solvers.

Thorsten Ehlers, Dirk Nowotka

Proceedings of Pragmatics of SAT 2015, 2018

The Satisfiability of Word Equations: Decidable and Undecidable Theories.

Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka

Proceedings of the Reachability Problems - 12th International Conference, 2018

Lagrange's Theorem for Binary Squares.

P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Rollercoasters and Caterpillars.

Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Statistical Model Checking of LLVM Code.

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez

Proceedings of the Formal Methods - 22nd International Symposium, 2018

On Matching Generalised Repetitive Patterns.

Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

2017

TCS Special Issue: Combinatorics on Words - WORDS 2015.

Florin Manea, Dirk Nowotka

Theor. Comput. Sci., 2017

The extended equation of Lyndon and Schützenberger.

Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki

J. Comput. Syst. Sci., 2017

A note on Thue games.

Robert Mercas, Dirk Nowotka

Inf. Process. Lett., 2017

Detecting One-Variable Patterns.

Dmitry Kosolobov, Florin Manea, Dirk Nowotka

Proceedings of the String Processing and Information Retrieval, 2017

The Hardness of Solving Simple Word Equations.

Joel D. Day, Florin Manea, Dirk Nowotka

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Local Patterns.

Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2016

Detecting Unary Patterns.

Dmitry Kosolobov, Florin Manea, Dirk Nowotka

CoRR, 2016

One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations.

Dirk Nowotka, Aleksi Saarela

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

On the Solvability Problem for Restricted Classes of Word Equations.

Florin Manea, Dirk Nowotka, Markus L. Schmid

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

k-Abelian pattern matching.

Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka

J. Discrete Algorithms, 2015

Cubic patterns with permutations.

Florin Manea, Mike Müller, Dirk Nowotka

J. Comput. Syst. Sci., 2015

On Prefix/Suffix-Square Free Words.

Marius Dumitran, Florin Manea, Dirk Nowotka

Proceedings of the String Processing and Information Retrieval, 2015

Unary Patterns with Permutations.

James D. Currie, Florin Manea, Dirk Nowotka

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

2014

Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111).

Maxime Crochemore, James D. Currie, Gregory Kucherov, Dirk Nowotka

Dagstuhl Reports, 2014

Testing Generalised Freeness of Words.

Pawel Gawrychowski, Florin Manea, Dirk Nowotka

Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014

Formal software verification for the migration of embedded code from single- to multicore systems.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Generalised Lyndon-Schützenberger Equations.

Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Communication in Massively-Parallel SAT Solving.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013

Finding Pseudo-repetitions.

Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka, Catalin Tiseanu

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems.

Michael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Formal Verification of Concurrent Embedded Software.

Dirk Nowotka, Johannes Traub

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

On the Pseudoperiodic Extension of u^l = v^m w^n.

Florin Manea, Mike Müller, Dirk Nowotka

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Discovering Hidden Repetitions in Words.

Pawel Gawrychowski, Florin Manea, Dirk Nowotka

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

The Ehrenfeucht-Silberger problem.

Stepan Holub, Dirk Nowotka

J. Comb. Theory, Ser. A, 2012

Unary Patterns with involution.

Bastian Bischoff, James D. Currie, Dirk Nowotka

Int. J. Found. Comput. Sci., 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

String Matching with Involutions.

Cristian Grozea, Florin Manea, Mike Müller, Dirk Nowotka

Proceedings of the Unconventional Computation and Natural Computation, 2012

Fine and Wilf's Theorem and Pseudo-repetitions.

Florin Manea, Robert Mercas, Dirk Nowotka

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

The Avoidability of Cubes under Permutations.

Florin Manea, Mike Müller, Dirk Nowotka

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code.

Dirk Nowotka, Johannes Traub

Proceedings of the Automotive, 2012

2011

Preface.

Volker Diekert, Dirk Nowotka

Int. J. Found. Comput. Sci., 2011

Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081).

Maxime Crochemore, Lila Kari, Mehryar Mohri, Dirk Nowotka

Dagstuhl Reports, 2011

Pattern Avoidability with Involution

Bastian Bischoff, Dirk Nowotka

Proceedings of the Proceedings 8th International Conference Words 2011, 2011

The Number of Positions Starting a Square in Binary Words.

Tero Harju, Tomi Kärki, Dirk Nowotka

Electron. J. Comb., 2011

2010

Maximal Intersection Queries in Randomized Input Models.

Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka

Theory Comput. Syst., 2010

Cyclically repetition-free words on small alphabets.

Tero Harju, Dirk Nowotka

Inf. Process. Lett., 2010

On the Relation between Periodicity and Unbordered Factors of Finite Words.

Stepan Holub, Dirk Nowotka

Int. J. Found. Comput. Sci., 2010

2009

Klassifikationsbäume in Echtzeit.

Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen

Softwaretechnik-Trends, 2009

Äquivalenzklassen mit Zeit und Zuständen.

Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen

Proceedings of the Informatiktage 2009, 2009

2008

A note on an extension of PDL.

Stefan Göller, Dirk Nowotka

J. Appl. Log., 2008

Unbordered factors and Lyndon words.

Jean-Pierre Duval, Tero Harju, Dirk Nowotka

Discret. Math., 2008

Bordered Conjugates of Words over Large Alphabets.

Tero Harju, Dirk Nowotka

Electron. J. Comb., 2008

2007

Periodicity and unbordered words: A proof of the extended duval conjecture.

Tero Harju, Dirk Nowotka

J. ACM, 2007

On a Non-Context-Free Extension of PDL

Stefan Göller, Dirk Nowotka

CoRR, 2007

Height-Deterministic Pushdown Automata.

Dirk Nowotka, Jirí Srba

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

Estimation of the Click Volume by Large Scale Regression Analysis.

Yury Lifshits, Dirk Nowotka

Proceedings of the Computer Science, 2007

Maximal Intersection Queries in Randomized Graph Models.

Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka

Proceedings of the Computer Science, 2007

2006

On unique factorizations of primitive words.

Tero Harju, Dirk Nowotka

Theor. Comput. Sci., 2006

Binary Words with Few Squares.

Tero Harju, Dirk Nowotka

Bull. EATCS, 2006

Periods in Extensions of Words.

Tero Harju, Dirk Nowotka

Acta Informatica, 2006

2005

Counting bordered and primitive words with a fixed weight.

Tero Harju, Dirk Nowotka

Theor. Comput. Sci., 2005

On the equation in a free semigroup.

Tero Harju, Dirk Nowotka

Theor. Comput. Sci., 2005

A characterization of periodicity of bi-infinite words.

Tero Harju, Arto Lepistö, Dirk Nowotka

Theor. Comput. Sci., 2005

2004

Border correlation of binary words.

Tero Harju, Dirk Nowotka

J. Comb. Theory, Ser. A, 2004

Minimal Duval Extensions.

Tero Harju, Dirk Nowotka

Int. J. Found. Comput. Sci., 2004

Periodicity and Unbordered Words: A Proof of Duval?s Conjecture.

Tero Harju, Dirk Nowotka

Proceedings of the STACS 2004, 2004

2003

On the independence of equations in three variables.

Tero Harju, Dirk Nowotka

Theor. Comput. Sci., 2003

Periodicity and Unbordered Segments of Words.

Tero Harju, Dirk Nowotka

Bull. EATCS, 2003

About Duval's Conjecture.

Tero Harju, Dirk Nowotka

Proceedings of the Developments in Language Theory, 7th International Conference, 2003

2002

Density of Critical Factorizations.

Tero Harju, Dirk Nowotka

RAIRO Theor. Informatics Appl., 2002

1998

Program Abstraction in a Higher-Order Logic Framework.

Marco Benini, Sara Kalvala, Dirk Nowotka

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Computer Arithmetic: Logic, Calculus and Rewriting.

Marco Benini, Dirk Nowotka, Carl Pulley

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998