David H. Pitt - RankMe

16 papers C 2Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2002	J	`jnl`	Local Invariance. Formal Aspects Comput. David H. Pitt, Michael W. Shields
1999	J	`jnl`	Overtaking in Asynchronous Periodic Systems. Formal Aspects Comput. David H. Pitt, M. W. Shields
1995	J	`jnl`	A Review of Object-oriented Approaches in Formal Methods. Comput. J. Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
1995	—	`ed.`	Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings CTCS David H. Pitt, David E. Rydeheard, Peter T. Johnstone
1994	J	`jnl`	The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Aspects Comput. David H. Pitt, Paddy Byers
1993	C	`conf`	Object Oriented Specification of Multi-Layered Protocols. ICCI Andrew F. Watts, David H. Pitt, Colin Smythe
1992	—	`conf`	Real-Timed Concurrent Refineable Behaviours. FTRTFT David Murphy, David H. Pitt
1991	—	`ed.`	Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings CTCS David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
1990	C	`conf`	Concurrent Data Structures. ICCI Adrian Colbrook, Colin Smythe, David H. Pitt
1990	J	`jnl`	Conservative extensions: a cautionary note. Bull. EATCS Paddy Byers, David H. Pitt
1990	J	`jnl`	The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. David H. Pitt, David Freestone
1989	—	`ed.`	Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings Category Theory and Computer Science David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
1988	—	`conf`	Object-Oriented Process Specification. Specification and Verification of Concurrent Systems Stephen A. Schuman, David H. Pitt, Paddy H. Byers
1987	—	`ed.`	Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings CTCS David H. Pitt, Axel Poigné, David E. Rydeheard
1986	—	`ed.`	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings CTCS David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard
1985	—	`conf`	Categories. CTCS David H. Pitt