Computational category theory DE Rydeheard, RM Burstall Prentice Hall, 1988 | 277 | 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 | 193 | 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 | 159 | 2012 |

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

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

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 | 84 | 1987 |

A categorical unification algorithm DE Rydeheard, RM Burstall Category Theory and Computer Programming, 493-505, 1986 | 77 | 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 | 44 | 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 | 32 | 2013 |

Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings DH Pitt, S Abramsky, A Poigné, DE Rydeheard CTCS, 1986 | 22 | 1986 |

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

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

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings DH Pitt, PL Curien, S Abramsky, A Pitts, A Poigne, DE Rydeheard Springer Science & Business Media, 1991 | 20* | 1991 |

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

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

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

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

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

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 |