Computational category theory DE Rydeheard, RM Burstall Prentice Hall, 1988 | 320 | 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 | 213 | 2008 |
Quantified event automata: Towards expressive and efficient runtime monitors H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 208 | 2012 |
MarQ: Monitoring at Runtime with QEA G Reger, HC Cruz, D Rydeheard Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 149 | 2015 |
Rule Systems for Run-Time Monitoring: From Eagle to RuleR H Barringer, D Rydeheard, K Havelund Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007 | 116 | 2007 |
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms DE Rydeheard, JG Stell Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005 | 85 | 2005 |
A categorical unification algorithm DE Rydeheard, RM Burstall Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005 | 82 | 2005 |
Rule systems for runtime verification: A short tutorial H Barringer, K Havelund, D Rydeheard, A Groce Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009 | 49 | 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 | 41 | 2013 |
From first-order temporal logic to parametric trace slicing G Reger, D Rydeheard Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 31 | 2015 |
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 | 30 | 2016 |
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 | 25 | 1986 |
From runtime verification to evolvable systems H Barringer, D Gabbay, D Rydeheard Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007 | 20 | 2007 |
Computational category theory RM Burstall, DE Rydeheard To appear, 1988 | 20 | 1988 |
Category Theory and Computer Science, LNCS 283 DH Pitt, S Abramsky, A Poigne, DE Rydeheard Springer-Verlag, 1987 | 19* | 1987 |
Automata-based Pattern Mining from Imperfect Traces G Reger, H Barringer, D Rydeheard 2nd International Workshop on Software Mining, 2013 | 18 | 2013 |
Category Theory and Computer Science (Paris, 1991), volume 530 of Lecture Notes in Computer Science D Pitt, PL Curien, S Abramsky, AM Pitts, A Poigné, DE Rydeheard Springer-Verlag.(xv), 1991 | 16 | 1991 |
Adjunctions DE Rydeheard Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005 | 14 | 2005 |
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 | 10 | 2007 |