Kleene algebra with domain J Desharnais, B Möller, G Struth ACM Transactions on Computational Logic (TOCL) 7 (4), 798-833, 2006 | 242 | 2006 |

Concurrent Kleene algebra and its foundations T Hoare, B Möller, G Struth, I Wehrman The Journal of Logic and Algebraic Programming 80 (6), 266-296, 2011 | 154 | 2011 |

Concurrent kleene algebra CART Hoare, B Möller, G Struth, I Wehrman CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009 | 105 | 2009 |

Automated reasoning in Kleene algebra P Höfner, G Struth International Conference on Automated Deduction, 279-294, 2007 | 97 | 2007 |

Internal axioms for domain semirings J Desharnais, G Struth Science of Computer Programming 76 (3), 181-203, 2011 | 84 | 2011 |

Algebras of modal operators and partial correctness B Möller, G Struth Theoretical Computer Science 351 (2), 221-239, 2006 | 81 | 2006 |

Modal Kleene algebra and applications-a survey J Desharnais, B Möller, G Struth | 72 | 2004 |

On automating the calculus of relations P Höfner, G Struth Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 59 | 2008 |

Building program construction and verification tools from algebraic principles A Armstrong, VBF Gomes, G Struth Formal Aspects of Computing 28, 265-293, 2016 | 48 | 2016 |

Algebraic notions of termination D Jules, B Möller, S Georg Logical Methods in Computer Science 7, 2011 | 43 | 2011 |

Kleene algebra A Armstrong, G Struth, T Weber Archive of Formal Proofs 324, 2013 | 41* | 2013 |

Domain and antidomain semigroups J Desharnais, P Jipsen, G Struth Relations and Kleene Algebra in Computer Science: 11th International …, 2009 | 39 | 2009 |

Termination in modal Kleene algebra J Desharnais, B Möller, G Struth Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 36 | 2004 |

Kleene algebra A Armstrong, G Struth, T Weber Archive of Formal Proofs 324, 2013 | 35 | 2013 |

Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL: (Invited Tutorial) S Foster, G Struth, T Weber Relational and Algebraic Methods in Computer Science: 12th International …, 2011 | 35 | 2011 |

Quantales and temporal logics B Möller, P Höfner, G Struth Algebraic Methodology and Software Technology: 11th International Conference …, 2006 | 35 | 2006 |

Modal semirings revisited J Desharnais, G Struth Mathematics of Program Construction: 9th International Conference, MPC 2008 …, 2008 | 34 | 2008 |

On locality and the exchange law for concurrent processes CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 32 | 2011 |

wp Is w lp B Möller, G Struth International Conference on Relational Methods in Computer Science, 200-211, 2005 | 32 | 2005 |

Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL S Foster, JJ Huerta y Munive, G Struth Relational and Algebraic Methods in Computer Science: 18th International …, 2020 | 31 | 2020 |