Concepedia

Roland Backhouse

RB

19

Publications

801

Citations

16

H-Index

1975

Active since

Affiliations

Eindhoven University of Technology(Current)

University of Nottingham

Utrecht University

Roland Backhouse is an author at Eindhoven University of Technology specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

Publications per year

1975–2014

19

Publications

19

Regular Algebra Applied to Path-finding Problems

Roland Backhouse, Bernard Carré · IMA Journal of Applied Mathematics · 1975 · 141 citations

Generic Programming - An Introduction -

Roland Backhouse, Patrik Jansson, Johan Jeuring et al. · Utrecht University Repository (Utrecht University) · 1999 · 129 citations · Full text

Fixed-point calculus

C.J. Aarts, Roland Backhouse, Eerke Boiten et al. · Information Processing Letters · 1995 · 73 citations

A relational theory of datatypes

C.J. Aarts, Roland Backhouse, Paul Hoogendijk et al. · TU/e Research Portal (Eindhoven University of Technology) · 1992 · 72 citations · Full text

, , +7

Demonic operators and monotype factors

Roland Backhouse, Jaap van der Woude · Mathematical Structures in Computer Science · 1993 · 58 citations

, , +7

Rows per page

1–5 of 19