Joel D. Day

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5111232	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joel D. Day