Caries status in Europe and predictions of future trends J Arends, JL Ruben, J Christoffersen, WL Jongebloed, TGM Zuidgeest, ... Caries research 24 (6), 381-396, 1990 | 263* | 1990 |

Introduction: Engendering macro-economic policy reform in the era of global restructuring and adjustment I Bakker The strategic silence: Gender and economic policy, 1-29, 1994 | 260* | 1994 |

Kleene algebra with domain J Desharnais, B Möller, G Struth ACM Transactions on Computational Logic (TOCL) 7 (4), 798-833, 2006 | 197 | 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 | 92 | 2011 |

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

Concurrent kleene algebra CART Hoare, B Möller, G Struth, I Wehrman International Conference on Concurrency Theory, 399-414, 2009 | 74 | 2009 |

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

Modal Kleene algebra and applications—a survey J Desharnais, B Möller, G Struth Journal on Relational Methods in Computer Science 1 (1), 93-131, 2004 | 61 | 2004 |

On automating the calculus of relations P Höfner, G Struth International Joint Conference on Automated Reasoning, 50-66, 2008 | 47 | 2008 |

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

Automated engineering of relational and algebraic methods in Isabelle/HOL S Foster, G Struth, T Weber International Conference on Relational and Algebraic Methods in Computer …, 2011 | 33 | 2011 |

Termination in modal Kleene algebra J Desharnais, B Möller, G Struth Exploring New Frontiers of Theoretical Informatics, 647-660, 2004 | 31 | 2004 |

On locality and the exchange law for concurrent processes CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth International Conference on Concurrency Theory, 250-264, 2011 | 29 | 2011 |

Algebraic notions of termination J Desharnais, B Möller, G Struth | 29 | 2011 |

Quantales and temporal logics B Möller, P Höfner, G Struth International Conference on Algebraic Methodology and Software Technology …, 2006 | 29 | 2006 |

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

Automating algebraic methods in Isabelle W Guttmann, G Struth, T Weber International Conference on Formal Engineering Methods, 617-632, 2011 | 28 | 2011 |

Kleene modules T Ehm, B Möller, G Struth International Conference on Relational Methods in Computer Science, 112-123, 2003 | 28 | 2003 |

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

A program construction and verification tool for separation logic B Dongol, VBF Gomes, G Struth International Conference on Mathematics of Program Construction, 137-158, 2015 | 25 | 2015 |