David E. Rydeheard

	2009
21		Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
	2008
20		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		Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
18		Howard Barringer, Dov M. Gabbay, David E. Rydeheard: From Runtime Verification to Evolvable Systems. RV 2007: 97-110
17		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		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

Coauthor Index

1	Samson Abramsky	[5] [10]
2	Howard Barringer	[16] [17] [18] [19] [21]
3	Rod M. Burstall	[2] [3]
4	Pierre-Louis Curien	[10]
5	Esther Dennis-Jones	[12]
6	Peter Dybjer	[8]
7	Dov M. Gabbay	[17] [18]
8	Alex Groce	[21]
9	Klaus Havelund	[19] [21]
10	Barney P. Hilken	[9] [11] [14]
11	Peter Johnstone	[13]
12	Jeff Z. Pan	[20]
13	David H. Pitt	[5] [7] [8] [10] [13]
14	Andrew M. Pitts	[8] [10]
15	Axel Poigné	[5] [7] [8] [10]
16	Donald Sannella	[15]
17	John G. Stell	[6]
18	Shenghui Wang	[20]

Colors in the list of coauthors