Applications of category theory to programming and program specification. - David E. Rydeheard (1982)

Functors and Natural Transformations. - David E. Rydeheard (CTCS, 1985)

Adjunction. - David E. Rydeheard (CTCS, 1985)

A Categorical Unification Algorithm. - David E. Rydeheard; Rod M. Burstall (CTCS, 1985)

Computing with Categories. - David E. Rydeheard; Rod M. Burstall (CTCS, 1985)

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. - David E. Rydeheard; John G. Stell (Category Theory and Computer Science, 1987)

Computational category theory. - David E. Rydeheard; Rod M. Burstall (Prentice Hall, 1988)

Towards a categorical semantics of type classes. - Barney P. Hilken; David E. Rydeheard (Fundam. Informaticae, 1992)

Categorical ML - Category-Theoretic Modular Programming. - Esther Dennis-Jones; David E. Rydeheard (Formal Aspects Comput., 1993)

A Theory of Classes: Proofs and Models. - Barney P. Hilken; David E. Rydeheard (Math. Struct. Comput. Sci., 1997)

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. - David E. Rydeheard; Donald Sannella (Formal Aspects Comput., 2002)

Modelling Evolvable Systems: A Temporal Logic View. - Howard Barringer; David E. Rydeheard (We Will Show Them! (1), 2005)

From Runtime Verification to Evolvable Systems. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (RV, 2007)

Rule Systems for Run-Time Monitoring: From Eagleto RuleR. - Howard Barringer; David E. Rydeheard; Klaus Havelund (RV, 2007)

A Logical Framework for Monitoring and Evolving Software Components. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (TASE, 2007)

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies. - Shenghui Wang 001; David E. Rydeheard; Jeff Z. Pan (J. Log. Comput., 2008)

Rule Systems for Runtime Verification: A Short Tutorial. - Howard Barringer; Klaus Havelund; David E. Rydeheard; Alex Groce (RV, 2009)

Modelling evolvable component systems: Part I: A logical framework. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (Log. J. IGPL, 2009)

Automated Reasoning in the Simulation of Evolvable Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (PAAR@IJCAR, 2010)

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (RV, 2010)

Rule Systems for Run-time Monitoring: from Eagle to RuleR. - Howard Barringer; David E. Rydeheard; Klaus Havelund (J. Log. Comput., 2010)

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. - Howard Barringer; Yliès Falcone; Klaus Havelund; Giles Reger; David E. Rydeheard (FM, 2012)

Modelling and Reasoning about Dynamic Networks as Concurrent Systems. - Yanti Rusmawati; David E. Rydeheard (FSFMA, 2013)

A pattern-based approach to parametric specification mining. - Giles Reger; Howard Barringer; David E. Rydeheard (ASE, 2013)

Tableau Development for a Bi-intuitionistic Tense Logic. - John G. Stell; Renate A. Schmidt; David E. Rydeheard (RAMiCS, 2014)

Axiomatic and Tableau-Based Reasoning for Kt(H, R). - Renate A. Schmidt; John G. Stell; David E. Rydeheard (Advances in Modal Logic, 2014)

Reactivity and Grammars: An Exploration. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (Language, Culture, Computation (1), 2014)

A note on first-order reasoning for minimum models. - David E. Rydeheard; Jesús Héctor Domínguez Sánchez (HOWARD-60, 2014)

From First-order Temporal Logic to Parametric Trace Slicing. - Giles Reger; David E. Rydeheard (RV, 2015)

MarQ: Monitoring at Runtime with QEA. - Giles Reger; Helena Cuenca Cruz; David E. Rydeheard (TACAS, 2015)

Automata-based Pattern Mining from Imperfect Traces. - Giles Reger; Howard Barringer; David E. Rydeheard (ACM SIGSOFT Softw. Eng. Notes, 2015)

A bi-intuitionistic modal logic: Foundations and automation. - John G. Stell; Renate A. Schmidt; David E. Rydeheard (J. Log. Algebraic Methods Program., 2016)

From parametric trace slicing to rule systems. - Giles Reger; David E. Rydeheard (Int. J. Softw. Tools Technol. Transf., 2021)

Rod Bustall: In Memoriam. - J Strother Moore; Gordon D. Plotkin; David E. Rydeheard; Donald Sannella (CoRR, 2025)