No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Gadducci, Fabio et al. 2021
2 Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness Schmid, Todd et al. 2021
3 LIPIcs, Volume 211, CALCO 2021, Complete Volume Gadducci, Fabio et al. 2021
4 CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) Aceto, Luca et al. 2020
5 Partially Observable Concurrent Kleene Algebra Wagemaker, Jana et al. 2020
6 Preservation of Equations by Monoidal Monads Parlant, Louis et al. 2020
7 A Kleene Theorem for Nominal Automata Brunet, Paul et al. 2019
8 An Algebraic Framework to Reason About Concurrency (Invited Talk) Silva, Alexandra 2019
9 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk) Silva, Alexandra 2019
10 Kleene Algebra with Observations Kappé, Tobias et al. 2019
11 Tree Automata as Algebras: Minimisation and Determinisation van Heerdt, Gerco et al. 2019
12 Almost Sure Productivity Aguirre, Alejandro et al. 2018
13 Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages Kappé, Tobias et al. 2017
14 Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk) Silva, Alexandra 2017
15 CALF: Categorical Automata Learning Framework van Heerdt, Gerco et al. 2017
16 The Power of Convex Algebras Bonchi, Filippo et al. 2017
17 Coalgebraic Learning (Invited Talk) Silva, Alexandra 2016
18 A Coinductive Framework for Infinitary Rewriting and Equational Reasoning Endrullis, Jörg et al. 2015
19 Applications of Automata and Concurrency Theory in Networks (Invited Paper) Silva, Alexandra 2015
20 Generalizing the powerset construction, coalgebraically Silva, Alexandra et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 20


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