Sarah Winter - RankMe

36 papers A* 4A 1B 3Journal 22Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Finite-valued Streaming String Transducers. TheoretiCS Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2025	J	`jnl`	On the Existence of Reactive Strategies Resilient to Delay. Log. Methods Comput. Sci. Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2025	B	`conf`	Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀∃. CONCUR Sarah Winter, Martin Zimmermann
2025	J	`jnl`	Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond ∀ CoRR Sarah Winter, Martin Zimmermann
2025	J	`jnl`	Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking. Acta Informatica Sarah Winter, Martin Zimmermann
2024	A*	`conf`	Finite-valued Streaming String Transducers. LICS Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
2024	J	`jnl`	Finite-valued Streaming String Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2024	J	`jnl`	Synthesizing Computable Functions from Rational Specifications Over Infinite Words. Int. J. Found. Comput. Sci. Emmanuel Filiot, Sarah Winter
2024	J	`jnl`	Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking. CoRR Sarah Winter, Martin Zimmermann
2023	A	`conf`	A Regular and Complete Notion of Delay for Streaming String Transducers. STACS Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2023	A*	`conf`	Deterministic Regular Functions of Infinite Words. ICALP Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023	J	`jnl`	Deterministic regular functions of infinite words. CoRR Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023	J	`jnl`	On the Existence of Reactive Strategies Resilient to Delay. CoRR Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2023	J	`jnl`	Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
2023	J	`jnl`	Resynchronized Uniformization and Definability Problems for Rational Relations. Discret. Math. Theor. Comput. Sci. Christof Löding, Sarah Winter
2023	—	`conf`	Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF Martin Fränzle, Sarah Winter, Martin Zimmermann
2022	J	`jnl`	A Regular and Complete Notion of Delay for Streaming String Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2022	J	`jnl`	Weak Muller Conditions Make Delay Games Hard. CoRR Sarah Winter, Martin Zimmermann
2021	B	`conf`	Decision Problems for Origin-Close Top-Down Tree Transducers. MFCS Sarah Winter
2021	J	`jnl`	Decision problems for origin-close top-down tree transducers (full version). CoRR Sarah Winter
2021	J	`jnl`	Resynchronized Uniformization and Definability Problems for Rational Relations. CoRR Christof Löding, Sarah Winter
2021	J	`jnl`	Synthesis from Weighted Specifications with Partial Domains over Finite Words. CoRR Emmanuel Filiot, Christof Löding, Sarah Winter
2021	—	`conf`	Synthesizing Computable Functions from Rational Specifications over Infinite Words. FSTTCS Emmanuel Filiot, Sarah Winter
2021	J	`jnl`	Synthesizing Computable Functions from Rational Specifications over Infinite Words. CoRR Emmanuel Filiot, Sarah Winter
2020	J	`jnl`	Finite-state strategies in delay games. Inf. Comput. Sarah Winter, Martin Zimmermann
2020	—	`conf`	Synthesis from Weighted Specifications with Partial Domains over Finite Words. FSTTCS Emmanuel Filiot, Christof Löding, Sarah Winter
2018	—	`—`	Synthesis of transducers from relations on finite words and trees. Sarah Winter
2018	A*	`conf`	Uniformization Problems for Synchronizations of Automatic Relations on Words. ICALP Sarah Winter
2018	J	`jnl`	Uniformization Problems for Synchronizations of Automatic Relations on Words. CoRR Sarah Winter
2017	J	`jnl`	Finite-state Strategies in Delay Games. CoRR Sarah Winter, Martin Zimmermann
2017	J	`jnl`	Synthesis of deterministic top-down tree transducers from automatic tree relations. Inf. Comput. Christof Löding, Sarah Winter
2016	A*	`conf`	On Equivalence and Uniformisation Problems for Finite Transducers. ICALP Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2016	J	`jnl`	On Equivalence and Uniformisation Problems for Finite Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2016	B	`conf`	Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers. MFCS Christof Löding, Sarah Winter
2014	—	`conf`	Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. GandALF Christof Löding, Sarah Winter
2011	—	`conf`	Trees over Infinite Structures and Path Logics with Synchronization INFINITY Alex Spelten, Wolfgang Thomas, Sarah Winter