


Остановите войну!
for scientists:


default search action
Dirk 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
- 2023
- [j40]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) - [i31]Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla:
Decision Problems on Copying and Shuffling. CoRR abs/2302.06248 (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 - [i30]Pamela Fleischmann, Lukas Haschke, Annika Huch, Annika Mayrock, Dirk Nowotka:
m-Nearly k-Universal Words - Investigating Simon Congruence. CoRR abs/2202.07981 (2022) - [i29]Pamela Fleischmann, Tero Harju, Lukas Haschke, Jonas Höfer, Dirk Nowotka:
On the Self Shuffle Language. CoRR abs/2202.07988 (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, Ser. 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]