Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roland Carl Backhouse" ( http://dblp.L3S.de/Authors/Roland_Carl_Backhouse )

  Author page on DBLP  Author page in RDF  Community of Roland Carl Backhouse in ASPL-2

Publication years (Num. hits)
1976-1993 (16) 1994-1998 (15) 1999-2006 (18) 2008-2011 (6)
Publication types (Num. hits)
article(24) book(2) inproceedings(26) proceedings(3)
Venues (Conferences, Journals, ...)
MPC(9) Sci. Comput. Program.(6) Inf. Process. Lett.(4) Algebraic and Coalgebraic Meth...(3) ACM Trans. Program. Lang. Syst...(2) Acta Inf.(2) AMAST(2) Category Theory and Computer S...(2) Comput. J.(2) Generic Programming(2) RelMiCS(2) Advanced Functional Programmin...(1) Algorithmic Languages and Calc...(1) Bulletin of the EATCS(1) CiE(1) ESOP(1) More (+10 of total 28)
Authors
Roland Carl Backhouse(55) Paul F. Hoogendijk(7) Henk Doornbos(6) Jaap van der Woude(5) João F. Ferreira(4) S. O. Anderson(3) A. J. M. van Gasteren(2) Diethard Michaelis(2) Ed Voermans(2) Grant Malcolm(2) Jeremy Gibbons(2) Kevin Backhouse(2) Matteo Vaccari(2) Richard Verhoeven(2) Rik van Geldrop(2) A. Khamiss(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 21 keywords
Results
Found 55 publication records. Showing 55 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Roland Carl Backhouse, João F. Ferreira On Euclid's algorithm and elementary number theory. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Wei Chen 0023, João F. Ferreira The Algorithmics of Solitaire-Like Games. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa Which Mathematics for the Information Society? Search on Bibsonomy TFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Henk Doornbos Datatype-Generic Termination Proofs. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Allegory, Generic programming, Relation algebra, Programming methodology, Datatype
1Roland Carl Backhouse, João F. Ferreira Recounting the Rationals: Twice!. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Calkin-Wilf tree, Stern-Brocot tree, algorithm derivation, rational numbers, enumeration algorithm
1Roland Carl Backhouse The Capacity-CTorch Problem. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithm derivation, algorithmic problem solving, dynamic programming, shortest path
1Roland Carl Backhouse Regular algebra applied to language problems. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson Type-theoretic design patterns. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern
1Roland Carl Backhouse, Diethard Michaelis Exercises in Quantifier Manipulation. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Datatype-Generic Reasoning. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF allegory, generic programming, relation algebra, programming methodology, Datatype
1Kevin Backhouse, Roland Carl Backhouse Safety of abstract interpretations for free, via logical relations and Galois connections. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Algebraic Approaches to Problem Generalisation. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Diethard Michaelis Fixed-Point Characterisation of Winning Strategies in Impartial Games. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Paul F. Hoogendijk Generic Properties of Datatypes. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Jeremy Gibbons (eds.) Generic Programming - Advanced Lectures Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kevin Backhouse, Roland Carl Backhouse Logical Relations and Galois Connections. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2002 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Maarten M. Fokkinga The associativity of equivalence and the Towers of Hanoi problem. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Fusion on Languages. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, José Nuno Oliveira (eds.) Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings Search on Bibsonomy MPC The full citation details ... 2000 DBLP  BibTeX  RDF
1Henk Doornbos, Roland Carl Backhouse Algebra of Program Termination. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Galois Connections and Fixed Point Calculus. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Paul F. Hoogendijk Final dialgebras: From categories to allegories. Search on Bibsonomy ITA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Richard Verhoeven, Roland Carl Backhouse Interfacing Program Construction and Verification. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Pair Algebras and Galois Connections. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Pair algebras and Galois connections. Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens Generic Programming: An Introduction. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matteo Vaccari, Roland Carl Backhouse Calculating a Round-Robin Scheduler. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Richard Verhoeven, Olaf Weber Math/pad: A System for On-Line Preparation of Mathematical Documents. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 1997 DBLP  BibTeX  RDF
1Henk Doornbos, Roland Carl Backhouse, Jaap van der Woude A Calculational Approach to Mathematical Induction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Matteo Vaccari, Roland Carl Backhouse Deriving a systolic regular language recognizer. Search on Bibsonomy Algorithmic Languages and Calculi The full citation details ... 1997 DBLP  BibTeX  RDF
1Paul F. Hoogendijk, Roland Carl Backhouse When Do Datatypes Commute? Search on Bibsonomy Category Theory and Computer Science The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Mathematics of Program Construction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Henk Doornbos, Roland Carl Backhouse Reductivity. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chritiene 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. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude Categorical Fixed Point Calculus. Search on Bibsonomy Category Theory and Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Henk Doornbos, Roland Carl Backhouse Induction and Recursion on Datatypes. Search on Bibsonomy MPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren Calculating Path Algorithms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Paul F. Hoogendijk, Roland Carl Backhouse Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Jaap van der Woude Demonic Operators and Monotype Factors. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Paul F. Hoogendijk Elements of a Relational Theory of Datatypes. Search on Bibsonomy Formal Program Development The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, A. J. M. van Gasteren Calculating a Path Algorithm. Search on Bibsonomy MPC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude Polynomial Relators (Extended Abstract). Search on Bibsonomy AMAST The full citation details ... 1991 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Grant Malcolm On induced congruences. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1990 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Paul Chisholm Do-It-Yourself Type Theory. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, A. Khamiss A While-Rule in Martin-Löf's Theory of Types. Search on Bibsonomy Comput. J. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Program construction and verification. Search on Bibsonomy 1986   RDF
1Roland Carl Backhouse Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1S. O. Anderson, Roland Carl Backhouse, E. H. Bugge, C. P. Stirling An Assessment of Locally Least-Cost Error Recovery. Search on Bibsonomy Comput. J. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Writing a Number as a Sum of Two Squares: A New Solution. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1S. O. Anderson, Roland Carl Backhouse An Alternative Implementation of an Insertion-Only Recovery Technique. Search on Bibsonomy Acta Inf. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1S. O. Anderson, Roland Carl Backhouse Locally Least-Cost Error Recovery in Early's Algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse Syntax of Programming Languages: Theory and Practice Search on Bibsonomy 1979   RDF
1Roland Carl Backhouse, R. K. Lutz Factor Graphs, Failure Functions and BI-Trees. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF substring identifiers, factor matrix, pattern-matching, factor, string-matching, regular language, factor graph
1Roland Carl Backhouse An Alternative Approach to the Improvement of LR(k) Parsers. Search on Bibsonomy Acta Inf. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #55 of 55 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.