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


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