Edit Profile (opens in new tab) Backhouse, Roland C. Co-Author Distance Author ID: backhouse.roland-c Published as: Backhouse, Roland; Backhouse, R. C.; Backhouse, Roland C.; Backhouse, R. more...less Documents Indexed: 50 Publications since 1975, including 3 Books 4 Contributions as Editor Co-Authors: 24 Co-Authors with 37 Joint Publications 418 Co-Co-Authors all top 5 Co-Authors 17 single-authored 6 Doornbos, Henk 4 Hoogendijk, Paul Ferenc 4 Malcolm, Grant 4 van der Woude, Jaap 3 Chisholm, Paul 3 Ferreira, João Filipe 3 Oliveira, José Nuno 2 Anderson, S. O. 2 Backhouse, Kevin 2 Carré, Bernard A. 2 Gibbons, Jeremy 2 Michaelis, Diethard 2 van Gasteren, Antonetta Johanna Maria 1 Bijsterveld, Marcel 1 Chen, Wei 1 Crole, Roy L. 1 Fokkinga, Maarten M. 1 Glück, Roland 1 Khamiss, A. A. 1 Lutz, R. K. 1 Saaman, Erik 1 van den Eijnde, J. P. H. W 1 van Gasteren, Netty 1 van Geldrop, Rik all top 5 Serials 6 Science of Computer Programming 4 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 Lecture Notes in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 Information Processing Letters 2 ACM Transactions on Programming Languages and Systems 1 Journal of the Institute of Mathematics and its Applications 1 The Computer Journal. Section A / Section B 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 Theory of Computing Systems 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming all top 5 Fields 50 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 5 General and overarching topics; collections (00-XX) 4 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 1 General algebraic systems (08-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 208 times in 162 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 Categorical fixed point calculus. Zbl 1502.68168 Backhouse, Roland; Bijsterveld, Marcel; van Geldrop, Rik; van der Woude, Jaap 11 1995 Chapter 4. Galois connections and fixed point calculus. Zbl 1065.68030 Backhouse, Roland 11 2002 Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069 Backhouse, Kevin; Backhouse, Roland 11 2004 Calculating path algorithms. Zbl 0818.68117 Backhouse, Roland C.; van den Eijnde, J. P. H. W.; van Gasteren, A. J. M. 8 1994 Exercises in quantifier manipulation. Zbl 1235.68049 Backhouse, Roland; Michaelis, Diethard 8 2006 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 Recounting the rationals: twice! Zbl 1156.11308 Backhouse, Roland; Ferreira, João F. 4 2008 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 Syntax of programming languages. Theory and practice. Zbl 0426.68058 Backhouse, Roland C. 4 1979 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 When do datatypes commute? Zbl 0884.68086 Hoogendijk, Paul; Backhouse, Roland 2 1997 Do-it-yourself type theory. II. Zbl 0669.68012 Backhouse, Roland; Chisholm, Paul; Malcolm, Grant 2 1988 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 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 Factor theory and the unity of opposites. Zbl 1355.68180 Backhouse, Roland 2 2016 The algorithmics of solitaire-like games. Zbl 1286.91036 Backhouse, Roland; Chen, Wei; Ferreira, João F. 2 2010 Calculating a path algorithm. Zbl 0791.68128 Backhouse, Roland C.; van Gasteren, A. J. M. 1 1993 The capacity-\(C\) torch problem. Zbl 1156.68573 Backhouse, Roland 1 2008 Programs and datatypes. Zbl 0884.68081 Doornbos, Henk; van Gasteren, Netty; Backhouse, Roland 1 1997 Making formality work for us. Zbl 0681.68011 Backhouse, Roland 1 1989 Locally least-cost error recovery in Earley’s algorithm. Zbl 0459.68050 Anderson, S. O.; Backhouse, R. C. 1 1981 Logical relations and Galois connections. Zbl 1073.68570 Backhouse, Kevin; Backhouse, Roland 1 2002 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 Pair algebras and Galois connections. Zbl 1341.06004 Backhouse, Roland 1 1998 Fixed-point characterisation of winning strategies in impartial games. Zbl 1088.91501 Backhouse, Roland; Michaelis, Diethard 1 2004 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 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 11 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 11 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 cited Publications top 5 cited Publications 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 Hinze, Ralf 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 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 Wu, Nicolas 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 ...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 4 Journal of Functional Programming 3 Fuzzy Sets and Systems 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 all top 5 Cited in 22 Fields 138 Computer science (68-XX) 48 Mathematical logic and foundations (03-XX) 17 Category theory; homological algebra (18-XX) 15 Combinatorics (05-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Associative rings and algebras (16-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 Operations research, mathematical programming (90-XX) 6 General algebraic systems (08-XX) 4 Numerical analysis (65-XX) 3 Number theory (11-XX) 3 Group theory and generalizations (20-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Biology and other natural sciences (92-XX) 2 Commutative algebra (13-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Partial differential equations (35-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year