| 2008 |
|---|
| 20 | EE | Shenghui Wang,
David E. Rydeheard,
Jeff Z. Pan:
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies.
J. Log. Comput. 18(3): 341-359 (2008) |
| 2007 |
|---|
| 19 | EE | Howard Barringer,
David E. Rydeheard,
Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR.
RV 2007: 111-125 |
| 18 | EE | Howard Barringer,
Dov M. Gabbay,
David E. Rydeheard:
From Runtime Verification to Evolvable Systems.
RV 2007: 97-110 |
| 17 | EE | Howard Barringer,
David E. Rydeheard,
Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components.
TASE 2007: 273-282 |
| 2005 |
|---|
| 16 | | Howard Barringer,
David E. Rydeheard:
Modelling Evolvable Systems: A Temporal Logic View.
We Will Show Them! (1) 2005: 195-228 |
| 2002 |
|---|
| 15 | EE | David E. Rydeheard,
Donald Sannella:
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.
Formal Asp. Comput. 13(3-5): 187-193 (2002) |
| 1997 |
|---|
| 14 | | Barney P. Hilken,
David E. Rydeheard:
A Theory of Classes: Proofs and Models.
Mathematical Structures in Computer Science 7(2): 95-127 (1997) |
| 1995 |
|---|
| 13 | | David H. Pitt,
David E. Rydeheard,
Peter Johnstone:
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings
Springer 1995 |
| 1993 |
|---|
| 12 | | Esther Dennis-Jones,
David E. Rydeheard:
Categorical ML - Category-Theoretic Modular Programming.
Formal Asp. Comput. 5(4): 337-366 (1993) |
| 1992 |
|---|
| 11 | | Barney P. Hilken,
David E. Rydeheard:
Towards a categorical semantics of type classes.
Fundam. Inform. 16(1): 127-147 (1992) |
| 1991 |
|---|
| 10 | | David H. Pitt,
Pierre-Louis Curien,
Samson Abramsky,
Andrew M. Pitts,
Axel Poigné,
David E. Rydeheard:
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings
Springer 1991 |
| 9 | | Barney P. Hilken,
David E. Rydeheard:
Towards a Categorical Semantics Type Classes.
MFCS 1991: 191-201 |
| 1989 |
|---|
| 8 | | David H. Pitt,
David E. Rydeheard,
Peter Dybjer,
Andrew M. Pitts,
Axel Poigné:
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings
Springer 1989 |
| 1987 |
|---|
| 7 | | David H. Pitt,
Axel Poigné,
David E. Rydeheard:
Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings
Springer 1987 |
| 6 | | David E. Rydeheard,
John G. Stell:
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.
Category Theory and Computer Science 1987: 114-139 |
| 1986 |
|---|
| 5 | | David H. Pitt,
Samson Abramsky,
Axel Poigné,
David E. Rydeheard:
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings
Springer 1986 |
| 1985 |
|---|
| 4 | | David E. Rydeheard:
Functors and Natural Transformations.
CTCS 1985: 43-50 |
| 3 | | David E. Rydeheard,
Rod M. Burstall:
A Categorical Unification Algorithm.
CTCS 1985: 493-505 |
| 2 | | David E. Rydeheard,
Rod M. Burstall:
Computing with Categories.
CTCS 1985: 506-519 |
| 1 | | David E. Rydeheard:
Adjunction.
CTCS 1985: 51-57 |
