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

1 |
Branching in Well-Structured Transition Systems (Invited Talk) |
Schmitz, Sylvain |
2021 |

2 |
The Parametric Complexity of Lossy Counter Machines |
Schmitz, Sylvain |
2019 |

3 |
A Hypersequent Calculus with Clusters for Tense Logic over Ordinals |
Baelde, David et al. |
2018 |

4 |
A Sequent Calculus for a Modal Logic on Finite Data Trees |
Baelde, David et al. |
2016 |

5 |
Deciding Piecewise Testable Separability for Regular Tree Languages |
Goubault-Larrecq, Jean et al. |
2016 |

6 |
Ideal Decompositions for Vector Addition Systems (Invited Talk) |
Leroux, Jérôme et al. |
2016 |