| |
Journal of Mathematical Physics, Vol. 44, No. 11. (2003), pp. 5415-5449.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 23-45.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150.
|
| |
|
| |
Nature, Vol. 460, No. 7252. (9 July 2009), pp. 274-277.
|
| |
Relational Methods in Computer Science (2006), pp. 60-72.
|
| |
|
| |
Logic in Computer Science, Symposium on In LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, Vol. 0 (2006), pp. 359-366.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 1-18.
|
| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 24. (16 June 2009), pp. 9570-9575.
|
| |
The Journal of Mathematical Behavior, Vol. 27, No. 1. (2008), pp. 48-63.
|
| |
Genome biology, Vol. 3, No. 3. (2002)
|
| |
In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178.
|
| |
|
| |
Applied Categorical Structures, Vol. 16, No. 1. (1 April 2008), pp. 255-295.
|
| |
|
| |
In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 83-94.
|
| |
Journal of Algebraic Combinatorics, Vol. 24, No. 1. (August 2006), pp. 31-44.
|
| |
Journal of Algebraic Combinatorics, Vol. 21, No. 3. (May 2005), pp. 311-329.
|
| |
Journal of Algebraic Combinatorics, Vol. 9, No. 2. (21 March 1999), pp. 141-149.
|
| |
|
| |
|