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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI