dblp.uni-trier.dewww.uni-trier.de

Richard Kennaway Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
43EERalph 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
42EERichard 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
41EERichard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172
2003
40EERichard Kennaway: Experience with and Requirements for a Gesture Description Language for Synthetic Animation. Gesture Workshop 2003: 300-311
2002
39EERichard Kennaway, Zurab Khasidashvili, Adolfo Piperno: Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA 2002: 51-65
2001
38EERichard Kennaway: Synthetic Animation of Deaf Signing Gestures. Gesture Workshop 2001: 146-157
2000
37EERalph 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
34EEJohn 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)
33EERichard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997)
1996
32EERichard 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
27EERichard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270
26EERichard Kennaway: Infinitary rewriting and cyclic graphs. Electr. Notes Theor. Comput. Sci. 2: (1995)
25EEDavid 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
21EERichard 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
20EERichard 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
19EERichard 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
13EERichard Kennaway: Implementing Term Rewritin Languages in Dactl. CAAP 1988: 102-116
12EERichard 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
10EEHendrik 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
9EEHendrik 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
1EERichard Kennaway, C. A. R. Hoare: A Theory of Nondeterminism. ICALP 1980: 338-350

Coauthor Index

1Zena M. Ariola [22]
2Hendrik Pieter Barendregt (Henk Barendregt) [8] [9] [10] [14]
3Sugwoo Byun [28] [31]
4David Clark [25] [29]
5Marko C. J. D. van Eekelen [9] [10] [14]
6Ralph Elliott [37] [43]
7John R. W. Glauert [9] [10] [14] [18] [34] [36] [37] [42] [43]
8C. A. R. Hoare (Tony Hoare) [1]
9Zurab Khasidashvili [36] [39]
10Jan Willem Klop [8] [20] [21] [22] [24] [27] [30] [33]
11Ian Marshall [37] [43]
12Vincent van Oostrom [32] [35]
13George Angelos Papadopoulos (George A. Papadopoulos) [34]
14Adolfo Piperno [39]
15Marinus J. Plasmeijer (Rinus Plasmeijer) [9] [10] [14]
16Éva Sáfár [43]
17Paula Severi [41]
18M. Ronan Sleep [2] [3] [4] [5] [7] [8] [9] [10] [12] [14] [18] [20] [21] [22] [24] [27] [28] [30] [31] [33] [34] [41]
19Fer-Jan de Vries [20] [21] [22] [24] [27] [30] [32] [33] [35] [41]
20I. Zwitserlood [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)