Tobias Kappé

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 48

Top Topics

Partially Observable

Algebraic Expressions

Regular Expressions

Top Venues

Publications

Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP (2023)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP (2023)
Tobias Kappé
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. RAMiCS (2023)
Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR (2023)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. CoRR (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR (2022)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CMCS (2022)
Tobias Kappé
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. CoRR (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: certified equivalence for protocol parsers. PLDI (2022)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR (2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP (2021)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17 (3) (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. FoSSaCS (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. CoRR (2021)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CoRR (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CONCUR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CoRR (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CoRR (2019)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CALCO (2019)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103 (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC (2019)
Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR (2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CONCUR (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Makoto Kanazawa, Tobias Kappé
Decision problems for Clark-congruential languages. ICGI (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. CoRR (2018)
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Learning to Coordinate. It's All About Coordination (2018)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. ESOP (2018)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CoRR (2018)
Makoto Kanazawa, Tobias Kappé
Decision problems for Clark-congruential languages. CoRR (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR (2018)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Component-Oriented Framework for Autonomous Agents. FACS (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR (2017)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Component-oriented Framework for Autonomous Agents. CoRR (2017)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. CoRR (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR (2017)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146 (2017)
Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM (2016)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Compositional Framework for Preference-Aware Agents. V2CPS@IFM (2016)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Composing Constraint Automata, State-by-State. FACS (2015)