No. Title Author Year
1 Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix Michaliszyn, Jakub et al. 2023
2 Learning Deterministic Visibly Pushdown Automata Under Accessible Stack Michaliszyn, Jakub et al. 2022
3 Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States Chatterjee, Krishnendu et al. 2020
4 Approximate Learning of Limit-Average Automata Michaliszyn, Jakub et al. 2019
5 Long-Run Average Behavior of Vector Addition Systems with States Chatterjee, Krishnendu et al. 2019
6 Average Stack Cost of B├╝chi Pushdown Automata Michaliszyn, Jakub et al. 2018
7 Non-deterministic Weighted Automata on Random Words Michaliszyn, Jakub et al. 2018
8 Querying Best Paths in Graph Databases Michaliszyn, Jakub et al. 2018
9 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
10 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
11 Lipschitz Robustness of Finite-state Transducers Henzinger, Thomas A. et al. 2014
12 Elementary Modal Logics over Transitive Structures Michaliszyn, Jakub et al. 2013
13 Modal Logics Definable by Universal Three-Variable Formulas Kieronski, Emanuel et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 13


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