Joel D. Day

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 37

Top Venues

Loughborough University, UK (PHD)

Education History

Loughborough University, UK

PHD

Publications

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. 68 (3) (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
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 (2023)
Joel D. Day, Vijay Ganesh, Florin Manea
Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS 140 (2023)
Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems. CoRR (2022)
Joel D. Day, Daniel Reidenbach
Unambiguous injective morphisms in free groups. Inf. Comput. 289 (Part) (2022)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
Formal Languages via Theories over Strings. CoRR (2022)
Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems. ISAAC (2022)
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 (2022)
Joel D. Day
Word Equations in the Context of String Solving. DLT (2022)
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)
Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
The Edit Distance to k-Subsequence Universality. STACS (2021)
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)
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 (2021)
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
Rule-based Word Equation Solving. FormaliSE@ICSE (2020)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations enforcing repetitions under permutations. Discret. Appl. Math. 285 (2020)
Joel D. Day, Florin Manea
On the Structure of Solution Sets to Regular Word Equations. ICALP (2020)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. CoRR (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of c-Balanced Words. CoRR (2019)
Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. ICALP (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. RP (2019)
Joel D. Day, Florin Manea, Dirk Nowotka
Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS (2019)
Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. CoRR (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of Weakly-c-Balanced Words. DLT (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid
On Matching Generalised Repetitive Patterns. DLT (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP (2018)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Local Patterns. FSTTCS (2017)
Joel D. Day, Daniel Reidenbach, Markus L. Schmid
Closure properties of pattern languages. J. Comput. Syst. Sci. 84 (2017)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations Enforcing Repetitions Under Permutations. WORDS (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. MFCS (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. CoRR (2017)
Joel D. Day, Daniel Reidenbach
Ambiguity of Morphisms in a Free Group. WORDS (2015)
Joel D. Day, Daniel Reidenbach, Johannes C. Schneider
Periodicity forcing words. Theor. Comput. Sci. 601 (2015)
Joel D. Day, Daniel Reidenbach, Markus L. Schmid
Closure Properties of Pattern Languages. Developments in Language Theory (2014)
Joel D. Day, Daniel Reidenbach, Johannes C. Schneider
On the Dual Post Correspondence Problem. Int. J. Found. Comput. Sci. 25 (8) (2014)
Joel D. Day, Daniel Reidenbach, Johannes C. Schneider
On the Dual Post Correspondence Problem. Developments in Language Theory (2013)
Joel D. Day, Daniel Reidenbach, Johannes C. Schneider
Periodicity Forcing Words. WORDS (2013)

Joel D. Day.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joel D. Day