| 2008 |
|---|
| 43 | EE | 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) |
| 2007 |
|---|
| 42 | EE | 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) |
| 2005 |
|---|
| 41 | EE | Richard Kennaway,
Paula Severi,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles 2005: 148-172 |
| 2003 |
|---|
| 40 | EE | Richard Kennaway:
Experience with and Requirements for a Gesture Description Language for Synthetic Animation.
Gesture Workshop 2003: 300-311 |
| 2002 |
|---|
| 39 | EE | Richard Kennaway,
Zurab Khasidashvili,
Adolfo Piperno:
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
RTA 2002: 51-65 |
| 2001 |
|---|
| 38 | EE | Richard Kennaway:
Synthetic Animation of Deaf Signing Gestures.
Gesture Workshop 2001: 146-157 |
| 2000 |
|---|
| 37 | EE | Ralph Elliott,
John R. W. Glauert,
Richard Kennaway,
Ian Marshall:
The development of language processing support for the ViSiCAST project.
ASSETS 2000: 101-108 |
| 36 | | John R. W. Glauert,
Richard Kennaway,
Zurab Khasidashvili:
Stable results and relative normalization.
J. Log. Comput. 10(3): 323-348 (2000) |
| 1999 |
|---|
| 35 | | Richard Kennaway,
Vincent van Oostrom,
Fer-Jan de Vries:
Meaningless Terms in Rewriting.
Journal of Functional and Logic Programming 1999(1): (1999) |
| 1997 |
|---|
| 34 | EE | 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) |
| 33 | EE | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculus.
Theor. Comput. Sci. 175(1): 93-125 (1997) |
| 1996 |
|---|
| 32 | | Richard Kennaway,
Vincent van Oostrom,
Fer-Jan de Vries:
Meaningless Terms in Rewriting.
ALP 1996: 254-268 |
| 31 | | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Lambda-Definable Term rewriting Systems.
ASIAN 1996: 106-115 |
| 30 | | 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) |
| 29 | | David Clark,
Richard Kennaway:
Event Structures and Non-Orthogonal Term Graph Rewriting.
Mathematical Structures in Computer Science 6(6): 545-578 (1996) |
| 1995 |
|---|
| 28 | | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems.
ASIAN 1995: 73-87 |
| 27 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models.
RTA 1995: 257-270 |
| 26 | EE | Richard Kennaway:
Infinitary rewriting and cyclic graphs.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 25 | EE | David Clark,
Richard Kennaway:
Some properties of non-orthogonal term graph rewriting systems.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 24 | | 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) |
| 1994 |
|---|
| 23 | | Richard Kennaway:
A Conflict Between Call-by-Need Computation and Parallelism.
CTRS 1994: 247-261 |
| 22 | | 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 |
| 21 | EE | 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) |
| 1991 |
|---|
| 20 | | 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 |
| 1990 |
|---|
| 19 | | Richard Kennaway:
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.
ESOP 1990: 256-270 |
| 18 | | 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 |
| 17 | | Richard Kennaway:
Graph Rewriting in Some Categories of Partial Morphisms.
Graph-Grammars and Their Application to Computer Science 1990: 490-504 |
| 16 | | Richard Kennaway:
Implementing Term Rewrite Languages in Dactl.
Theor. Comput. Sci. 72(2&3): 225-249 (1990) |
| 1989 |
|---|
| 15 | | Richard Kennaway:
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems.
Ann. Pure Appl. Logic 43(1): 31-56 (1989) |
| 14 | | 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) |
| 1988 |
|---|
| 13 | | Richard Kennaway:
Implementing Term Rewritin Languages in Dactl.
CAAP 1988: 102-116 |
| 12 | EE | Richard Kennaway,
M. Ronan Sleep:
Director Strings as Combinators.
ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988) |
| 11 | | Richard Kennaway:
On ``On Graph Rewritings'' (Corrigendum).
Theor. Comput. Sci. 61: 317-320 (1988) |
| 1987 |
|---|
| 10 | | 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 |
| 9 | | 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 |
| 8 | | 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) |
| 7 | | Richard Kennaway,
M. Ronan Sleep:
Variable Abstraction in O(n log n) Space.
Inf. Process. Lett. 24(5): 343-349 (1987) |
| 6 | | Richard Kennaway:
On ``On Graph Rewritings''.
Theor. Comput. Sci. 52: 37-58 (1987) |
| 1983 |
|---|
| 5 | | Richard Kennaway,
M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language.
The Analysis of Concurrent Systems 1983: 222-230 |
| 1982 |
|---|
| 4 | | Richard Kennaway,
M. Ronan Sleep:
Applicative Objects as Processes.
ICDCS 1982: 718-723 |
| 3 | | Richard Kennaway,
M. Ronan Sleep:
Parallel implementation of functional languages.
ICPP 1982: 168-170 |
| 2 | | Richard Kennaway,
M. Ronan Sleep:
Expressions as Processes.
Symposium on LISP and Functional Programming 1982: 21-28 |
| 1980 |
|---|
| 1 | | Richard Kennaway,
C. A. R. Hoare:
A Theory of Nondeterminism.
ICALP 1980: 338-350 |
