| No. |
Title |
Author |
Year |
| 1 |
Automated Synthesis: a Distributed Viewpoint |
Muscholl, Anca |
2018 |
| 2 |
Front Matter, Table of Contents, Preface, Organization, List of Authors |
Chatzigiannakis, Ioannis et al. |
2017 |
| 3 |
LIPIcs, Volume 80, ICALP'17, Complete Volume |
Chatzigiannakis, Ioannis et al. |
2017 |
| 4 |
On the Decomposition of Finite-Valued Streaming String Transducers |
Gallot, Paul et al. |
2017 |
| 5 |
Automated Synthesis: Going Distributed (Invited Talk) |
Muscholl, Anca |
2016 |
| 6 |
Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Faliszewski, Piotr et al. |
2016 |
| 7 |
LIPIcs, Volume 58, MFCS'16, Complete Volume |
Faliszewski, Piotr et al. |
2016 |
| 8 |
Minimizing Resources of Sweeping and Streaming String Transducers |
Baschenis, Félix et al. |
2016 |
| 9 |
Soundness in Negotiations |
Esparza, Javier et al. |
2016 |
| 10 |
One-way Definability of Sweeping Transducer |
Baschenis, Félix et al. |
2015 |
