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


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