Richard Kennaway

Richard Kennaway, Enrico Coen, Amelia Green, Andrew Bangham: Generation of Diverse Biological Forms through Combinatorial Interactions between Tissue Polarity and Growth. PLoS Computational Biology 7(6) (2011)

Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall, Éva Sáfár: Linguistic modelling and language-processing technologies for Avatar-based sign language presentation. Universal Access in the Information Society 6(4): 375-391 (2008)

Richard Kennaway, John R. W. Glauert, I. Zwitserlood: Providing signed content on the Internet by synthesized animation. ACM Trans. Comput.-Hum. Interact. 14(3) (2007)

Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172

Richard Kennaway: Experience with and Requirements for a Gesture Description Language for Synthetic Animation. Gesture Workshop 2003: 300-311

Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno: Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA 2002: 51-65

Richard Kennaway: Synthetic Animation of Deaf Signing Gestures. Gesture Workshop 2001: 146-157

John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili: Stable results and relative normalization. J. Log. Comput. 10(3): 323-348 (2000)

Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall: The development of language processing support for the ViSiCAST project. ASSETS 2000: 101-108

Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. Journal of Functional and Logic Programming 1999(1) (1999)

John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep: Dactl: an experimental graph rewriting language. J. Prog. Lang. 5(1): 85-108 (1997)

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997)

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21(1): 15-39 (1996)

David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science 6(6): 545-578 (1996)

Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. ALP 1996: 254-268

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Lambda-Definable Term rewriting Systems. ASIAN 1996: 106-115

David Clark, Richard Kennaway: Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci. 2: 36-45 (1995)

Richard Kennaway: Infinitary rewriting and cyclic graphs. Electr. Notes Theor. Comput. Sci. 2: 153-166 (1995)

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems. Inf. Comput. 119(1): 18-38 (1995)

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Transformation of Orthogonal Term Rewriting Systems. ASIAN 1995: 73-87

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: On the Adequacy of Graph Rewriting for Simulating Term Rewriting. ACM Trans. Program. Lang. Syst. 16(3): 493-523 (1994)

Richard Kennaway: A Conflict Between Call-by-Need Computation and Parallelism. CTRS 1994: 247-261

Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Syntactic Definitions of Undefined: On Defining the Undefined. TACS 1994: 543-554

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA 1991: 1-12

Richard Kennaway: Implementing Term Rewrite Languages in Dactl. Theor. Comput. Sci. 72(2&3): 225-249 (1990)

Richard Kennaway: The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. ESOP 1990: 256-270

John R. W. Glauert, Richard Kennaway, M. Ronan Sleep: Dactl: An Experimental Graph Rewriting Language. Graph-Grammars and Their Application to Computer Science 1990: 378-395

Richard Kennaway: Graph Rewriting in Some Categories of Partial Morphisms. Graph-Grammars and Their Application to Computer Science 1990: 490-504

Richard Kennaway: Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. Ann. Pure Appl. Logic 43(1): 31-56 (1989)

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep: LEAN: an intermediate language based on graph rewriting. Parallel Computing 9(2): 163-177 (1989)

Richard Kennaway: On ``On Graph Rewritings'' (Corrigendum). Theor. Comput. Sci. 61: 317-320 (1988)

Richard Kennaway, M. Ronan Sleep: Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988)

Richard Kennaway: Implementing Term Rewritin Languages in Dactl. CAAP 1988: 102-116

Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep: Needed Reduction and Spine Strategies for the Lambda Calculus. Inf. Comput. 75(3): 191-231 (1987)

Richard Kennaway, M. Ronan Sleep: Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24(5): 343-349 (1987)

Richard Kennaway: On ``On Graph Rewritings''. Theor. Comput. Sci. 52: 37-58 (1987)

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Term Graph Rewriting. PARLE (2) 1987: 141-158

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Towards an Intermediate Language based on Graph Rewriting. PARLE (2) 1987: 159-175

Richard Kennaway, M. Ronan Sleep: Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems 1983: 222-230

Richard Kennaway, M. Ronan Sleep: Applicative Objects as Processes. ICDCS 1982: 718-723

Richard Kennaway, M. Ronan Sleep: Parallel implementation of functional languages. ICPP 1982: 168-170

Richard Kennaway, M. Ronan Sleep: Expressions as Processes. Symposium on LISP and Functional Programming 1982: 21-28

Richard Kennaway, C. A. R. Hoare: A Theory of Nondeterminism. ICALP 1980: 338-350