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 |