Draft

See here for the abstract.

Submitted for Publication. DOI:10.13140/RG2.2.15712.12809

See here for the abstract.

In G.Hutton (Ed.): MPC2019, LNCS 11825, pp.1--31, 2019. DOI:10.13140/RG2.2.28481.81761

See here for the abstract.

Working Document. Comments welcome. DOI: 10.13140/RG:2.2.12676.78720

See here for the abstract.

Draft. Comments welcome. DOI: 10.13140/RG.2.2.25718.40009

See here for the abstract.

J. Logical and Algebraic Methods in Programming, Vol.85, No. 5, Pp.824--826 (2016)

See here for the abstract.

Unpublished

See here for the abstract.

Science of Computer Programming, 1 May 2015, Vol.102:76-107, doi:10.1016/j.scisco.2015.01.003

See here for the abstract.

Science of Computer Programming 85, Part B (1 June 2014), pp. 166-203, Selected Papers from Mathematics of Program Construction 2012, Jeremy Gibbons and Pablo Nogueira (Eds.). Available online 13-Aug-2013, Science of Computer Programming (2013), http://authors.elsevier.com/sd/article/S0167642313001640, DOI 10.1016/j.scico.2013.07.007.

See here for the abstract.

Science of Computer Programming 78 (2013), pp. 2029--2046, DOI: 10.1016/j.scico.2012.07.007

See here for the abstract.

Unpublished Lecture Notes

See here for the abstract.

Mathematics of Program Construction. 10th International Conference, June 2010. Lecture Notes In Computer Science vol. 6120, Claude Bolduc, Jules Desharnais, Bechir Ktari (Eds.) pages 140--156. © Springer-Verlag 2010.

See here for the abstract.

Science of Computer Programming, vol.76, no.3, pages 160 -- 180, 2011

See here for the abstract.

PhD Thesis, School of Computer Science, University of Nottingham, 2010

See here for the abstract.

Unpublished Lecture Notes

See here for the abstract.

Mathematics of Program Construction. 10th International Conference, June 2010. Lecture Notes In Computer Science vol. 6120, Claude Bolduc, Jules Desharnais, Bechir Ktari (Eds.) pages 1--18. © Springer-Verlag 2010.

See here for the abstract.

Teaching Formal Methods, 2nd International Conference, November 2009. Lecture Notes In Computer Science vol. 5846, Jeremy Gibbons and Jose Nuno Oliveira (Eds.) pages 39--56. © Springer-Verlag 2009.

See here for the abstract.

J. Gibbons and P. Nogueira (Eds.), MPC 2012, LNCS 7342, pp.157-176, 2012. © Springer-Verlag

See here for the abstract.

Accepted for publication in Workshop on Generic Programming WGP09, 30th August 2009. This is the authors' version of the work. It is published here with the permission of ACM for your personal use. Not for redistribution. The definitive version of the article was published in WGP'09, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming, August 30, 2009, pp. 73--83, ISBN: 978-1-60558-510-9/09/08.

See here for the abstract.

In Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008, pages 57-78 © Springer-Verlag

See here for the abstract.

In Theory of Computing Systems (2008) 43: 362--393, DOI: 10.1007/s00224-007-9056-z © Springer-Verlag

See here for the abstract.

In Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008, pages 79-91. © Springer-Verlag

See here for the abstract.

In Logical Approaches to Computational Barriers, Arnold Beckmann, Ulrich Berger, Benedikt L\"owe, John V. Tucker (Eds.), Springer-Verlag, LNCS 3988, pp. 21--34 © Springer-Verlag

See here for the abstract.

Unpublished

See here for the abstract.

In Mathematics of Program Construction 2006, Tarmo Uustalu (Ed.), Springer-Verlag, LNCS 4014, pp. 70--81 © Springer-Verlag

See here for the abstract.

Unpublished. (Shortened version included in "Exercises in Quantifier Manipulation", MPC 2006.)

See here for the abstract.

Unpublished. (Included in "Exercises in Quantifier Manipulation", MPC 2006.)

See here for the abstract.

In Fourth Colloquium on Automata, Languages and Programming, A. Salomaa and M. Steinby (Eds.), Springer-Verlag, LNCS 52, 1977, pp. 61--75

See here for the abstract.

PhD thesis, University of London, 1975.

See here for the abstract.

Extract from Closure Algorithms and the Star Height Problem of Regular Languages, PhD thesis, University of London, 1975.

See here for the abstract.

Abstract presented at RelMiCS8

See here for the abstract.

J.Inst.Maths.Applics (1975)

See here for the abstract.

International Journal of Computer Mathematics

See here for the abstract.

Journal of Logic and Algebraic Programming. 66 (2006) 71--111. © Elsevier Science Direct.

See here for the abstract.

Abridged version (omitting proofs) in LNCS 3051, Relational and Kleene-Algebraic Methods in Computer Science, Rudolf Berghammer, Bernhard Möller and Georg Struth (Eds.), pp 34--47, 2004 © Springer-Verlag)

See here for the abstract.

In Science of Computer Programming, vol. 15, nos. 1--2, pp. 153--196, 2004.

See here for the abstract.

Presented at Summer School on Generic Programming, Oxford, August 2002 © Springer-Verlag.

See here for the abstract.

Int. Conf. on Mathematics of Program Construction, Dagstuhl, Germany, July 2002. Springer Verlag LNCS 2386, pp. 23--39. © Springer-Verlag

See here for the abstract.

Inaugural lecture, School of Computer Science and IT, University of Nottingham, 24th October 2001.

See here for the abstract.

Unpublished.

See here for the abstract.

Unpublished.

See here for the abstract.

10th European Symposium on Programming, ESOP 2001. Springer LNCS 2028, pp. 107--121. © Springer-Verlag

See here for the abstract.

Information Processing Letters, 77 (Feb. 2001) pp 71--76.

See here for the abstract.

Lecture Notes for module Programming Algebra, Nottingham, 2001

See here for the abstract.

Presented at the Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, April 11--14, 2000.

A shortened version of this paper appears in the published proceedings of the Summer School
Algebraic
and Coalgebraic Methods in the Mathematics of
Program Construction. LNCS 2297, 2002, pp. 89--148.
© Springer-Verlag.

See here for the abstract.

Presented at the Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, April 11--14, 2000.

Proceedings of the Summer School
Algebraic
and Coalgebraic Methods in the Mathematics of
Program Construction. LNCS 2297, 2002, pp. 89--148.
© Springer-Verlag.

See here for the abstract.

FM '99 -- Formal Methods, Jeanette Wing, Jim Woodcock and Jim Davies (Eds.), LNCS 1709, pp. 1128--1146, September 1999

See here for the abstract.

Ph.D.thesis, Eindhoven University of Technology, January 1999

See here for the abstract.

Theoretical Informatics, Vol. 33, Nos. 4/5, 1999, pp. 401 --426

See here for the abstract.

Presented at the 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, 12th-19th September, 1998

See here for the abstract.

Presented at Workshop on User Interfaces for Theorem Provers UITP'98, Eindhoven, The Netherlands.

See here for the abstract.

Information Processing Letters, Vol.67, No.4, 31 August 1998, pp.169--176

See here for the abstract.

International Conference on Mathematics of Program Construction, Marstrand, Sweden, June 1998, LNCS 1422, pp.365--382

See here for the abstract.

Ph.D. Thesis, Universita degli Studi di Milano, Italy, May 1998

See here for the abstract.

Software--Concepts and Tools (1997) 18: 80--89

See here for the abstract.

Category Theory and Computer Science, LNCS 1290, September 1997, pp. 242--260.

See here for the abstract.

Ph.D. Thesis, Eindhoven University of Technology, 1997. (Bound copies are available (while stocks last) by writing to the author or Roland Backhouse.)

See here for the abstract.

IFIP TC2 Working Conference on Algorithmic Languages and Calculi, February 1997.

See here for the abstract.

Science of Computer Programming, 26, pp. 217--236, 1996.

See here for the abstract.

Working Document, July 1994. Latest version, December 1996.

See here for the abstract.

CS report 96-16, Eindhoven University of Technology. November 1996

See here for the abstract.

Ph.D. Thesis, Eindhoven University of Technology, 1996.

See here for the abstract.

February 1996

See here for the abstract.

D. Pitt and D.E. Rydeheard and P. Johnstone, editors, Category Theory and Computer Science, 6th International Conference, volume 953 of LNCS, pages 159--179. Springer-Verlag, 1995.

See here for the abstract.

B. Moller, editor, Mathematics of Program Construction, 3rd Internatinal Conference, volume 947 of LNCS, pages 242-256. Springer-Verslag, July 1995.

See here for the abstract.

March 1995.

See here for the abstract.

Eindhoven University of Technology, Computing Science Report 95/10, March 1995.

See here for the abstract.

CS report 94-43, Eindhoven University of Technology. November 1994.

See here for the abstract.

In Theoretical Computer Science 179 (1997) 103--105

See here for the abstract.

Science of Computer Programming 22 (1994) 3--19, doi: 10.1016/0167-6423(94)90005-1 © 1994 Elsevier Science B.V.

See here for the abstract.

R.S. Bird, C.C. Morgan, and J.C.P. Woodcock, editors, Mathematics of Program Construction. 2nd International Conference, June/July 1992, volume 669 of Lecture Notes in Computer Science, pages 32--44. Springer Verlag, 1993. For extended version see " Calculating Path Algorithms. Roland C. Backhouse and J.P.H.W. van den Eijnde and A.J.M. van Gasteren".

See here for the abstract.

In B. Moller, H.A. Partsch, and S.A. Schuman, editors, Formal Program Development. Proc. IFIP TC2/WG 2.1 State of the Art Seminar, Rio de Janeiro, Jan. 1992, volume 755 of LNCS, pages 7-42. Springer-Verlag, 1993.

See here for the abstract.

Computing Science in the Netherlands 1993. pages 97--108, 1993.

See here for the abstract.

Mathematics of Program Construction. 2nd International Conference, June/July 1992. Lecture Notes In Computer Science vol. 669, pages 163--190. Springer Verlag, 1993. For extended version see "Relational Programmig Laws in the Tree, List, Bag and Set Hierarchy. Paul F. Hoogendijk and Roland C. Backhouse."

See here for the abstract.

Unpublished manuscript, April 1993.

See here for the abstract.

Working document, December 1992.

See here for the abstract.

Presented at STOP workshop, September 1992.

See here for the abstract.

Unpublished manuscript, January 1993.

See here for the abstract.

Final version in Mathematical Structures in Computer Science, 3(4): 417-433, December 1993.

See here for the abstract.

Graduating Disertation, Eindhoven University of Technology, November 1993.

See here for the abstract.

Unpublished manuscript. October 1993.

See here for the abstract.

Unpublished manuscript, September 1993.

See here for the abstract.

Graduating Disertation, Eindhoven University of Technology, July 1992.

(No abstract available.)

Technical Report, Technische Universiteit Eindhoven, 1991

See here for the abstract.

Bulletin of the EATCS, vol. 40, pp. 201--206, 1990.

See here for the abstract.

EATCS Bulletin, vol. 38, June 1989, pages 219-249.

See here for the abstract.

In Proceedings of the IFIP TC2/WG2.1 Working Conference Constructing Programs from Specifications, 1991, M{\"o}ller B. (Ed.), Elsevier Science Publishers B.V., pp. 287--318

See here for the abstract.

Formal Aspects of Computing (1989) 1: 19--84. © 1989 BCS

See here for the abstract.

Technical Report CS8810, Department of Mathematics and Computing Science, University of Groningen, 1988. This paper has been superceded by: "Elements of a relational theory of datatypes. Roland Backhouse and Paul Hoogendijk." and "Relational programming laws in the tree, list, bag and set hierarchy. Paul F. Hoogendijk and Roland C. Backhouse."

See here for the abstract.

Department of Computer Science, Heriot-Watt University, Technical Report no. 9, August 1980

See here for the abstract.

Department of Computer Science, Heriot-Watt University, Technical Report no. 4, October 1976

See here for the abstract.