Follow
Joel Day
Title
Cited by
Cited by
Year
The Satisfiability of Word Equations: Decidable and Undecidable Theories
JD Day, V Ganesh, P He, F Manea, D Nowotka
International Conference on Reachability Problems, 15-29, 2018
37*2018
On Solving Word Equations Using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
International Conference on Reachability Problems, 93-106, 2019
242019
The Hardness of Solving Simple Word Equations
JD Day, F Manea, D Nowotka
arXiv preprint arXiv:1702.07922, 2017
212017
An SMT solver for regular expressions and linear arithmetic over string length
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
International Conference on Computer Aided Verification, 289-312, 2021
192021
The Edit Distance to k-Subsequence Universality
JD Day, P Fleischmann, M Kosche, T Koß, F Manea, S Siemer
38th International Symposium on Theoretical Aspects of Computer Science …, 2021
132021
Local patterns
JD Day, P Fleischmann, F Manea, D Nowotka
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
112018
Rule-based Word Equation Solving
JD Day, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Proceedings of the 8th International Conference on Formal Methods in …, 2020
82020
String Theories involving Regular Membership Predicates: From Practice to Theory and Back
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
arXiv preprint arXiv:2105.07220, 2021
72021
On Matching Generalised Repetitive Patterns
JD Day, P Fleischmann, F Manea, D Nowotka, ML Schmid
International Conference on Developments in Language Theory, 269-281, 2018
72018
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number
K Casel, JD Day, P Fleischmann, T Kociumaka, F Manea, ML Schmid
arXiv preprint arXiv:1902.10983, 2019
62019
On the structure of solution-sets to regular word equations
JD Day, F Manea
Theory of Computing Systems, 1-78, 2021
52021
Closure properties of pattern languages
JD Day, D Reidenbach, ML Schmid
Journal of Computer and System Sciences 84, 11-31, 2017
52017
Periodicity forcing words
JD Day, D Reidenbach, JC Schneider
Theoretical Computer Science 601, 2-14, 2015
42015
Periodicity forcing words
JD Day, D Reidenbach, JC Schneider
Theoretical Computer Science 601, 2-14, 2015
42015
On the dual post correspondence problem
JD Day, D Reidenbach, JC Schneider
International Journal of Foundations of Computer Science 25 (08), 1033-1048, 2014
42014
k-Spectra of Weakly-c-Balanced Words
JD Day, P Fleischmann, F Manea, D Nowotka
International Conference on Developments in Language Theory, 265-277, 2019
32019
Equations enforcing repetitions under permutations
JD Day, P Fleischmann, F Manea, D Nowotka
International Conference on Combinatorics on Words, 72-84, 2017
32017
Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations
JD Day, F Manea, D Nowotka
44th International Symposium on Mathematical Foundations of Computer Science …, 2019
22019
A Length-aware Regular Expression SMT Solver
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
arXiv preprint arXiv:2010.07253, 2020
12020
k-Spectra of c-Balanced Words
JD Day, P Fleischmann, F Manea, D Nowotka
arXiv preprint arXiv:1904.09125, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20