| 2026 | CAV | Octopus: Practical Equivalence Checking of P4 Packet Parsers. | Jort van Leenen, Tobias Kapp |
| 2026 | FOSSACS | Partial Reductions for Kleene Algebra with Linear Hypotheses. | Liam Chung, Tobias Kapp |
| 2025 | FOSSACS | A General Completeness Theorem for Skip-Free Star Algebras. | Tobias Kapp, Todd Schmid |
| 2025 | WoLLIC | On Propositional Program Equivalence (Extended Abstract). | Tobias Kapp |
| 2023 | ESOP | A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. | Todd Schmid, Tobias Kapp, Alexandra Silva |
| 2023 | ICALP | Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. | Wojciech Rozowski, Tobias Kapp, Dexter Kozen, Todd Schmid, Alexandra Silva |
| 2022 | ESOP | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | PLDI | Leapfrog: certified equivalence for protocol parsers. | Ryan Doenges, Tobias Kapp, John Sarracino, Nate Foster, Greg Morrisett |
| 2021 | FOSSACS | Learning Pomset Automata. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2021 | ICALP | Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. | Todd Schmid, Tobias Kapp, Dexter Kozen, Alexandra Silva |
| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | FOSSACS | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | CALCO | Tree Automata as Algebras: Minimisation and Determinisation. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | MPC | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2018 | ESOP | Concurrent Kleene Algebra: Free Model and Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2017 | CONCUR | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |