Dirk Nowotka - RankMe

166 papers A* 2A 4B 15C 23Misc 3Journal 85Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Certainty in Formalising SMT-LIB for Strings in Isabelle. Int. J. Found. Comput. Sci. Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2025	J	`jnl`	An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints. CoRR Klaus Jansen, Dirk Nowotka, Lis Pirotton, Corinna Wambsganz, Max Wiedenhöft
2025	—	`conf`	Data-/ Digital-Science-Community Workshop 2025: Entwicklungen, Synergien und nächste Schritte. INFORMATIK Lena Steinmann, Helen Pfuhl, Dirk Nowotka, Rolf Drechsler
2025	J	`jnl`	Generalised Nyldon words. Theor. Comput. Sci. Pamela Fleischmann, Annika Huch, Dirk Nowotka
2025	J	`jnl`	PrETi: Predicting Execution Time in Early Stage with LLVM and Machine Learning. CoRR Risheng Xu, Philipp Sieweck, Hermann von Hasseln, Dirk Nowotka
2025	J	`jnl`	Reinforcement Learning for Simultaneous SOC and Temperature Balancing of Li-Ion Battery Cells in Battery Management Systems. IEEE Access Rui Li, Jun-Hyung Jung, Johannes Diers, Tokessa Hamann, Hamzeh Beiranvand, Marco Liserre, Dirk Nowotka
2025	B	`conf`	The Equivalence Problem of E-Pattern Languages with Length Constraints Is Undecidable. CPM Dirk Nowotka, Max Wiedenhöft
2025	J	`jnl`	k-Universality of Regular Languages. Inf. Comput. Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2025	B	`conf`	s2s: An Eager SMT Solver for Strings. FMCAD Kevin Lotz, Mitja Kulczynski, Dirk Nowotka
2024	—	`conf`	Aufbau einer überregionalen Data-Science-Community. INFORMATIK Helen Pfuhl, Lena Steinmann, Dirk Nowotka, Rolf Drechsler
2024	J	`jnl`	Decision Problems on Copying and Shuffling. Fundam. Informaticae Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla
2024	—	`conf`	Enhancing Maritime Behaviour Analysis Through Novel Feature Engineering and Digital Shadow Modelling: A Case Study in the Kiel Fjord. ARCS Ghassan Al-Falouji, Shang Gao, Lukas Haschke, Dirk Nowotka, Sven Tomforde
2024	B	`conf`	Solving String Constraints with Concatenation Using SAT. FMCAD Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka
2024	J	`jnl`	The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable. CoRR Dirk Nowotka, Max Wiedenhöft
2024	C	`conf`	The Equivalence Problem of E-Pattern Languages with Regular Constraints Is Undecidable. CIAA Dirk Nowotka, Max Wiedenhöft
2024	J	`jnl`	The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable. CoRR Dirk Nowotka, Max Wiedenhöft
2024	B	`conf`	Word-Representable Graphs from a Word's Perspective. SOFSEM Pamela Fleischmann, Lukas Haschke, Tim Löck, Dirk Nowotka
2024	J	`jnl`	Word-representable graphs from a word's perspective. Acta Informatica Pamela Fleischmann, Lukas Haschke, Tim Löck, Dirk Nowotka
2023	—	`conf`	CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. AISoLA (Selected Papers) Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker
2023	J	`jnl`	Decision Problems on Copying and Shuffling. CoRR Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla
2023	—	`conf`	Matching Patterns with Variables Under Simon's Congruence. RP Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2023	J	`jnl`	Matching Patterns with Variables Under Simon's Congruence. CoRR Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2023	J	`jnl`	Nearly Theor. Comput. Sci. Pamela Fleischmann, Lukas Haschke, Jonas Höfer, Annika Huch, Annika Mayrock, Dirk Nowotka
2023	Misc	`conf`	Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning. RTNS Risheng Xu, Marvin Kühl, Hermann von Hasseln, Dirk Nowotka
2023	—	`conf`	Self-Explanation as a Basis for Self-Integration - The Autonomous Passenger Ferry Scenario. ACSOS-C Ghassan Al-Falouji, Lukas Haschke, Dirk Nowotka, Sven Tomforde
2023	—	`conf`	Solving String Constraints Using SAT. CAV (2) Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
2023	J	`jnl`	Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2023	C	`conf`	Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2023	—	`conf`	Workshop: "Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science". GI-Jahrestagung Lena Steinmann, Dirk Nowotka, Lea Oberländer, Helen Pfuhl, Heiner Stuckenschmidt, Rolf Drechsler
2023	J	`jnl`	ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2023	B	`conf`	k-Universality of Regular Languages. ISAAC Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2023	J	`jnl`	k-Universality of Regular Languages. CoRR Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2023	B	`conf`	α-β-Factorization and the Binary Case of Simon's Congruence. FCT Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka
2023	J	`jnl`	α-β-Factorization and the Binary Case of Simon's Congruence. CoRR Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka
2022	J	`jnl`	A Generic Information Extraction System for String Constraints. CoRR Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022	J	`jnl`	An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. SIAM J. Comput. Dirk Nowotka, Aleksi Saarela
2022	—	`conf`	Nearly k-Universal Words - Investigating a Part of Simon's Congruence. DCFS Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka
2022	J	`jnl`	Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. IEEE Access Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
2022	—	`conf`	Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
2022	J	`jnl`	m-Nearly k-Universal Words - Investigating Simon Congruence. CoRR Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka
2021	—	`conf`	An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021	—	`conf`	Analysis of Source Code Using UPPAAL. F-IDE@NFM Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2021	B	`conf`	Blocksequences of k-local Words. SOFSEM Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
2021	J	`jnl`	Reconstructing Words from Right-Bounded-Block Words. Int. J. Found. Comput. Sci. Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2021	J	`jnl`	Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. CoRR Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
2021	J	`jnl`	Scattered Factor Universality - The Power of the Remainder. CoRR Pamela Fleischmann, Sebastian Bernhard Germann, Dirk Nowotka
2021	—	`conf`	String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021	J	`jnl`	String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021	J	`jnl`	The Show Must Go On - Examination During a Pandemic. CoRR Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2021	C	`conf`	Weighted Prefix Normal Words: Mind the Gap. DLT Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2021	B	`conf`	Z3str4: A Multi-armed String Solver. FM Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2020	J	`jnl`	A Length-aware Regular Expression SMT Solver. CoRR Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2020	J	`jnl`	Automatic Verification of LLVM Code. CoRR Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2020	J	`jnl`	Blocksequences of k-local Words. CoRR Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
2020	A	`conf`	EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST Max J. Friese, Johannes Traub, Dirk Nowotka
2020	J	`jnl`	Equations enforcing repetitions under permutations. Discret. Appl. Math. Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2020	—	`conf`	Estimating End-to-End Latencies in Automotive Cyber-physical Systems. MARS Max J. Friese, Dirk Nowotka
2020	C	`conf`	On Collapsing Prefix Normal Words. LATA Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
2020	J	`jnl`	On Weighted Prefix Normal Words. CoRR Yannik Eikmeier, Pamela Fleischmann, Dirk Nowotka
2020	C	`conf`	Reconstructing Words from Right-Bounded-Block Words. DLT Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2020	J	`jnl`	Reconstructing Words from Right-Bounded-Block Words. CoRR Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2020	—	`conf`	Rule-based Word Equation Solving. FormaliSE@ICSE Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2020	C	`conf`	Scattered Factor-Universality of Words. DLT Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
2020	J	`jnl`	Scattered Factor-Universality of Words. CoRR Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
2020	C	`conf`	The Power of String Solving: Simplicity of Comparison. AST Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	An Empirical Investigation of Randomized Defenses against Adversarial Attacks. CoRR Yannik Potdevin, Dirk Nowotka, Vijay Ganesh
2019	J	`jnl`	Hide and seek with repetitions. J. Comput. Syst. Sci. Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka
2019	—	`conf`	Improving Estimations for Latencies of Cause-Effect Chains. IESS Max J. Friese, Thorsten Ehlers, Dirk Nowotka
2019	—	`conf`	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. FMTea Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
2019	J	`jnl`	On Collapsing Prefix Normal Words. CoRR Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2019	J	`jnl`	On Modelling the Avoidability of Patterns as CSP. CoRR Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi
2019	—	`conf`	On Solving Word Equations Using SAT. RP Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	On Solving Word Equations Using SAT. CoRR Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	Rollercoasters: Long Sequences without Short Runs. SIAM J. Discret. Math. Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2019	B	`conf`	Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS Joel D. Day, Florin Manea, Dirk Nowotka
2019	C	`conf`	k-Spectra of Weakly-c-Balanced Words. DLT Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2019	J	`jnl`	k-Spectra of c-Balanced Words. CoRR Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2018	A*	`conf`	An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences. ICALP Dirk Nowotka, Aleksi Saarela
2018	J	`jnl`	Corrigendum to "A note on Thue games" [Inf. Process. Lett. 118 (2017) 75-77]. Inf. Process. Lett. Karol Kosinski, Robert Mercas, Dirk Nowotka
2018	—	`conf`	Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. SIES Max J. Friese, Thorsten Ehlers, Dirk Nowotka
2018	J	`jnl`	Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. CoRR Max J. Friese, Thorsten Ehlers, Dirk Nowotka
2018	B	`conf`	Lagrange's Theorem for Binary Squares. MFCS P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
2018	C	`conf`	On Matching Generalised Repetitive Patterns. DLT Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid
2018	J	`jnl`	On the Complexity of Solving Restricted Word Equations. Int. J. Found. Comput. Sci. Florin Manea, Dirk Nowotka, Markus L. Schmid
2018	J	`jnl`	One-Variable Word Equations and Three-Variable Constant-Free Word Equations. Int. J. Found. Comput. Sci. Dirk Nowotka, Aleksi Saarela
2018	A*	`conf`	Rollercoasters and Caterpillars. ICALP Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2018	J	`jnl`	Rollercoasters and Caterpillars. CoRR Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2018	C	`ed.`	Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings CiE Florin Manea, Russell G. Miller, Dirk Nowotka
2018	B	`conf`	Statistical Model Checking of LLVM Code. FM Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
2018	J	`jnl`	The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2018	—	`conf`	The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2018	—	`conf`	Tuning Parallel SAT Solvers. POS@SAT Thorsten Ehlers, Dirk Nowotka
2018	J	`jnl`	Unary patterns under permutations. Theor. Comput. Sci. James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi
2017	J	`jnl`	A note on Thue games. Inf. Process. Lett. Robert Mercas, Dirk Nowotka
2017	C	`conf`	Detecting One-Variable Patterns. SPIRE Dmitry Kosolobov, Florin Manea, Dirk Nowotka
2017	—	`conf`	Equations Enforcing Repetitions Under Permutations. WORDS Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2017	J	`jnl`	Lagrange's Theorem for Binary Squares. CoRR Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
2017	—	`conf`	Local Patterns. FSTTCS Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2017	J	`jnl`	TCS Special Issue: Combinatorics on Words - WORDS 2015. Theor. Comput. Sci. Florin Manea, Dirk Nowotka
2017	B	`conf`	The Hardness of Solving Simple Word Equations. MFCS Joel D. Day, Florin Manea, Dirk Nowotka
2017	J	`jnl`	The Hardness of Solving Simple Word Equations. CoRR Joel D. Day, Florin Manea, Dirk Nowotka
2017	J	`jnl`	The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
2016	J	`jnl`	A note on Thue games. CoRR Robert Mercas, Dirk Nowotka
2016	J	`jnl`	Detecting Unary Patterns. CoRR Dmitry Kosolobov, Florin Manea, Dirk Nowotka
2016	C	`conf`	On the Solvability Problem for Restricted Classes of Word Equations. DLT Florin Manea, Dirk Nowotka, Markus L. Schmid
2016	C	`conf`	One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. DLT Dirk Nowotka, Aleksi Saarela
2015	—	`ed.`	Combinatorics on Words - 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings WORDS Florin Manea, Dirk Nowotka
2015	J	`jnl`	Cubic patterns with permutations. J. Comput. Syst. Sci. Florin Manea, Mike Müller, Dirk Nowotka
2015	C	`conf`	On Prefix/Suffix-Square Free Words. SPIRE Marius Dumitran, Florin Manea, Dirk Nowotka
2015	C	`conf`	Unary Patterns with Permutations. DLT James D. Currie, Florin Manea, Dirk Nowotka
2015	J	`jnl`	k-Abelian pattern matching. J. Discrete Algorithms Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
2014	J	`jnl`	Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111). Dagstuhl Reports Maxime Crochemore, James D. Currie, Gregory Kucherov, Dirk Nowotka
2014	B	`conf`	Communication in Massively-Parallel SAT Solving. ICTAI Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck
2014	C	`conf`	Formal software verification for the migration of embedded code from single- to multicore systems. Software Engineering Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub
2014	—	`conf`	Generalised Lyndon-Schützenberger Equations. MFCS (1) Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
2014	A	`conf`	Testing Generalised Freeness of Words. STACS Pawel Gawrychowski, Florin Manea, Dirk Nowotka
2014	C	`conf`	k-Abelian Pattern Matching. Developments in Language Theory Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
2013	C	`conf`	Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems. Software Engineering (Workshops) Michael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka
2013	C	`conf`	Discovering Hidden Repetitions in Words. CiE Pawel Gawrychowski, Florin Manea, Dirk Nowotka
2013	A	`conf`	Finding Pseudo-repetitions. STACS Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka, Catalin Tiseanu
2013	—	`conf`	Formal Verification of Concurrent Embedded Software. IESS Dirk Nowotka, Johannes Traub
2013	—	`conf`	On the Pseudoperiodic Extension of u^l = v^m w^n. FSTTCS Florin Manea, Mike Müller, Dirk Nowotka
2012	B	`conf`	Fine and Wilf's Theorem and Pseudo-repetitions. MFCS Florin Manea, Robert Mercas, Dirk Nowotka
2012	—	`conf`	MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. Automotive - Safety & Security Dirk Nowotka, Johannes Traub
2012	—	`conf`	String Matching with Involutions. UCNC Cristian Grozea, Florin Manea, Mike Müller, Dirk Nowotka
2012	C	`conf`	The Avoidability of Cubes under Permutations. Developments in Language Theory Florin Manea, Mike Müller, Dirk Nowotka
2012	J	`jnl`	The Ehrenfeucht-Silberger problem. J. Comb. Theory A Stepan Holub, Dirk Nowotka
2012	J	`jnl`	Unary Patterns with involution. Int. J. Found. Comput. Sci. Bastian Bischoff, James D. Currie, Dirk Nowotka
2012	J	`jnl`	Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju. Fundam. Informaticae Vesa Halava, Juhani Karhumäki, Dirk Nowotka, Grzegorz Rozenberg
2011	J	`jnl`	Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081). Dagstuhl Reports Maxime Crochemore, Lila Kari, Mehryar Mohri, Dirk Nowotka
2011	—	`conf`	Pattern Avoidability with Involution WORDS Bastian Bischoff, Dirk Nowotka
2011	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Volker Diekert, Dirk Nowotka
2011	J	`jnl`	The Number of Positions Starting a Square in Binary Words. Electron. J. Comb. Tero Harju, Tomi Kärki, Dirk Nowotka
2010	J	`jnl`	Cyclically repetition-free words on small alphabets. Inf. Process. Lett. Tero Harju, Dirk Nowotka
2010	J	`jnl`	Maximal Intersection Queries in Randomized Input Models CoRR Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka
2010	J	`jnl`	Maximal Intersection Queries in Randomized Input Models. Theory Comput. Syst. Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka
2010	J	`jnl`	On the Relation between Periodicity and Unbordered Factors of Finite Words. Int. J. Found. Comput. Sci. Stepan Holub, Dirk Nowotka
2009	C	`ed.`	Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings Developments in Language Theory Volker Diekert, Dirk Nowotka
2009	J	`jnl`	Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen
2009	—	`conf`	The Ehrenfeucht-Silberger Problem. ICALP (1) Stepan Holub, Dirk Nowotka
2009	—	`conf`	Äquivalenzklassen mit Zeit und Zuständen. Informatiktage Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen
2008	J	`jnl`	A note on an extension of PDL. J. Appl. Log. Stefan Göller, Dirk Nowotka
2008	J	`jnl`	Bordered Conjugates of Words over Large Alphabets. Electron. J. Comb. Tero Harju, Dirk Nowotka
2008	C	`conf`	On the Relation between Periodicity and Unbordered Factors of Finite Words. Developments in Language Theory Stepan Holub, Dirk Nowotka
2008	J	`jnl`	Unbordered factors and Lyndon words. Discret. Math. Jean-Pierre Duval, Tero Harju, Dirk Nowotka
2007	Misc	`conf`	Estimation of the Click Volume by Large Scale Regression Analysis. CSR Yury Lifshits, Dirk Nowotka
2007	B	`conf`	Height-Deterministic Pushdown Automata. MFCS Dirk Nowotka, Jirí Srba
2007	Misc	`conf`	Maximal Intersection Queries in Randomized Graph Models. CSR Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka
2007	J	`jnl`	On a Non-Context-Free Extension of PDL CoRR Stefan Göller, Dirk Nowotka
2007	J	`jnl`	Periodicity and unbordered words: A proof of the extended duval conjecture. J. ACM Tero Harju, Dirk Nowotka
2006	J	`jnl`	Binary Words with Few Squares. Bull. EATCS Tero Harju, Dirk Nowotka
2006	J	`jnl`	On unique factorizations of primitive words. Theor. Comput. Sci. Tero Harju, Dirk Nowotka
2006	J	`jnl`	Periods in Extensions of Words. Acta Informatica Tero Harju, Dirk Nowotka
2005	J	`jnl`	A characterization of periodicity of bi-infinite words. Theor. Comput. Sci. Tero Harju, Arto Lepistö, Dirk Nowotka
2005	J	`jnl`	Counting bordered and primitive words with a fixed weight. Theor. Comput. Sci. Tero Harju, Dirk Nowotka
2005	J	`jnl`	On the equation in a free semigroup. Theor. Comput. Sci. Tero Harju, Dirk Nowotka
2004	J	`jnl`	Border correlation of binary words. J. Comb. Theory A Tero Harju, Dirk Nowotka
2004	J	`jnl`	Minimal Duval Extensions. Int. J. Found. Comput. Sci. Tero Harju, Dirk Nowotka
2004	A	`conf`	Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. STACS Tero Harju, Dirk Nowotka
2003	C	`conf`	About Duval's Conjecture. Developments in Language Theory Tero Harju, Dirk Nowotka
2003	J	`jnl`	On the independence of equations in three variables. Theor. Comput. Sci. Tero Harju, Dirk Nowotka
2003	J	`jnl`	Periodicity and Unbordered Segments of Words. Bull. EATCS Tero Harju, Dirk Nowotka
2003	J	`jnl`	Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture CoRR Tero Harju, Dirk Nowotka
2002	J	`jnl`	Density of Critical Factorizations. RAIRO Theor. Informatics Appl. Tero Harju, Dirk Nowotka
1998	—	`conf`	Computer Arithmetic: Logic, Calculus and Rewriting. FroCoS Marco Benini, Dirk Nowotka, Carl Pulley
1998	—	`conf`	Program Abstraction in a Higher-Order Logic Framework. TPHOLs Marco Benini, Sara Kalvala, Dirk Nowotka