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

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

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

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness T Schmid, T Kappé, D Kozen, A Silva arXiv preprint arXiv:2102.08286, 2021 | 22 | 2021 |

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

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

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

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

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

Concurrent NetKAT J Wagemaker, N Foster, T Kappé, D Kozen, J Rot, A Silva ESOP, 0 | 12* | |

Leapfrog: certified equivalence for protocol parsers R Doenges, T Kappé, J Sarracino, N Foster, G Morrisett Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 11 | 2022 |

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity W Różowski, T Kappé, D Kozen, T Schmid, A Silva arXiv preprint arXiv:2305.01755, 2023 | 10 | 2023 |

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests T Schmid, T Kappé, A Silva European Symposium on Programming, 309-336, 2023 | 10 | 2023 |

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

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 |

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

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

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

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

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