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


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