Research output per year
Research output per year
Fingerprint
Dive into the research topics where Tobias Kappé is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 2 Conference Article in proceeding
-
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Prizes
-
Distinguished Paper Award (OOPSLA)
Mohan, Anshuman (Recipient), Liu, Yunhe (Recipient), Foster, Nate (Recipient), Kappé, Tobias (Recipient) & Kozen, Dexter (Recipient), 22 Oct 2023
Prize: Prize (including medals and awards) › Academic