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
41*2018
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
322021
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
292019
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
202021
The Hardness of Solving Simple Word Equations
JD Day, F Manea, D Nowotka
arXiv preprint arXiv:1702.07922, 2017
202017
Local patterns
JD Day, P Fleischmann, F Manea, D Nowotka
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
132018
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
82021
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
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
72019
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
On the expressive power of string constraints
JD Day, V Ganesh, N Grewal, F Manea
Proceedings of the ACM on Programming Languages 7 (POPL), 278-308, 2023
52023
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
52019
Closure properties of pattern languages
JD Day, D Reidenbach, ML Schmid
Journal of Computer and System Sciences 84, 11-31, 2017
52017
On the structure of solution-sets to regular word equations
JD Day, F Manea
Theory of Computing Systems, 1-78, 2021
42021
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
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
Word Equations in the Context of String Solving
JD Day
International Conference on Developments in Language Theory, 13-32, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20