No. Title Author Year
1 A Regular and Complete Notion of Delay for Streaming String Transducers Filiot, Emmanuel et al. 2023
2 Passive Learning of Deterministic Büchi Automata by Combinations of DFAs Bohn, León et al. 2022
3 Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm Bohn, León et al. 2021
4 State Space Reduction For Parity Automata Löding, Christof et al. 2020
5 Synthesis from Weighted Specifications with Partial Domains over Finite Words Filiot, Emmanuel et al. 2020
6 Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp Löding, Christof et al. 2019
7 New Pumping Technique for 2-Dimensional VASS Czerwinski, Wojciech et al. 2019
8 Tree Automata with Global Constraints for Infinite Trees Landwehr, Patrick et al. 2019
9 On Equivalence and Uniformisation Problems for Finite Transducers Filiot, Emmanuel et al. 2016
10 Transformation Between Regular Expressions and omega-Automata Löding, Christof et al. 2016
11 Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers Löding, Christof et al. 2016
12 A Unified Approach to Boundedness Properties in MSO Kaiser, Lukasz et al. 2015
13 Decidability Results on the Existence of Lookahead Delegators for NFA Löding, Christof et al. 2013
14 Deciding the weak definability of Büchi definable tree languages Colcombet, Thomas et al. 2013
15 Degrees of Lookahead in Context-free Infinite Games Fridman, Wladimir et al. 2011
16 On Nondeterministic Unranked Tree Automata with Sibling Constraints Löding, Christof et al. 2009
17 Deterministic Automata on Unranked Trees Thomas, Wolfgang et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 17

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI