Roland Carl Backhouse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
6
Active years
1977–2019
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | MPC | An Analysis of Repeated Graph Search. | Roland Carl Backhouse |
| 2012 | MPC | First-Past-the-Post Games. | Roland Carl Backhouse |
| 2010 | MPC | The Algorithmics of Solitaire-Like Games. | Roland Carl Backhouse, Wei Chen, Joo F. Ferreira |
| 2009 | ICFP | Meeting a fanclub: a lattice of generic shape selectors. | Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk |
| 2008 | MPC | The Capacity-CTorch Problem. | Roland Carl Backhouse |
| 2008 | MPC | Recounting the Rationals: Twice!. | Roland Carl Backhouse, Joo F. Ferreira |
| 2006 | CiE | Datatype-Generic Reasoning. | Roland Carl Backhouse |
| 2006 | ICFP | Type-theoretic design patterns. | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
| 2006 | MPC | Exercises in Quantifier Manipulation. | Roland Carl Backhouse, Diethard Michaelis |
| 2002 | MPC | Logical Relations and Galois Connections. | Kevin Backhouse, Roland Carl Backhouse |
| 2001 | ESOP | Fusion on Languages. | Roland Carl Backhouse |
| 1999 | FM | Interfacing Program Construction and Verification. | Richard Verhoeven, Roland Carl Backhouse |
| 1998 | MPC | Calculating a Round-Robin Scheduler. | Matteo Vaccari, Roland Carl Backhouse |
| 1995 | MPC | Induction and Recursion on Datatypes. | Henk Doornbos, Roland Carl Backhouse |
| 1992 | MPC | Calculating a Path Algorithm. | Roland Carl Backhouse, A. J. M. van Gasteren |
| 1977 | ICALP | Factor Graphs, Failure Functions and BI-Trees. | Roland Carl Backhouse, R. K. Lutz |