×

Backhouse, Roland C.

Author ID: backhouse.roland-c Recent zbMATH articles by "Backhouse, Roland C."
Published as: Backhouse, Roland; Backhouse, R. C.; Backhouse, Roland C.; Backhouse, R.

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 206 times in 161 Documents Cited by Year
Regular algebra applied to path-finding problems. Zbl 0304.68082
Backhouse, R. C.; Carre, B. A.
41
1975
Demonic operators and monotype factors. Zbl 0797.68114
Backhouse, Roland; van der Woude, Jaap
22
1993
A calculational approach to mathematical induction. Zbl 0901.68124
Doornbos, Henk; Backhouse, Roland; van der Woude, Jaap
19
1997
Do-it-yourself type theory. Zbl 0697.68020
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik
12
1989
Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069
Backhouse, Kevin; Backhouse, Roland
11
2004
Chapter 4. Galois connections and fixed point calculus. Zbl 1065.68030
Backhouse, Roland
10
2002
Categorical fixed point calculus. Zbl 1502.68168
Backhouse, Roland; Bijsterveld, Marcel; van Geldrop, Rik; van der Woude, Jaap
10
1995
Exercises in quantifier manipulation. Zbl 1235.68049
Backhouse, Roland; Michaelis, Diethard
8
2006
Calculating path algorithms. Zbl 0818.68117
Backhouse, Roland C.; van den Eijnde, J. P. H. W.; van Gasteren, A. J. M.
8
1994
Reductivity. Zbl 0848.68054
Doornbos, Henk; Backhouse, Roland
6
1996
Regular algebra applied to language problems. Zbl 1086.68069
Backhouse, Roland
6
2006
On Euclid’s algorithm and elementary number theory. Zbl 1246.11187
Backhouse, Roland; Ferreira, João F.
5
2011
An alternative approach to the improvement of LR(k) parsers. Zbl 0358.68115
Backhouse, R. C.
4
1976
Factor graphs, failure functions and bi-trees. Zbl 0353.68086
Backhouse, R. C.; Lutz, R. K.
4
1977
Syntax of programming languages. Theory and practice. Zbl 0426.68058
Backhouse, Roland C.
4
1979
Recounting the rationals: twice! Zbl 1156.11308
Backhouse, Roland; Ferreira, João F.
4
2008
A while-rule in Martin-Löf’s theory of types. Zbl 0638.03057
Backhouse, R.; Khamiss, A.
3
1987
Generic properties of datatypes. Zbl 1274.68210
Backhouse, Roland; Hoogendijk, Paul
3
2003
Do-it-yourself type theory. II. Zbl 0669.68012
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant
2
1988
Final dialgebras: From categories to allegories. Zbl 0943.68014
Backhouse, Roland; Hoogendijk, Paul
2
1999
Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Zbl 0989.00050
2
2002
When do datatypes commute? Zbl 0884.68086
Hoogendijk, Paul; Backhouse, Roland
2
1997
Factor theory and the unity of opposites. Zbl 1355.68180
Backhouse, Roland
2
2016
The associativity of equivalence and the Towers of Hanoi problem. Zbl 1003.68077
Backhouse, Roland; Fokkinga, Maarten
2
2001
The algorithmics of solitaire-like games. Zbl 1286.91036
Backhouse, Roland; Chen, Wei; Ferreira, João F.
2
2010
Making formality work for us. Zbl 0681.68011
Backhouse, Roland
1
1989
A comparison of Gaussian and Gauss-Jordan elimination in regular algebra. Zbl 0492.65013
Backhouse, R. C.; Carre, B. A.
1
1982
An alternative implementation of an insertion-only recovery technique. Zbl 0493.68086
Anderson, S. O.; Backhouse, R. C.
1
1982
Logical relations and Galois connections. Zbl 1073.68570
Backhouse, Kevin; Backhouse, Roland
1
2002
Fixed-point characterisation of winning strategies in impartial games. Zbl 1088.91501
Backhouse, Roland; Michaelis, Diethard
1
2004
Programs and datatypes. Zbl 0884.68081
Doornbos, Henk; van Gasteren, Netty; Backhouse, Roland
1
1997
Locally least-cost error recovery in Earley’s algorithm. Zbl 0459.68050
Anderson, S. O.; Backhouse, R. C.
1
1981
Calculating a path algorithm. Zbl 0791.68128
Backhouse, Roland C.; van Gasteren, A. J. M.
1
1993
Pair algebras and Galois connections. Zbl 1341.06004
Backhouse, Roland
1
1998
The capacity-\(C\) torch problem. Zbl 1156.68573
Backhouse, Roland
1
2008
Components and acyclicity of graphs. An exercise in combining precision with concision. Zbl 1481.68034
Backhouse, Roland; Doornbos, Henk; Glück, Roland; van der Woude, Jaap
1
2022
An analysis of repeated graph search. Zbl 1434.68344
Backhouse, Roland
1
2019
Components and acyclicity of graphs. An exercise in combining precision with concision. Zbl 1481.68034
Backhouse, Roland; Doornbos, Henk; Glück, Roland; van der Woude, Jaap
1
2022
An analysis of repeated graph search. Zbl 1434.68344
Backhouse, Roland
1
2019
Factor theory and the unity of opposites. Zbl 1355.68180
Backhouse, Roland
2
2016
On Euclid’s algorithm and elementary number theory. Zbl 1246.11187
Backhouse, Roland; Ferreira, João F.
5
2011
The algorithmics of solitaire-like games. Zbl 1286.91036
Backhouse, Roland; Chen, Wei; Ferreira, João F.
2
2010
Recounting the rationals: twice! Zbl 1156.11308
Backhouse, Roland; Ferreira, João F.
4
2008
The capacity-\(C\) torch problem. Zbl 1156.68573
Backhouse, Roland
1
2008
Exercises in quantifier manipulation. Zbl 1235.68049
Backhouse, Roland; Michaelis, Diethard
8
2006
Regular algebra applied to language problems. Zbl 1086.68069
Backhouse, Roland
6
2006
Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069
Backhouse, Kevin; Backhouse, Roland
11
2004
Fixed-point characterisation of winning strategies in impartial games. Zbl 1088.91501
Backhouse, Roland; Michaelis, Diethard
1
2004
Generic properties of datatypes. Zbl 1274.68210
Backhouse, Roland; Hoogendijk, Paul
3
2003
Chapter 4. Galois connections and fixed point calculus. Zbl 1065.68030
Backhouse, Roland
10
2002
Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Zbl 0989.00050
2
2002
Logical relations and Galois connections. Zbl 1073.68570
Backhouse, Kevin; Backhouse, Roland
1
2002
The associativity of equivalence and the Towers of Hanoi problem. Zbl 1003.68077
Backhouse, Roland; Fokkinga, Maarten
2
2001
Final dialgebras: From categories to allegories. Zbl 0943.68014
Backhouse, Roland; Hoogendijk, Paul
2
1999
Pair algebras and Galois connections. Zbl 1341.06004
Backhouse, Roland
1
1998
A calculational approach to mathematical induction. Zbl 0901.68124
Doornbos, Henk; Backhouse, Roland; van der Woude, Jaap
19
1997
When do datatypes commute? Zbl 0884.68086
Hoogendijk, Paul; Backhouse, Roland
2
1997
Programs and datatypes. Zbl 0884.68081
Doornbos, Henk; van Gasteren, Netty; Backhouse, Roland
1
1997
Reductivity. Zbl 0848.68054
Doornbos, Henk; Backhouse, Roland
6
1996
Categorical fixed point calculus. Zbl 1502.68168
Backhouse, Roland; Bijsterveld, Marcel; van Geldrop, Rik; van der Woude, Jaap
10
1995
Calculating path algorithms. Zbl 0818.68117
Backhouse, Roland C.; van den Eijnde, J. P. H. W.; van Gasteren, A. J. M.
8
1994
Demonic operators and monotype factors. Zbl 0797.68114
Backhouse, Roland; van der Woude, Jaap
22
1993
Calculating a path algorithm. Zbl 0791.68128
Backhouse, Roland C.; van Gasteren, A. J. M.
1
1993
Do-it-yourself type theory. Zbl 0697.68020
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik
12
1989
Making formality work for us. Zbl 0681.68011
Backhouse, Roland
1
1989
Do-it-yourself type theory. II. Zbl 0669.68012
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant
2
1988
A while-rule in Martin-Löf’s theory of types. Zbl 0638.03057
Backhouse, R.; Khamiss, A.
3
1987
A comparison of Gaussian and Gauss-Jordan elimination in regular algebra. Zbl 0492.65013
Backhouse, R. C.; Carre, B. A.
1
1982
An alternative implementation of an insertion-only recovery technique. Zbl 0493.68086
Anderson, S. O.; Backhouse, R. C.
1
1982
Locally least-cost error recovery in Earley’s algorithm. Zbl 0459.68050
Anderson, S. O.; Backhouse, R. C.
1
1981
Syntax of programming languages. Theory and practice. Zbl 0426.68058
Backhouse, Roland C.
4
1979
Factor graphs, failure functions and bi-trees. Zbl 0353.68086
Backhouse, R. C.; Lutz, R. K.
4
1977
An alternative approach to the improvement of LR(k) parsers. Zbl 0358.68115
Backhouse, R. C.
4
1976
Regular algebra applied to path-finding problems. Zbl 0304.68082
Backhouse, R. C.; Carre, B. A.
41
1975
all top 5

Cited by 224 Authors

11 Backhouse, Roland C.
11 Möller, Bernhard
10 Oliveira, José Nuno
7 Höfner, Peter
7 Struth, Georg
6 Guttmann, Walter
4 Berghammer, Rudolf
4 Desharnais, Jules
3 Barbosa, Luís Soares
3 Doornbos, Henk
3 Ferreira, João Filipe
3 Gibbons, Jeremy
3 Kahl, Wolfram
3 Mu, Shin-Cheng
3 Tchier, Fairouz
3 Valentini, Silvio
2 Bermudez, Manuel E.
2 Bickford, Mark
2 Chaudhari, Dipak L.
2 Chu, Yandong
2 Constable, Robert Lee
2 Damani, Om P.
2 Ésik, Zoltán
2 Gao, Jian-She
2 Gondran, Michel
2 Hinze, Ralf
2 Litvinov, Grigory Lazarevich
2 McIver, Annabelle K.
2 Mendes, Alexandra
2 O’Hearn, Peter W.
2 Pan, Victor Yakovlevich
2 Piróg, Maciej
2 Pous, Damien
2 Rao, Xiao-Bo
2 Reif, John H.
2 Soisalon-Soininen, Eljas
2 Subramani, Krishnan
2 van der Woude, Jaap
2 Xue, Jinyun
2 Zhang, Jiangang
1 Abate, Carmine
1 Abdali, S. Kamal
1 Abel, Andreas M.
1 Allen, Stuart F.
1 Amato, Gianluca
1 Ambroise, Lafont
1 Armstrong, Alasdair
1 Avrithis, Yannis
1 Batory, Don S.
1 Belkhiter, Nadir
1 Ben Mohamed Sghaier, Salah
1 Bird, Richard S.
1 Blanco, Roberto
1 Bloom, Stephen L.
1 Bohórquez V., Jaime A.
1 Bolduc, Claude
1 Bossi, Annalisa
1 Boute, Raymond T.
1 Butkovič, Peter
1 Calk, Cameron
1 Carré, Bernard A.
1 Chang, Chun-Hyon
1 Chen, Zhizhong
1 Chiang, Yu-Hsi
1 Choe, Kwang-Moo
1 Ciobâcă, Ştefan
1 Cockett, J. Robin B.
1 Coquand, Thierry
1 Cyphert, John
1 Dang, Han-Hing
1 Das, Anupam
1 de Carufel, Jean-Lou
1 Dechter, Rina
1 Dershowitz, Nachum
1 Desovski, D.
1 Dunne, Steve E.
1 Durier, Adrien
1 Dybjer, Peter
1 Eaton, Richard
1 Ebrahimi, Mohammad Mehdi
1 Endres, Markus
1 Esmi, Estevão Laureano
1 Feijs, Loe M. G.
1 Fiore, Marcelo P.
1 Fischer, Charles N.
1 Franco, Giuditta
1 Fujita, Ken-etsu
1 Furusawa, Hitoshi
1 Garg, Deepak
1 Giraud, Mathieu
1 Glück, Roland
1 Goubault, Eric
1 Gursoy, Buket Benek
1 Gyoda, Yasuaki
1 Hague, Matthew
1 Hansen, Bo Stig
1 Hashimoto, Hiroshi
1 Hayes, Ian J.
1 Hedberg, Michael
1 Heilbrunner, Stephan
...and 124 more Authors
all top 5

Cited in 45 Serials

21 Theoretical Computer Science
15 Journal of Logical and Algebraic Methods in Programming
11 Formal Aspects of Computing
11 The Journal of Logic and Algebraic Programming
6 Information Processing Letters
5 Acta Informatica
4 Information Sciences
4 International Journal of Computer Mathematics
3 Fuzzy Sets and Systems
3 Journal of Functional Programming
2 Discrete Mathematics
2 Applied Mathematics and Computation
2 Annals of Pure and Applied Logic
2 Journal of Symbolic Computation
2 MSCS. Mathematical Structures in Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Logical Methods in Computer Science
1 Artificial Intelligence
1 Computer Physics Communications
1 Linear and Multilinear Algebra
1 Chaos, Solitons and Fractals
1 Computing
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Programming and Computer Software
1 Quaestiones Mathematicae
1 Semigroup Forum
1 Science of Computer Programming
1 Physica D
1 Journal of Computer Science and Technology
1 Information and Computation
1 Journal of Automated Reasoning
1 International Journal of Foundations of Computer Science
1 Glasnik Matematički. Serija III
1 Linear Algebra and its Applications
1 Journal of Mathematical Imaging and Vision
1 Formal Methods in System Design
1 The Bulletin of Symbolic Logic
1 Theory of Computing Systems
1 Soft Computing
1 Mathematical Methods of Operations Research
1 Chaos
1 Journal of Applied Logic
1 Discrete and Continuous Dynamical Systems. Series S
1 SN Operations Research Forum

Citations by Year