AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Tobias Kappé

Tobias Kappé

University of Amsterdam - Amsterdam / Netherlands
Others
AD Scientific Index ID: 6048806
Universiteit van Amsterdam
person_outline Tobias Kappé's MOST POPULAR ARTICLES
1-) Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
2-) Concurrent Kleene algebra: free model and completeness European Symposium on Programming, 856-882, 2018
3-) Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS 2020, 381-400, 2020
4-) Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness arXiv preprint arXiv:2102.08286, 2021
5-) On series-parallel pomset languages: Rationality, context-freeness and automata Journal of Logical and Algebraic Methods in Programming 103, 130-153, 2019