dblp.uni-trier.dewww.uni-trier.de

Roland Carl Backhouse Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
50EERoland Carl Backhouse: The Capacity-CTorch Problem. MPC 2008: 57-78
49EERoland Carl Backhouse, João F. Ferreira: Recounting the Rationals: Twice!. MPC 2008: 79-91
2006
48EERoland Carl Backhouse: Datatype-Generic Reasoning. CiE 2006: 21-34
47EEOndrej Rypacek, Roland Carl Backhouse, Henrik Nilsson: Type-theoretic design patterns. ICFP-WGP 2006: 13-22
46EERoland Carl Backhouse, Diethard Michaelis: Exercises in Quantifier Manipulation. MPC 2006: 69-81
45EERoland Carl Backhouse: Regular algebra applied to language problems. J. Log. Algebr. Program. 66(2): 71-111 (2006)
2004
44EERoland Carl Backhouse: Algebraic Approaches to Problem Generalisation. AMAST 2004: 1-2
43EEKevin Backhouse, Roland Carl Backhouse: Safety of abstract interpretations for free, via logical relations and Galois connections. Sci. Comput. Program. 51(1-2): 153-196 (2004)
2003
42 Roland Carl Backhouse, Jeremy Gibbons: Generic Programming - Advanced Lectures Springer 2003
41EERoland Carl Backhouse, Paul F. Hoogendijk: Generic Properties of Datatypes. Generic Programming 2003: 97-132
40EERoland Carl Backhouse, Diethard Michaelis: Fixed-Point Characterisation of Winning Strategies in Impartial Games. RelMiCS 2003: 34-47
2002
39 Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Springer 2002
38EEKevin Backhouse, Roland Carl Backhouse: Logical Relations and Galois Connections. MPC 2002: 23-39
2001
37EERoland Carl Backhouse: Fusion on Languages. ESOP 2001: 107-121
36EERoland Carl Backhouse, Maarten M. Fokkinga: The associativity of equivalence and the Towers of Hanoi problem. Inf. Process. Lett. 77(2-4): 71-76 (2001)
2000
35 Roland Carl Backhouse, José Nuno Oliveira: Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings Springer 2000
34EEHenk Doornbos, Roland Carl Backhouse: Algebra of Program Termination. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 203-236
33EERoland Carl Backhouse: Galois Connections and Fixed Point Calculus. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 89-148
1999
32EERichard Verhoeven, Roland Carl Backhouse: Interfacing Program Construction and Verification. World Congress on Formal Methods 1999: 1128-1146
31 Roland Carl Backhouse, Paul F. Hoogendijk: Final dialgebras: From categories to allegories. ITA 33(4/5): 401-426 (1999)
1998
30 Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
29EEMatteo Vaccari, Roland Carl Backhouse: Calculating a Round-Robin Scheduler. MPC 1998: 365-382
28 Roland Carl Backhouse: Pair algebras and Galois connections. RelMiCS 1998: 8-12
27EERoland Carl Backhouse: Pair Algebras and Galois Connections. Inf. Process. Lett. 67(4): 169-175 (1998)
1997
26 Matteo Vaccari, Roland Carl Backhouse: Deriving a systolic regular language recognizer. Algorithmic Languages and Calculi 1997: 49-72
25 Paul F. Hoogendijk, Roland Carl Backhouse: When Do Datatypes Commute? Category Theory and Computer Science 1997: 242-260
24 Roland Carl Backhouse, Richard Verhoeven, Olaf Weber: Math/pad: A System for On-Line Preparation of Mathematical Documents. Software - Concepts and Tools 18(2): 80- (1997)
23EEHenk Doornbos, Roland Carl Backhouse, Jaap van der Woude: A Calculational Approach to Mathematical Induction. Theor. Comput. Sci. 179(1-2): 103-135 (1997)
1996
22 Henk Doornbos, Roland Carl Backhouse: Reductivity. Sci. Comput. Program. 26(1-3): 217-236 (1996)
21 Roland Carl Backhouse: Mathematics of Program Construction. Sci. Comput. Program. 26(1-3): 5-9 (1996)
1995
20 Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude: Categorical Fixed Point Calculus. Category Theory and Computer Science 1995: 159-179
19 Henk Doornbos, Roland Carl Backhouse: Induction and Recursion on Datatypes. MPC 1995: 242-256
18EEChritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude: Fixed-Point Calculus. Inf. Process. Lett. 53(3): 131-136 (1995)
1994
17 Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren: Calculating Path Algorithms. Sci. Comput. Program. 22(1-2): 3-19 (1994)
16 Paul F. Hoogendijk, Roland Carl Backhouse: Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. Sci. Comput. Program. 22(1-2): 67-105 (1994)
1993
15 Roland Carl Backhouse, Paul F. Hoogendijk: Elements of a Relational Theory of Datatypes. Formal Program Development 1993: 7-42
14 Roland Carl Backhouse, Jaap van der Woude: Demonic Operators and Monotype Factors. Mathematical Structures in Computer Science 3(4): 417-433 (1993)
1992
13 Roland Carl Backhouse, A. J. M. van Gasteren: Calculating a Path Algorithm. MPC 1992: 32-44
1991
12 Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude: Polynomial Relators (Extended Abstract). AMAST 1991: 303-326
1990
11 Roland Carl Backhouse, Grant Malcolm: On induced congruences. Bulletin of the EATCS 40: 201-206 (1990)
1989
10 Roland Carl Backhouse, Paul Chisholm: Do-It-Yourself Type Theory. Formal Asp. Comput. 1(1): 19-84 (1989)
1987
9 Roland Carl Backhouse, A. Khamiss: A While-Rule in Martin-Löf's Theory of Types. Comput. J. 30(1): 27-36 (1987)
1984
8EERoland Carl Backhouse: Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery. ACM Trans. Program. Lang. Syst. 6(2): 192-214 (1984)
1983
7 S. O. Anderson, Roland Carl Backhouse, E. H. Bugge, C. P. Stirling: An Assessment of Locally Least-Cost Error Recovery. Comput. J. 26(1): 15-24 (1983)
1982
6 S. O. Anderson, Roland Carl Backhouse: An Alternative Implementation of an Insertion-Only Recovery Technique. Acta Inf. 18: 289-298 (1982)
5 Roland Carl Backhouse: Writing a Number as a Sum of Two Squares: A New Solution. Inf. Process. Lett. 14(1): 15-17 (1982)
1981
4EES. O. Anderson, Roland Carl Backhouse: Locally Least-Cost Error Recovery in Early's Algorithm. ACM Trans. Program. Lang. Syst. 3(3): 318-347 (1981)
1979
3 Roland Carl Backhouse: Syntax of Programming Languages: Theory and Practice Prentice-Hall 1979
1977
2EERoland Carl Backhouse, R. K. Lutz: Factor Graphs, Failure Functions and BI-Trees. ICALP 1977: 61-75
1976
1 Roland Carl Backhouse: An Alternative Approach to the Improvement of LR(k) Parsers. Acta Inf. 6: 277-296 (1976)

Coauthor Index

1Chritiene Aarts [18]
2S. O. Anderson [4] [6] [7]
3Kevin Backhouse [38] [43]
4Marcel Bijsterveld [20]
5Eerke A. Boiten [18]
6Peter J. de Bruin [12]
7E. H. Bugge [7]
8Paul Chisholm [10]
9Roy L. Crole [39]
10Henk Doornbos [18] [19] [22] [23] [34]
11J. P. H. W. van den Eijnde [17]
12João Fernando Ferreira (João F. Ferreira) [49]
13Maarten M. Fokkinga [36]
14A. J. M. van Gasteren [13] [17]
15Netty van Gasteren [18]
16Rik van Geldrop [18] [20]
17Jeremy Gibbons [39] [42]
18Paul F. Hoogendijk [12] [15] [16] [18] [25] [31] [41]
19Patrik Jansson [30]
20Johan Jeuring [30]
21A. Khamiss [9]
22R. K. Lutz [2]
23Grant Malcolm [11] [12]
24Lambert G. L. T. Meertens [30]
25Diethard Michaelis [40] [46]
26Henrik Nilsson [47]
27José Nuno Oliveira [35]
28Ondrej Rypacek [47]
29C. P. Stirling [7]
30Matteo Vaccari [26] [29]
31Richard Verhoeven [24] [32]
32Ed Voermans [12] [18]
33Olaf Weber [24]
34Jaap van der Woude [12] [14] [18] [20] [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)