No. |
Title |
Author |
Year |
1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Etessami, Kousha et al. |
2023 |
2 |
LIPIcs, Volume 261, ICALP 2023, Complete Volume |
Etessami, Kousha et al. |
2023 |
3 |
Dynamic Data Structures for Timed Automata Acceptance |
Grez, Alejandro et al. |
2021 |
4 |
Equivalence of Finite-Valued Streaming String Transducers Is Decidable |
Muscholl, Anca et al. |
2019 |
5 |
On Synthesis of Resynchronizers for Transducers |
Bose, Sougata et al. |
2019 |
6 |
The Many Facets of String Transducers (Invited Talk) |
Muscholl, Anca et al. |
2019 |
7 |
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE |
Bose, Sougata et al. |
2018 |
8 |
Resynchronizing Classes of Word Relations |
Descotte, María Emilia et al. |
2018 |
9 |
On the Decomposition of Finite-Valued Streaming String Transducers |
Gallot, Paul et al. |
2017 |
10 |
Minimizing Resources of Sweeping and Streaming String Transducers |
Baschenis, Félix et al. |
2016 |
11 |
One-way Definability of Sweeping Transducer |
Baschenis, Félix et al. |
2015 |
12 |
Decidability of the Interval Temporal Logic ABB over the Natural Numbers |
Montanari, Angelo et al. |
2010 |