| No. |
Title |
Author |
Year |
| 1 |
On the Decomposition of Finite-Valued Streaming String Transducers |
Gallot, Paul et al. |
2017 |
| 2 |
Automated Synthesis: Going Distributed (Invited Talk) |
Muscholl, Anca |
2016 |
| 3 |
Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Faliszewski, Piotr et al. |
2016 |
| 4 |
LIPIcs, Volume 58, MFCS'16, Complete Volume |
Faliszewski, Piotr et al. |
2016 |
| 5 |
Minimizing Resources of Sweeping and Streaming String Transducers |
Baschenis, Félix et al. |
2016 |
| 6 |
Soundness in Negotiations |
Esparza, Javier et al. |
2016 |
| 7 |
One-way Definability of Sweeping Transducer |
Baschenis, Félix et al. |
2015 |
| 8 |
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable |
La Torre, Salvatore et al. |
2015 |
| 9 |
Distributed Synthesis for Acyclic Architectures |
Muscholl, Anca et al. |
2014 |
| 10 |
Verifying Recursive Active Documents with Positive Data Tree Rewriting |
Genest, Blaise et al. |
2010 |
