Concurrent Kleene algebra: free model and completeness T Kappé, P Brunet, A Silva, F Zanasi European Symposium on Programming, 856-882, 2018 | 33 | 2018 |

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 | 20 | 2019 |

Constraint automata with memory cells and their composition SSTQ Jongmans, T Kappé, F Arbab Science of Computer Programming 146, 50-86, 2017 | 20 | 2017 |

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi FoSSaCS 2020, 381-400, 2020 | 15 | 2020 |

A Compositional Framework for Preference-Aware Agents T Kappé, F Arbab, C Talcott V2CPS@IFM 2016, 21-35, 2016 | 15 | 2016 |

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 | 15 | 2016 |

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 | 12 | 2019 |

Kleene algebra with observations T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi CONCUR 2019, 2018 | 12 | 2018 |

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 | 10 | 2017 |

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 | 6 | 2021 |

A Component-Oriented Framework for Autonomous Agents T Kappé, F Arbab, C Talcott FACS 2017, 20-38, 2017 | 6 | 2017 |

Partially Observable Concurrent Kleene Algebra J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva arXiv preprint arXiv:2007.07593, 2020 | 5 | 2020 |

Tree Automata as Algebras: Minimisation and Determinisation G Heerdt, T Kappe, JC Rot, M Sammartino, A Silva CALCO 2019, 6: 1-6: 22, 2019 | 4* | 2019 |

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 | 3 | 2020 |

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 | 3 | 2019 |

Soft component automata: Composition, compilation, logic, and verification T Kappé, B Lion, F Arbab, C Talcott Science of Computer Programming 183, 102300, 2019 | 3 | 2019 |

Learning Pomset Automata G van Heerdt, T Kappé, J Rot, A Silva Foundations of Software Science and Computation Structures24th International …, 2021 | 2 | 2021 |

Concurrent Kleene Algebra: Completeness and Decidability T Kappé UCL (University College London), 2020 | 2 | 2020 |

Learning to Coordinate G Heerdt, B Jacobs, T Kappé, A Silva It's All About Coordination, 139-159, 2018 | 2 | 2018 |