Richard Kennaway

Publication Activity (10 Years)

Years Active: 1980-2015
Publications (10 Years): 0

Top Topics

Continuous Stream

Facial Animation

Real Time Rendering

Top Venues

Publications

Richard Kennaway
Avatar-independent scripting for real-time gesture animation. CoRR (2015)
Richard Kennaway, Enrico Coen, Amelia Green, Andrew Bangham
Generation of Diverse Biological Forms through Combinatorial Interactions between Tissue Polarity and Growth. PLoS Comput. Biol. 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. Univers. Access Inf. Soc. 6 (4) (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)
Richard Kennaway
Experience with and Requirements for a Gesture Description Language for Synthetic Animation. Gesture Workshop (2003)
Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA (2002)
Richard Kennaway
Synthetic Animation of Deaf Signing Gestures. Gesture Workshop (2001)
John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili
Stable results and relative normalization. J. Log. Comput. 10 (3) (2000)
Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall
The development of language processing support for the ViSiCAST project. ASSETS (2000)
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. J. Funct. Log. Program. 1999 (1) (1999)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculus. Theor. Comput. Sci. 175 (1) (1997)
John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep
Dactl: an experimental graph rewriting language. J. Program. Lang. 5 (1) (1997)
David Clark, Richard Kennaway
Event Structures and Non-Orthogonal Term Graph Rewriting. Math. Struct. Comput. Sci. 6 (6) (1996)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21 (1) (1996)
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. ALP (1996)
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
Lambda-Definable Term rewriting Systems. ASIAN (1996)
Richard Kennaway
Infinitary rewriting and cyclic graphs. Electron. Notes Theor. Comput. Sci. 2 (1995)
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
Transformation of Orthogonal Term Rewriting Systems. ASIAN (1995)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculi and Böhm Models. RTA (1995)
David Clark, Richard Kennaway
Some properties of non-orthogonal term graph rewriting systems. Electron. Notes Theor. Comput. Sci. 2 (1995)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems Inf. Comput. 119 (1) (1995)
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)
Richard Kennaway
A Conflict Between Call-by-Need Computation and Parallelism. CTRS (1994)
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) (1994)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA (1991)
John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
Dactl: An Experimental Graph Rewriting Language. Graph-Grammars and Their Application to Computer Science (1990)
Richard Kennaway
Graph Rewriting in Some Categories of Partial Morphisms. Graph-Grammars and Their Application to Computer Science (1990)
Richard Kennaway
Implementing Term Rewrite Languages in Dactl. Theor. Comput. Sci. 72 (2&3) (1990)
Richard Kennaway
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. ESOP (1990)
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 Comput. 9 (2) (1989)
Richard Kennaway
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. Ann. Pure Appl. Log. 43 (1) (1989)
Richard Kennaway
Implementing Term Rewritin Languages in Dactl. CAAP (1988)
Richard Kennaway
On "On Graph Rewritings" (Corrigendum). Theor. Comput. Sci. 61 (1988)
Richard Kennaway, M. Ronan Sleep
Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10 (4) (1988)
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)
Richard Kennaway, M. Ronan Sleep
Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24 (5) (1987)
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
Needed Reduction and Spine Strategies for the Lambda Calculus Inf. Comput. 75 (3) (1987)
Richard Kennaway
On "On Graph Rewritings". Theor. Comput. Sci. 52 (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)
Richard Kennaway, M. Ronan Sleep
Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems (1983)
Richard Kennaway, M. Ronan Sleep
Parallel implementation of functional languages. ICPP (1982)
Richard Kennaway, M. Ronan Sleep
Applicative Objects as Processes. ICDCS (1982)
Richard Kennaway, M. Ronan Sleep
Expressions as Processes. Symposium on LISP and Functional Programming (1982)
Richard Kennaway, C. A. R. Hoare
A Theory of Nondeterminism. ICALP (1980)