Tobias Kappé
University College London
H-index: 9
Europe-United Kingdom
Top articles of Tobias Kappé
Formal abstractions for packet scheduling
Proceedings of the ACM on Programming Languages
2023/10/16
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
arXiv preprint arXiv:2305.01755
2023/5/2
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
2023/4/17
Tobias Kappé
H-Index: 7
Alexandra Silva
H-Index: 19
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
2023/3/8
Tobias Kappé
H-Index: 7
Leapfrog: certified equivalence for protocol parsers
2022/6/9
A Categorical Framework for Learning Generalised Tree Automata
2022/4/2
Learning Pomset Automata
Foundations of Software Science and Computation Structures24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021,
2021/3/23
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
arXiv preprint arXiv:2102.08286
2021/2/16
Equivalence checking for weak bi-Kleene algebra
Logical Methods in Computer Science
2021/8/13
Concurrent Kleene Algebra: Completeness and Decidability
2020/9/28
Tobias Kappé
H-Index: 7
Partially Observable Concurrent Kleene Algebra
arXiv preprint arXiv:2007.07593
2020/7/15
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
2020/4/17