Sarah Winter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking Acta Informatica	2025-08-22	Paper
Strategies resilient to delay: games under delayed control vs. delay games	2025-08-19	Paper
Finite-valued streaming string transducers	2025-06-18	Paper
On the existence of reactive strategies resilient to delay Logical Methods in Computer Science	2025-03-25	Paper
Finite-valued streaming string transducers TheoretiCS	2025-03-06	Paper
Weak Muller conditions make delay games hard	2025-02-03	Paper
Deterministic regular functions of Infinite words	2024-11-14	Paper
A regular and complete notion of delay for streaming string transducers	2024-10-08	Paper
Resynchronized uniformization and definability problems for rational relations Discrete Mathematics and Theoretical Computer Science. DMTCS	2024-09-06	Paper
Synthesizing Computable Functions from Rational Specifications Over Infinite Words International Journal of Foundations of Computer Science	2024-02-16	Paper
scientific article; zbMATH DE number 7799621 (Why is no real title available?) (available as arXiv preprint)	2024-02-05	Paper
Decision Problems for Origin-Close Top-Down Tree Transducers (available as arXiv preprint)	2023-08-08	Paper
scientific article; zbMATH DE number 7376069 (Why is no real title available?) (available as arXiv preprint)	2021-07-28	Paper
Synthesis of deterministic top-down tree transducers from automatic tree relations	2021-06-24	Paper
Trees over infinite structures and path logics with synchronization	2021-03-10	Paper
Trees over infinite structures and path logics with synchronization (available as arXiv preprint)	2021-03-10	Paper
Finite-state strategies in delay games Information and Computation	2020-05-26	Paper
Uniformization problems for tree-automatic relations and top-down tree transducers	2018-03-21	Paper
On equivalence and uniformisation problems for finite transducers (available as arXiv preprint)	2017-12-19	Paper
Synthesis of deterministic top-down tree transducers from automatic tree relations Information and Computation	2017-03-16	Paper

Research outcomes over time

This page was built for person: Sarah Winter