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


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