Computational category theory DE Rydeheard, RM Burstall Prentice Hall, 1988 | 269 | 1988 |

Rule Systems for Run-time Monitoring: from Eagle to RuleR H Barringer, D Rydeheard, K Havelund Journal of Logic and Computation 20 (3), 675-706, 2008 | 179 | 2008 |

Quantified event automata: Towards expressive and efficient runtime monitors H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard International Symposium on Formal Methods, 68-84, 2012 | 138 | 2012 |

Rule Systems for Run-Time Monitoring: From Eagle to RuleR H Barringer, D Rydeheard, K Havelund International Workshop on Runtime Verification, 111-125, 2007 | 99 | 2007 |

MarQ: monitoring at runtime with QEA G Reger, HC Cruz, D Rydeheard International Conference on Tools and Algorithms for the Construction and …, 2015 | 82 | 2015 |

Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms DE Rydeheard, JG Stell Category Theory and Computer Science, 114-139, 1987 | 82 | 1987 |

A categorical unification algorithm DE Rydeheard, RM Burstall Category Theory and Computer Programming, 493-505, 1986 | 75 | 1986 |

Rule systems for runtime verification: A short tutorial H Barringer, K Havelund, D Rydeheard, A Groce International Workshop on Runtime Verification, 1-24, 2009 | 41 | 2009 |

A pattern-based approach to parametric specification mining G Reger, H Barringer, D Rydeheard 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 27 | 2013 |

Category theory and computer programming: tutorial and workshop, Guildford, UK, September 16-20, 1985: proceedings D Pitt, S Abramsky, A Poigné, D Rydeheard Springer, 1986 | 23 | 1986 |

From runtime verification to evolvable systems H Barringer, D Gabbay, D Rydeheard International Workshop on Runtime Verification, 97-110, 2007 | 21 | 2007 |

From first-order temporal logic to parametric trace slicing G Reger, D Rydeheard Runtime Verification, 216-232, 2015 | 19 | 2015 |

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings DH Pitt, DE Rydeheard, P Dybjer, AM Pitts, A Poigné Springer Berlin Heidelberg, 1989 | 19* | 1989 |

Computational category theory RM Burstall, DE Rydeheard Prentice-Hall Press, 1988 | 18 | 1988 |

A bi-intuitionistic modal logic: Foundations and automation JG Stell, RA Schmidt, D Rydeheard Journal of Logical and Algebraic Methods in Programming 85 (4), 500-519, 2016 | 16 | 2016 |

Automata-based Pattern Mining from Imperfect Traces G Reger, H Barringer, D Rydeheard 2nd International Workshop on Software Mining, 2013 | 13 | 2013 |

Adjunctions DE Rydeheard Category Theory and Computer Programming, 51-57, 1986 | 12 | 1986 |

A logical framework for monitoring and evolving software components H Barringer, D Rydeheard, D Gabbay First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 11 | 2007 |

A first order modal logic and its sheaf models B Hilken, D Rydeheard FLoC Satellite Workshop on Intuitionistic Modal Logics and Applications …, 1999 | 11 | 1999 |

Towards a categorical semantics of type classes BP Hilken, DE Rydeheard International Symposium on Mathematical Foundations of Computer Science, 191-201, 1991 | 11 | 1991 |