Tobias Kappé

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Partial reductions for Kleene algebra with linear hypotheses	2026-08-24	Paper
Guarded Kleene algebra with tests: coequations, coinduction, and completeness	2026-05-12	Paper
An elementary proof of the FMP for Kleene algebra Fundamenta Informaticae	2026-03-13	Paper
On propositional program equivalence (extended abstract)	2026-01-13	Paper
A general completeness theorem for skip-free star algebras	2025-12-04	Paper
Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity	2024-11-14	Paper
A complete inference system for skip-free guarded Kleene algebra with tests	2023-11-24	Paper
Completeness and the finite model property for Kleene algebra, reconsidered Relational and Algebraic Methods in Computer Science	2023-08-17	Paper
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks Programming Languages and Systems	2023-08-03	Paper
scientific article; zbMATH DE number 7649889 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
Kleene algebra with observations (available as arXiv preprint)	2023-02-03	Paper
A categorical framework for learning generalised tree automata (available as arXiv preprint)	2022-12-07	Paper
scientific article; zbMATH DE number 7559476 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Learning pomset automata (available as arXiv preprint)	2021-10-18	Paper
Equivalence checking for weak bi-Kleene algebra (available as arXiv preprint)	2021-10-08	Paper
Equivalence checking for weak bi-Kleene algebra	2021-10-08	Paper
Learning to coordinate	2021-06-03	Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness (available as arXiv preprint)	2020-09-23	Paper
Brzozowski goes concurrent -- a Kleene theorem for pomset languages (available as arXiv preprint)	2020-05-27	Paper
Completeness and incompleteness of synchronous Kleene algebra (available as arXiv preprint)	2020-05-05	Paper
Concurrent Kleene algebra: free model and completeness (available as arXiv preprint)	2019-09-13	Paper
On series-parallel pomset languages: rationality, context-freeness and automata Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper

Research outcomes over time

This page was built for person: Tobias Kappé