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 |