Roland Backhouse - Concepedia

Author

Roland Backhouse

Eindhoven University of Technology ORCID

Also Known As

Backhouse, R., Backhouse, R.C., Backhouse, Roland, Backhouse, Roland C., R Backhouse, R. Backhouse, R. C. BACKHOUSE, R. C. Backhouse, R.C. Backhouse, ROLAND CARL BACKHOUSE

111

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology University of Nottingham Utrecht University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	199
2	Computer Science	5	5	94
3	Education	1	1	53
4	Management	1	1	72
5	Natural Sciences	1	1	10

Roland Backhouse

Publications

801

Citations

H-Index

Page 1

	Year	Citations
Regular Algebra Applied to Path-finding Problems Roland Backhouse, Bernard Carré IMA Journal of Applied Mathematics	1975	141
Generic Programming - An Introduction - Roland Backhouse, Patrik Jansson, Johan Jeuring, Utrecht University Repository (Utrecht University)	1999	129
Fixed-point calculus C.J. Aarts, Roland Backhouse, Eerke Boiten, Information Processing Letters	1995	73
A relational theory of datatypes C.J. Aarts, Roland Backhouse, Paul Hoogendijk, TU/e Research Portal (Eindhoven University of Technology) EngineeringData TypeData ScienceAutomated ReasoningRelational Theory	1992	72
Demonic operators and monotype factors Roland Backhouse, Jaap van der Woude Mathematical Structures in Computer Science Algebraic LogicDemonic CompositionMonotype FactorsAbstract AlgebraRepresentation Theory	1993	58
Do-it-yourself type theory Roland Backhouse, Paul Chisholm, Grant Malcolm, Formal Aspects of Computing	1989	53
A calculational approach to mathematical induction Henk Doornbos, Roland Backhouse, Jaap van der Woude Theoretical Computer Science Mathematics EducationMathematical InductionAutomated ReasoningEducationMathematical Proof	1997	53
Safety of abstract interpretations for free, via logical relations and Galois connections Kevin Backhouse, Roland Backhouse Science of Computer Programming Algebraic LogicLogical RelationsEngineeringAutomated ReasoningAbstract Interpretation	2004	27
Calculating path algorithms Roland Backhouse, J.P.H.W. van den Eijnde, A. J. M. van Gasteren Science of Computer Programming AlgorithmsPath PlanningEngineeringAlgorithm DesignRoute Planning	1994	24
Locally Least-Cost Error Recovery in Earley's Algorithm Stuart Anderson, Roland Backhouse ACM Transactions on Programming Languages and Systems	1981	23

Page 1