| No. |
Title |
Author |
Year |
| 1 |
Automata Learning with an Incomplete Teacher |
Moeller, Mark et al. |
2023 |
| 2 |
Automata Learning with an Incomplete Teacher (Artifact) |
Moeller, Mark et al. |
2023 |
| 3 |
Generators and Bases for Monadic Closures |
Zetzsche, Stefan et al. |
2023 |
| 4 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity |
Różowski, Wojciech et al. |
2023 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Szeider, Stefan et al. |
2022 |
| 6 |
LIPIcs, Volume 241, MFCS 2022, Complete Volume |
Szeider, Stefan et al. |
2022 |
| 7 |
Processes Parametrised by an Algebraic Theory |
Schmid, Todd et al. |
2022 |
| 8 |
Front Matter, Table of Contents, Preface, Conference Organization |
Gadducci, Fabio et al. |
2021 |
| 9 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness |
Schmid, Todd et al. |
2021 |
| 10 |
LIPIcs, Volume 211, CALCO 2021, Complete Volume |
Gadducci, Fabio et al. |
2021 |
| 11 |
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) |
Aceto, Luca et al. |
2020 |
| 12 |
Partially Observable Concurrent Kleene Algebra |
Wagemaker, Jana et al. |
2020 |
| 13 |
Preservation of Equations by Monoidal Monads |
Parlant, Louis et al. |
2020 |
| 14 |
A Kleene Theorem for Nominal Automata |
Brunet, Paul et al. |
2019 |
| 15 |
An Algebraic Framework to Reason About Concurrency (Invited Talk) |
Silva, Alexandra |
2019 |
| 16 |
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk) |
Silva, Alexandra |
2019 |
| 17 |
Kleene Algebra with Observations |
Kappé, Tobias et al. |
2019 |
| 18 |
Tree Automata as Algebras: Minimisation and Determinisation |
van Heerdt, Gerco et al. |
2019 |
| 19 |
Almost Sure Productivity |
Aguirre, Alejandro et al. |
2018 |
| 20 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages |
Kappé, Tobias et al. |
2017 |
| 21 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk) |
Silva, Alexandra |
2017 |
| 22 |
CALF: Categorical Automata Learning Framework |
van Heerdt, Gerco et al. |
2017 |
| 23 |
The Power of Convex Algebras |
Bonchi, Filippo et al. |
2017 |
| 24 |
Coalgebraic Learning (Invited Talk) |
Silva, Alexandra |
2016 |
| 25 |
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning |
Endrullis, Jörg et al. |
2015 |
| 26 |
Applications of Automata and Concurrency Theory in Networks (Invited Paper) |
Silva, Alexandra |
2015 |
| 27 |
Generalizing the powerset construction, coalgebraically |
Silva, Alexandra et al. |
2010 |
