Sarah Winter

Available identifiers

zbMath Open winter.sarahMaRDI QIDQ515669

List of research outcomes

Publication	Date of Publication	Type
Synthesizing Computable Functions from Rational Specifications Over Infinite Words	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6187060	2024-02-05	Paper
Decision Problems for Origin-Close Top-Down Tree Transducers	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q5002830	2021-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4995361	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4965866	2021-03-10	Paper
Finite-state strategies in delay games	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	2017-12-19	Paper
Synthesis of deterministic top-down tree transducers from automatic tree relations	2017-03-16	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: Sarah Winter