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
192018
Constraint automata with memory cells and their composition
SSTQ Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
112017
A Compositional Framework for Preference-Aware Agents
T Kappé, F Arbab, C Talcott
V2CPS@IFM 2016, 21-35, 2016
112016
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
82016
Composing Constraint Automata, State-by-State
SSTQ Jongmans, T Kappé, F Arbab
FACS 2015, 217-236, 2015
8*2015
Kleene algebra with observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
CONCUR 2019, 2018
72018
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
52017
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
FoSSaCS 2020, 381-400, 2020
42020
A Component-Oriented Framework for Autonomous Agents
T Kappé, F Arbab, C Talcott
FACS 2017, 20-38, 2017
42017
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
12019
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
12019
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
12019
Tree Automata as Algebras: Minimisation and Determinisation
G Heerdt, T Kappe, JC Rot, M Sammartino, A Silva
CALCO 2019, 6: 1-6: 22, 2019
1*2019
Equivalence checking for weak bi-Kleene algebra
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
arXiv preprint arXiv:1807.02102, 2018
12018
Partially Observable Concurrent Kleene Algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
arXiv preprint arXiv:2007.07593, 2020
2020
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
2020
Soft component automata: Composition, compilation, logic, and verification
T Kappé, B Lion, F Arbab, C Talcott
Science of Computer Programming 183, 102300, 2019
2019
Decision problems for Clark-congruential languages
M Kanazawa, T Kappé
International Conference on Grammatical Inference, 3-16, 2019
2019
Learning to Coordinate
G van Heerdt, B Jacobs, T Kappé, A Silva
It's All About Coordination, 139-159, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–19