Joel D. Day
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDT | FC-Datalog as a Framework for Efficient String Querying. | Owen M. Bell, Joel D. Day, Dominik D. Freydenberger |
| 2024 | IJCAI | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. | Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh |
| 2022 | DLT | Word Equations in the Context of String Solving. | Joel D. Day |
| 2022 | ISAAC | Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems. | Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid |
| 2021 | CAV | An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. | Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh |
| 2021 | STACS | The Edit Distance to k-Subsequence Universality. | Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Ko, Florin Manea, Stefan Siemer |
| 2020 | ICALP | On the Structure of Solution Sets to Regular Word Equations. | Joel D. Day, Florin Manea |
| 2020 | ICSE | Rule-based Word Equation Solving. | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2019 | DLT | k-Spectra of Weakly-c-Balanced Words. | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka |
| 2019 | ICALP | Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. | Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid |
| 2019 | MFCS | Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. | Joel D. Day, Florin Manea, Dirk Nowotka |
| 2018 | DLT | On Matching Generalised Repetitive Patterns. | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid |
| 2017 | MFCS | The Hardness of Solving Simple Word Equations. | Joel D. Day, Florin Manea, Dirk Nowotka |
| 2014 | DLT | Closure Properties of Pattern Languages. | Joel D. Day, Daniel Reidenbach, Markus L. Schmid |
| 2013 | DLT | On the Dual Post Correspondence Problem. | Joel D. Day, Daniel Reidenbach, Johannes C. Schneider |