Follow
Tobias Kappé
Title
Cited by
Cited by
Year
Concurrent Kleene algebra: free model and completeness
T Kappé, P Brunet, A Silva, F Zanasi
European Symposium on Programming, 856-882, 2018
322018
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
202019
Constraint automata with memory cells and their composition
SSTQ Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
182017
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
FoSSaCS 2020, 381-400, 2020
152020
A Compositional Framework for Preference-Aware Agents
T Kappé, F Arbab, C Talcott
V2CPS@IFM 2016, 21-35, 2016
152016
Formal specification and analysis of robust adaptive distributed cyber-physical systems
C Talcott, V Nigam, F Arbab, T Kappé
International School on Formal Methods for the Design of Computer …, 2016
152016
On series-parallel pomset languages: Rationality, context-freeness and automata
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
Journal of Logical and Algebraic Methods in Programming 103, 130-153, 2019
122019
Kleene algebra with observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
CONCUR 2019, 2018
122018
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
CONCUR 2017, 25:1-25:16, 2017
102017
Composing Constraint Automata, State-by-State
SSTQ Jongmans, T Kappé, F Arbab
FACS 2015, 217-236, 2015
8*2015
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
T Schmid, T Kappé, D Kozen, A Silva
arXiv preprint arXiv:2102.08286, 2021
62021
A Component-Oriented Framework for Autonomous Agents
T Kappé, F Arbab, C Talcott
FACS 2017, 20-38, 2017
62017
Partially Observable Concurrent Kleene Algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
arXiv preprint arXiv:2007.07593, 2020
52020
A Categorical Framework for Learning Generalised Tree Automata
G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva
arXiv preprint arXiv:2001.05786, 2020
32020
Completeness and Incompleteness of Synchronous Kleene Algebra
J Wagemaker, M Bonsangue, T Kappé, J Rot, A Silva
International Conference on Mathematics of Program Construction, 385-413, 2019
32019
Tree Automata as Algebras: Minimisation and Determinisation
G Heerdt, T Kappe, JC Rot, M Sammartino, A Silva
CALCO 2019, 6: 1-6: 22, 2019
3*2019
Concurrent Kleene Algebra: Completeness and Decidability
T Kappé
UCL (University College London), 2020
22020
Soft component automata: Composition, compilation, logic, and verification
T Kappé, B Lion, F Arbab, C Talcott
Science of Computer Programming 183, 102300, 2019
22019
Learning Pomset Automata
G van Heerdt, T Kappé, J Rot, A Silva
Foundations of Software Science and Computation Structures24th International …, 2021
12021
Equivalence checking for weak bi-Kleene algebra
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
arXiv preprint arXiv:1807.02102, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20