No. |
Title |
Author |
Year |
1 |
Automated Synthesis: a Distributed Viewpoint |
Muscholl, Anca |
2018 |
2 |
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) |
Esparza, Javier et al. |
2018 |
3 |
On Canonical Models for Rational Functions over Infinite Words |
Filiot, Emmanuel et al. |
2018 |
4 |
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE |
Bose, Sougata et al. |
2018 |
5 |
Front Matter, Table of Contents, Preface, Organization, List of Authors |
Chatzigiannakis, Ioannis et al. |
2017 |
6 |
LIPIcs, Volume 80, ICALP'17, Complete Volume |
Chatzigiannakis, Ioannis et al. |
2017 |
7 |
On the Decomposition of Finite-Valued Streaming String Transducers |
Gallot, Paul et al. |
2017 |
8 |
Automated Synthesis: Going Distributed (Invited Talk) |
Muscholl, Anca |
2016 |
9 |
Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Faliszewski, Piotr et al. |
2016 |
10 |
LIPIcs, Volume 58, MFCS'16, Complete Volume |
Faliszewski, Piotr et al. |
2016 |