Richard Kennaway

45 papers A* 1A 3B 1Journal 20Unranked 20
YearRankTypeTitle / Venue / Authors
2015 J jnl
Avatar-independent scripting for real-time gesture animation.
CoRR
Richard Kennaway
2011 J jnl
Generation of Diverse Biological Forms through Combinatorial Interactions between Tissue Polarity and Growth.
PLoS Comput. Biol.
Richard Kennaway, Enrico Coen, Amelia Green, Andrew Bangham
2008 J jnl
Linguistic modelling and language-processing technologies for Avatar-based sign language presentation.
Univers. Access Inf. Soc.
Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall, Éva Sáfár
2007 J jnl
Providing signed content on the Internet by synthesized animation.
ACM Trans. Comput. Hum. Interact.
Richard Kennaway, John R. W. Glauert, I. Zwitserlood
2005 — conf
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles
Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
2003 — conf
Experience with and Requirements for a Gesture Description Language for Synthetic Animation.
Gesture Workshop
Richard Kennaway
2002 — conf
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
RTA
Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
2001 — conf
Synthetic Animation of Deaf Signing Gestures.
Gesture Workshop
Richard Kennaway
2000 J jnl
Stable results and relative normalization.
J. Log. Comput.
John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili
2000 A conf
The development of language processing support for the ViSiCAST project.
ASSETS
Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall
1999 J jnl
Meaningless Terms in Rewriting.
J. Funct. Log. Program.
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
1997 J jnl
Dactl: an experimental graph rewriting language.
J. Program. Lang.
John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep
1997 J jnl
Infinitary Lambda Calculus.
Theor. Comput. Sci.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996 J jnl
Comparing Curried and Uncurried Rewriting.
J. Symb. Comput.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996 J jnl
Event Structures and Non-Orthogonal Term Graph Rewriting.
Math. Struct. Comput. Sci.
David Clark, Richard Kennaway
1996 — conf
Lambda-Definable Term rewriting Systems.
ASIAN
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1996 — conf
Meaningless Terms in Rewriting.
ALP
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
1995 — conf
Infinitary Lambda Calculi and Böhm Models.
RTA
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995 — conf
Infinitary rewriting and cyclic graphs.
SEGRAGRA
Richard Kennaway
1995 — conf
Some properties of non-orthogonal term graph rewriting systems.
SEGRAGRA
David Clark, Richard Kennaway
1995 J jnl
Transfinite Reductions in Orthogonal Term Rewriting Systems
Inf. Comput.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995 — conf
Transformation of Orthogonal Term Rewriting Systems.
ASIAN
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1994 — conf
A Conflict Between Call-by-Need Computation and Parallelism.
CTRS
Richard Kennaway
1994 J jnl
On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
ACM Trans. Program. Lang. Syst.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1994 — conf
Syntactic Definitions of Undefined: On Defining the Undefined.
TACS
Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1991 — conf
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).
RTA
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1990 — conf
Dactl: An Experimental Graph Rewriting Language.
Graph-Grammars and Their Application to Computer Science
John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1990 — conf
Graph Rewriting in Some Categories of Partial Morphisms.
Graph-Grammars and Their Application to Computer Science
Richard Kennaway
1990 J jnl
Implementing Term Rewrite Languages in Dactl.
Theor. Comput. Sci.
Richard Kennaway
1990 A conf
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.
ESOP
Richard Kennaway
1989 J jnl
LEAN: an intermediate language based on graph rewriting.
Parallel Comput.
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1989 J jnl
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems.
Ann. Pure Appl. Log.
Richard Kennaway
1988 J jnl
Director Strings as Combinators.
ACM Trans. Program. Lang. Syst.
Richard Kennaway, M. Ronan Sleep
1988 — conf
Implementing Term Rewritin Languages in Dactl.
CAAP
Richard Kennaway
1988 J jnl
On "On Graph Rewritings" (Corrigendum).
Theor. Comput. Sci.
Richard Kennaway
1987 J jnl
Needed Reduction and Spine Strategies for the Lambda Calculus
Inf. Comput.
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
1987 J jnl
On "On Graph Rewritings".
Theor. Comput. Sci.
Richard Kennaway
1987 — conf
Term Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987 — conf
Towards an Intermediate Language based on Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987 J jnl
Variable Abstraction in O(n log n) Space.
Inf. Process. Lett.
Richard Kennaway, M. Ronan Sleep
1983 — conf
Syntax and informal semantics of DyNe, a parallel language.
The Analysis of Concurrent Systems
Richard Kennaway, M. Ronan Sleep
1982 A conf
Applicative Objects as Processes.
ICDCS
Richard Kennaway, M. Ronan Sleep
1982 — conf
Expressions as Processes.
Symposium on LISP and Functional Programming
Richard Kennaway, M. Ronan Sleep
1982 B conf
Parallel implementation of functional languages.
ICPP
Richard Kennaway, M. Ronan Sleep
1980 A* conf
A Theory of Nondeterminism.
ICALP
Richard Kennaway, C. A. R. Hoare