| No. |
Title |
Author |
Year |
| 1 |
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints |
Mascle, Corto et al. |
2023 |
| 2 |
Distributed Controller Synthesis for Deadlock Avoidance |
Gimbert, Hugo et al. |
2022 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Klin, Bartek et al. |
2022 |
| 4 |
LIPIcs, Volume 243, CONCUR 2022, Complete Volume |
Klin, Bartek et al. |
2022 |
| 5 |
Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481) |
Diekert, Volker et al. |
2021 |
| 6 |
Front Matter, Table of Contents, Preface, Conference Organization |
Fernández, Maribel et al. |
2020 |
| 7 |
LIPIcs, Volume 152, CSL'20, Complete Volume |
Fernández, Maribel et al. |
2020 |
| 8 |
Equivalence of Finite-Valued Streaming String Transducers Is Decidable |
Muscholl, Anca et al. |
2019 |
| 9 |
On Synthesis of Resynchronizers for Transducers |
Bose, Sougata et al. |
2019 |
| 10 |
The Many Facets of String Transducers (Invited Talk) |
Muscholl, Anca et al. |
2019 |
| 11 |
Automated Synthesis: a Distributed Viewpoint |
Muscholl, Anca |
2018 |
| 12 |
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) |
Esparza, Javier et al. |
2018 |
| 13 |
On Canonical Models for Rational Functions over Infinite Words |
Filiot, Emmanuel et al. |
2018 |
| 14 |
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE |
Bose, Sougata et al. |
2018 |
| 15 |
Front Matter, Table of Contents, Preface, Organization, List of Authors |
Chatzigiannakis, Ioannis et al. |
2017 |
| 16 |
LIPIcs, Volume 80, ICALP'17, Complete Volume |
Chatzigiannakis, Ioannis et al. |
2017 |
| 17 |
On the Decomposition of Finite-Valued Streaming String Transducers |
Gallot, Paul et al. |
2017 |
| 18 |
Automated Synthesis: Going Distributed (Invited Talk) |
Muscholl, Anca |
2016 |
| 19 |
Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Faliszewski, Piotr et al. |
2016 |
| 20 |
LIPIcs, Volume 58, MFCS'16, Complete Volume |
Faliszewski, Piotr et al. |
2016 |
| 21 |
Minimizing Resources of Sweeping and Streaming String Transducers |
Baschenis, Félix et al. |
2016 |
| 22 |
Soundness in Negotiations |
Esparza, Javier et al. |
2016 |
| 23 |
One-way Definability of Sweeping Transducer |
Baschenis, Félix et al. |
2015 |
| 24 |
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable |
La Torre, Salvatore et al. |
2015 |
| 25 |
Distributed Synthesis for Acyclic Architectures |
Muscholl, Anca et al. |
2014 |
| 26 |
Verifying Recursive Active Documents with Positive Data Tree Rewriting |
Genest, Blaise et al. |
2010 |
| 27 |
08171 Abstracts Collection -- Beyond the Finite: New Challenges in Verification and Semistructured Data |
Muscholl, Anca et al. |
2008 |
| 28 |
08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data |
Muscholl, Anca et al. |
2008 |
