Richard Kennaway's Publications

This is not the definitive list: it is only updated when I get around to it, which is not frequently. The searchable database of CMP publications may be more up to date. However, this version does include links to online copies of some papers, which the departmental database does not.

Journal papers

[J19] J.R.W. Glauert, J.R. Kennaway, and Z. Khasidashvili, "Stable results and relative normalization", J. Logic and Computation, vol.10, n.3, 323-348 (2000). (Online.)

[J18] J.R. Kennaway, "Control of a multi-legged robot based on hierarchical perceptual control theory", J. Perceptual Control Theory, vol.1, n.1 (1999).

[J17] J.R. Kennaway, F.J. de Vries, and V. van Oostrom, "Meaningless terms in rewriting". Journal of Functional and Logic Programming, 1999. (Supercedes [C11] and [C18].)

[J16] J.R.W. Glauert, J.R. Kennaway, G.A. Papadopoulos, and M.R. Sleep, "Dactl: an experimental graph rewriting language". J. Programming Languages, vol.5, 1997.

[J15] D. Clark and J.R. Kennaway, "Event structures and non-orthogonal term graph rewriting". Math. Structures in Comp. Sci., vol.6, 545-578, 1996.

[J14] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Infinitary lambda calculus", Th. Comp. Sci., vol.175, n.1, 93-125, (1997).

[J13] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Comparing curried and uncurried rewriting", J. Symbolic Computation, vol.21, 15-39, (1996). (Supercedes the earlier version in H.P. Barendregt, M. Bezem, and J.W. Klop (eds.) Dirk van Dalen Festschrift, Quaestiones Infinitae 5, 57-78, Department of Philosophy, Utrecht University, March 1993.)

[J12] D. Clark and J.R. Kennaway, "Some properties of non-orthogonal term graph rewriting". Electronic Notes in Th. Comp. Sci., vol.2, 10pp, 1995.

[J11] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Transfinite reductions in orthogonal term rewriting systems", Inf. and Computation, vol.119, n.1, 18-38 (1995).

[J10] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "On the adequacy of graph rewriting for simulating term rewriting", ACM TOPLAS, 16, n.3, 493-523, (May 1994).

[J9] J.R. Kennaway, "Implementing term rewrite languages in Dactl", Th. Comp. Sci., 72, 225-250, (1990). (A revised and expanded version of the paper of the same name in CAAP'88.)

[J8] J.R. Kennaway, "Sequential evaluation strategies for parallel-or and related reduction systems", Annals of Pure and Applied Logic, 43, 31-56, (1989).

[J7] H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep, "LEAN: an intermediate language based on graph rewriting", Parallel Computing, 9, 163-177, 1988/89.

[J6] J.R. Kennaway and M.R. Sleep, "Director strings as combinators", ACM Trans. on Programming Languages and Systems, 10, 602-626, (October 1988).

[J5] J.R. Kennaway, "On 'On graph rewritings'", Th. Comp. Sci., 52, 37-58 (1987).

[J4] J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep, "Dactl: a computational model and compiler target language based on graph reduction", ICL Technical Journal, 5, 509-537 (1987).

[J3] H.P. Barendregt, J.R. Kennaway, J.W. Klop, and M.R. Sleep, "Needed reduction and spine strategies for the lambda calculus", Information and Computation, 75, 191-231 (1987).

[J2] J.R. Kennaway and M.R. Sleep, "Variable abstraction in O(nlogn) space", Information Processing Letters, 24, 343-349 (1987).

[J1] J.R. Kennaway and M.R. Sleep, "Novel architectures for declarative languages", Software and Microsystems, 2, (1983).

Conference papers

[C27] Elliott, R. and Glauert, J.R.W. and Kennaway, J.R., "Developing Techniques to Support Scripted Sign Language Performance by a Virtual Human", In 3rd International Conference on UA in HCI, vol. 8: Universal Access in HCI: Exploring New Dimensions of Diversity, Las Vegas, Nevada, USA, pp. in HCII 2005.

[C26] Elliott, R. and Glauert, J.R.W. and Kennaway, J.R., "A Framework for Non-Manual Gestures in a Synthetic Signing System", In 2nd Cambridge Workshop on Universal Access and Assistive Technology, CWUAAT, Eds. Keates, S. and Clarkson, P.J. and Langdon, P. and Robinson, P., Cambridge, UK, pp. 127-136, 2004.

[C25] Elliott, R. and Glauert, J.R.W. and Jennings, V. and Kennaway, J.R., "An Overview of the SiGML Notation and SiGMLSigning Software System", In Fourth International Conference on Language Resources and Evaluation, LREC 2004, Eds. Streiter, O. and Vettori, C., Lisbon, Portugal, pp. 98-104, 2004.

[C24] Glauert, J.R.W. and Kennaway, J.R. and Elliott, R. and Theobald, B.J., "Virtual Human Signing as Expressive Animation", In Symposium on Language, Speech and Gesture for Expressive Characters, University of Leeds, pp. 98-106, 2004.

[C23] J.R. Kennaway, "Experience with and requirements for a gesture description language for synthetic animation", 5th International Workshop on Gesture and Sign Language Based Human-Computer Interaction, Genova, Italy (2003). Lecture Notes in Artificial Intelligence vol. 2915, pp. 300-311, (eds. Antonio Camurri and Gualtiero Volpe). (Online.)

[C22] J.R. Kennaway, Z. Khasidashvili, and A. Piperno, "Static analysis of modularity of beta-reduction in the hyperbalanced lambda-calculus", to be presented at the RTA 2002 conference. Proc. Rewriting Techniques and Applications, LNCS 2378, pp. 51-65, 2002..

[C21] J.R. Kennaway, "Synthetic animation of deaf signing gestures", 4th International Workshop on Gesture and Sign Language Based Human-Computer Interaction, London (2001). Lecture Notes in Artificial Intelligence vol. 2298, pp. 146-157, (eds. Ipke Wachsmuth and Timo Sowa). (Online.)

[C21] R. Elliott, J.R.W. Glauert, J.R. Kennaway, and I. Marshall, "The development of language support for the ViSiCAST project", 4th Int. ACM SIGCAPH Conference on Assistive Technologies (ASSETS 2000), Washington DC. (2000).

[C20] Sue Haines, J.R. Kennaway, and M.R. Sleep, "Visualisation techniques for event stream analysis", Eurographics UK Chapter 15th Annual Conference, Norwich (1997).

[C19] J.R. Kennaway, F.J. de Vries, and V. van Oostrom, "Meaningless terms in rewriting", Fifth International Conference on Algebraic and Logic Programming, Aachen, (1996). LNCS 1139, 254-268, (Springer-Verlag, 1996).

[C18] J.R. Kennaway, "Transfinite rewriting", International School on Type Theory and Term Rewriting, Glasgow, (1996). (Invited survey paper.)

[C17] S. Byun, J.R. Kennaway, and M.R. Sleep, "Lambda-definable Term Rewriting Systems". Proc. 1996 Asian Computing Science Conference. Lecture Notes in Computing Science vol. 1179, 106-115. (Online.)

[C16] S. Byun, J.R. Kennaway, and M.R. Sleep, "Transformation of Orthogonal Term Rewriting Systems". 1995 Asian Computing Science Conference, Thailand, 11-13 December 1995. Lecture Notes in Computing Science vol. 1023, 73-87.

[C15] J.R. Kennaway, "A Conflict Between Call-by-Need Computation and Parallelism". Proc. Workshop on Conditional Term Rewriting Systems, Jerusalem, 1994. LNCS 968, 247-261, (Springer-Verlag, 1995).

[C14] J.R. Kennaway, "Complete term rewrite systems for decimal arithmetic and other total recursive functions". 2nd International Workshop on Termination, La Bresse, 29-31 May 1995 (unrefereed).

[C13] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Infinitary lambda calculus and Bohm models". Proc. Conference on Rewriting Techniques and Applications, Kaiserslautern, April 1995. LNCS 914, 257-270, (Springer-Verlag, 1995).

[C12] Z. Ariola, J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Syntactic definitions of undefined: On defining the undefined", Int. Symp. on Theoretical Aspects of Computer Software, Sendai, (1994). LNCS 789, 543-554, (Springer-Verlag, 1994).

[C11] J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep, "DACTL: an experimental graph rewriting language", in Proc. Int. Workshop on Graph Grammars and their Application to Computer Science, Bremen, LNCS 532, 378-395, (Springer-Verlag, 1991).

[C10] J.R. Kennaway, "Graph rewriting in some categories of partial morphisms", in Proc. Int. Workshop on Graph Grammars and their Application to Computer Science, Bremen, LNCS 532, 490-504, (Springer-Verlag, 1991).

[C9] J.R. Kennaway, "The specificity rule for lazy pattern-matching in ambiguous term rewrite systems", Proc. 3rd European Symposium on Programming, 256-270, (1990). LNCS vol.432.

[C8] J.R.W. Glauert, K. Hammond, J.R. Kennaway, and G.A. Papadopoulos, "Using DACTL to implement declarative languages", in Proc. CONPAR Conference, pp.116-124, (B.C.S., 1988).

[C7] J.R. Kennaway, "Correctness of an implementation of functional Dactl by parallel rewriting", in Proc. UK IT 88 Conference, 254-257, (I.E.E./British Computer Society, 1988).

[C6] J.R. Kennaway, "Implementing term rewrite languages in Dactl", in Proc. Colloquium on Trees and Algebra in Programming, eds. M. Dauchet and M. Nivat, pp 102-116, (Springer-Verlag, 1988). Superceded by the expanded version in Th.Comp.Sci. (see [J9]).

[C5] H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep, "Towards an intermediate language based on graph rewriting", in Proc. Parallel Architectures and Languages Europe, LNCS 259, 159-175 (1987).

[C4] H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep, "Term graph rewriting", in Proc. Parallel Architectures and Languages Europe, LNCS 259, 141-158 (1987).

[C3] J.R. Kennaway and M.R. Sleep, "Syntax and informal semantics of DyNe", in The Analysis of Concurrent Systems, LNCS 207, 222-230 (1985).

[C2] J.R. Kennaway and M.R. Sleep, "Expressions as processes", Proc. ACM Symposium on Lisp and Functional Programming, 21-28, (1982).

[C1] J.R. Kennaway and C.A.R. Hoare, "A theory of nondeterminism", Proc. 5th International Colloquium on Automata, Languages and Programming, 338-350, (1980).

Books and book chapters

[B8] J.R. Kennaway, P. Severi, M.R. Sleep, and F.J. de Vries, "Infinitary rewriting: from syntax to semantics", In Process, Terms, and Cycles: Steps on the Road to Infinity (Essays dedicated to Jan Willem Klop on the Occasion of his 60th Birthday), eds. Middeldorp, van Oostrom, van Raamsdonk, and de Vrijer, (LNCS vol.3838), 2005.

[B7] J.R. Kennaway and F.J. de Vries, "Infinitary rewriting", In Term Rewriting Systems, eds. Bezem, Klop, and de Vrijer, (Cambridge Tracts in Theoretical Computer Science vol. 55), 2003.

[B6] M.R. Sleep, M.J. Plasmeijer, and M.C.J.D. van Eekelen (eds.), Term Graph Rewriting: Theory and Practice, (Wiley, 1993). I co-authored four chapters of this book: references [B4] and [B5], and two other chapters subsumed by journal papers [J10] and [J11].

[B5] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "Event structures and orthogonal term graph rewriting". Chapter 11, pp.141-155 of [B6].

[B4] J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries, "An introduction to term graph rewriting". Chapter 1, pp.1-13 of [B6].

[B3] J.R. Kennaway and M.R. Sleep, "The language first approach" (pp.111-124) and "Towards a successor to von Neumann" (pp.125-138), in Chambers, Duce, and Jones (eds.) Distributed Computing, (Academic Press, 1984). The former was also reprinted in "Dataflow and Reduction Architectures", ed. S. Thakkar (IEEE Computer Society, 1987).

[B2] J.R. Kennaway and M.R. Sleep, "The zero assignment parallel processor (ZAPP) project", in D. Duce (ed.) Distributed Computing Systems Programme, (Peter Peregrinus for I.E.E, 1984).

[B1] J.R. Kennaway, Formal semantics of parallelism and nondeterminism, D.Phil. thesis, 106pp., University of Oxford, 1981.

Unrefereed technical reports not superceded by other publications

[U3] J.R. Kennaway, "Avatar-independent scripting for real-time gesture animation", (March, 2005). (Online.)

[U2] J.R. Kennaway, "On transfinite abstract reduction systems", Report CS-R9205, 12pp., CWI, (Amsterdam, 1992).

[U1] J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep, "Specification of Dactl", 62pp., University of East Anglia, (1988).

Unpublished notes

[X1] J.R. Kennaway, "Population statistics cannot be used for reliable individual prediction" (Online.)

[X2] J.R. Kennaway, "Information has non-negative expected utility" March 2012. (Online.)


Last updated 20 March 2006.

Richard Kennaway, jrk@cmp.uea.ac.uk