Joel D. Day

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
On the structure of solution-sets to regular word equations	2024-10-07	Paper
Subsequences with gap constraints: complexity bounds for matching and analysis problems	2024-09-11	Paper
A closer look at the expressive power of logics based on word equations	2024-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q6190877	2024-02-06	Paper
Towards more efficient methods for solving regular-expression heavy string constraints	2023-01-05	Paper
Unambiguous injective morphisms in free groups	2022-12-08	Paper
Word equations in the context of string solving	2022-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q5091271	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092406	2022-07-21	Paper
String theories involving regular membership predicates: from practice to theory and back	2022-05-20	Paper
An SMT solver for regular expressions and linear arithmetic over string length	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5136316	2020-11-25	Paper
Equations enforcing repetitions under permutations	2020-08-31	Paper
The hardness of solving simple word equations	2020-05-26	Paper
On solving word equations using SAT	2019-10-22	Paper
\(k\)-spectra of weakly-\(c\)-balanced words	2019-10-15	Paper
k-Spectra of weakly-c-Balanced Words	2019-04-19	Paper
On matching generalised repetitive patterns	2018-11-22	Paper
The satisfiability of word equations: decidable and undecidable theories	2018-10-23	Paper
Equations enforcing repetitions under permutations	2017-11-15	Paper
Closure properties of pattern languages	2016-11-14	Paper
Ambiguity of Morphisms in a Free Group	2015-11-04	Paper
Periodicity forcing words	2015-09-16	Paper
ON THE DUAL POST CORRESPONDENCE PROBLEM	2015-04-23	Paper
Closure Properties of Pattern Languages	2014-10-14	Paper
Periodicity Forcing Words	2013-09-20	Paper
On the Dual Post Correspondence Problem	2013-06-28	Paper

Research outcomes over time

This page was built for person: Joel D. Day