Tobias Kappé - RankMe

63 papers A* 3A 3B 9C 2Journal 38Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Partial Reductions for Kleene Algebra with Linear Hypotheses. FoSSaCS Liam Chung, Tobias Kappé
2026	J	`jnl`	Partial Reductions for Kleene Algebra with Linear Hypotheses. CoRR Liam Chung, Tobias Kappé
2025	B	`conf`	A General Completeness Theorem for Skip-Free Star Algebras. FoSSaCS Tobias Kappé, Todd Schmid
2025	J	`jnl`	A General Completeness Theorem for Skip-free Star Algebras. CoRR Tobias Kappé, Todd Schmid
2025	J	`jnl`	Algebras for Deterministic Computation Are Inherently Incomplete. Proc. ACM Program. Lang. Balder ten Cate, Tobias Kappé
2025	J	`jnl`	CF-GKAT: Efficient Validation of Control-Flow Transformations. Proc. ACM Program. Lang. Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2025	J	`jnl`	Kleene Algebra. CoRR Tobias Kappé, Alexandra Silva, Jana Wagemaker
2025	C	`conf`	On Propositional Program Equivalence (Extended Abstract). WoLLIC Tobias Kappé
2025	J	`jnl`	On Propositional Program Equivalence (extended abstract). CoRR Tobias Kappé
2025	J	`jnl`	StacKAT: Infinite State Network Verification. CoRR Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025	J	`jnl`	StacKAT: Infinite State Network Verification. Proc. ACM Program. Lang. Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2024	J	`jnl`	Algebras for Deterministic Computation Are Inherently Incomplete. CoRR Balder ten Cate, Tobias Kappé
2024	J	`jnl`	An Elementary Proof of the FMP for Kleene Algebra. Fundam. Informaticae Tobias Kappé
2024	J	`jnl`	CF-GKAT: Efficient Validation of Control-Flow Transformations. CoRR Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2023	A	`conf`	A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP Todd Schmid, Tobias Kappé, Alexandra Silva
2023	J	`jnl`	A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR Todd Schmid, Tobias Kappé, Alexandra Silva
2023	C	`conf`	Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. RAMiCS Tobias Kappé
2023	J	`jnl`	Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
2023	A*	`conf`	Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2023	J	`jnl`	Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2022	—	`conf`	A Categorical Framework for Learning Generalised Tree Automata. CMCS Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2022	J	`jnl`	Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. CoRR Tobias Kappé
2022	A	`conf`	Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022	J	`jnl`	Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022	J	`jnl`	Formal Abstractions for Packet Scheduling. CoRR Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
2022	J	`jnl`	Leapfrog: Certified Equivalence for Protocol Parsers. CoRR Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2022	A*	`conf`	Leapfrog: certified equivalence for protocol parsers. PLDI Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2021	J	`jnl`	Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2021	A*	`conf`	Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021	J	`jnl`	Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021	B	`conf`	Learning Pomset Automata. FoSSaCS Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021	J	`jnl`	Learning Pomset Automata. CoRR Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020	J	`jnl`	A Categorical Framework for Learning Generalised Tree Automata. CoRR Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2020	B	`conf`	Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020	J	`jnl`	Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020	—	`—`	Concurrent Kleene Algebra: completeness and decidability. Tobias Kappé
2020	J	`jnl`	Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2020	B	`conf`	Partially Observable Concurrent Kleene Algebra. CONCUR Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020	J	`jnl`	Partially Observable Concurrent Kleene Algebra. CoRR Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	B	`conf`	Completeness and Incompleteness of Synchronous Kleene Algebra. MPC Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	J	`jnl`	Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	J	`jnl`	Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2019	B	`conf`	Kleene Algebra with Observations. CONCUR Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2019	J	`jnl`	On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2019	J	`jnl`	Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2019	B	`conf`	Tree Automata as Algebras: Minimisation and Determinisation. CALCO Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2019	J	`jnl`	Tree Automata as Algebras: Minimisation and Determinisation. CoRR Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2018	A	`conf`	Concurrent Kleene Algebra: Free Model and Completeness. ESOP Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2018	—	`conf`	Decision problems for Clark-congruential languages. ICGI Makoto Kanazawa, Tobias Kappé
2018	J	`jnl`	Decision problems for Clark-congruential languages. CoRR Makoto Kanazawa, Tobias Kappé
2018	J	`jnl`	Equivalence checking for weak bi-Kleene algebra. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018	J	`jnl`	Kleene Algebra with Observations. CoRR Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018	—	`conf`	Learning to Coordinate. It's All About Coordination Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
2018	J	`jnl`	On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017	—	`conf`	A Component-Oriented Framework for Autonomous Agents. FACS Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017	J	`jnl`	A Component-oriented Framework for Autonomous Agents. CoRR Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017	B	`conf`	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017	J	`jnl`	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017	J	`jnl`	Concurrent Kleene Algebra: Free Model and Completeness. CoRR Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2017	J	`jnl`	Constraint automata with memory cells and their composition. Sci. Comput. Program. Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
2016	—	`conf`	A Compositional Framework for Preference-Aware Agents. V2CPS@IFM Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2016	—	`conf`	Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
2015	—	`conf`	Composing Constraint Automata, State-by-State. FACS Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab