No. |
Title |
Author |
Year |
---|

1 |
Learning Deterministic Visibly Pushdown Automata Under Accessible Stack |
Michaliszyn, Jakub et al. |
2022 |

2 |
Approximate Learning of Limit-Average Automata |
Michaliszyn, Jakub et al. |
2019 |

3 |
Average Stack Cost of Büchi Pushdown Automata |
Michaliszyn, Jakub et al. |
2018 |

4 |
Non-deterministic Weighted Automata on Random Words |
Michaliszyn, Jakub et al. |
2018 |

5 |
Querying Best Paths in Graph Databases |
Michaliszyn, Jakub et al. |
2018 |

6 |
Elementary Modal Logics over Transitive Structures |
Michaliszyn, Jakub et al. |
2013 |

7 |
Two-Variable Universal Logic with Transitive Closure |
Kieronski, Emanuel et al. |
2012 |

8 |
Modal Logics Definable by Universal Three-Variable Formulas |
Kieronski, Emanuel et al. |
2011 |