default search action
Richard Kennaway
Person information
- affiliation: University of East Anglia, Norwich, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [i1]Richard Kennaway:
Avatar-independent scripting for real-time gesture animation. CoRR abs/1502.02961 (2015) - 2014
- [j21]G. W. French, J. Richard Kennaway, A. M. Day:
Programs as visual, interactive documents. Softw. Pract. Exp. 44(8): 911-930 (2014) - 2011
- [j20]Richard Kennaway
, Enrico Coen, Amelia Green
Generation of Diverse Biological Forms through Combinatorial Interactions between Tissue Polarity and Growth. PLoS Comput. Biol. 7(6) (2011)
2000 – 2009
- 2008
- [j19]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): 375-391 (2008) - 2007
- [j18]Richard Kennaway, John R. W. Glauert, I. Zwitserlood:
Providing signed content on the Internet by synthesized animation. ACM Trans. Comput. Hum. Interact. 14(3): 15 (2007) - 2005
- [c25]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
- [c24]Richard Kennaway:
Experience with and Requirements for a Gesture Description Language for Synthetic Animation. Gesture Workshop 2003: 300-311 - 2002
- [c23]Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno:
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA 2002: 51-65 - 2001
- [c22]Richard Kennaway:
Synthetic Animation of Deaf Signing Gestures. Gesture Workshop 2001: 146-157 - 2000
- [j17]John R. W. Glauert, Richard Kennaway
Stable results and relative normalization. J. Log. Comput. 10(3): 323-348 (2000) - [c21]Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall:
The development of language processing support for the ViSiCAST project. ASSETS 2000: 101-108
1990 – 1999
- 1999
- [j16]Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries:
Meaningless Terms in Rewriting. J. Funct. Log. Program. 1999(1) (1999) - 1997
- [j15]John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep:
Dactl: an experimental graph rewriting language. J. Program. Lang. 5(1): 85-108 (1997) - [j14]Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997) - 1996
- [j13]Richard Kennaway
Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21(1): 15-39 (1996) - [j12]David Clark, Richard Kennaway:
Event Structures and Non-Orthogonal Term Graph Rewriting. Math. Struct. Comput. Sci. 6(6): 545-578 (1996) - [c20]Richard Kennaway, Vincent van Oostrom
Meaningless Terms in Rewriting. ALP 1996: 254-268 - [c19]Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Lambda-Definable Term rewriting Systems. ASIAN 1996: 106-115 - 1995
- [j11]Richard Kennaway
Transfinite Reductions in Orthogonal Term Rewriting Systems. Inf. Comput. 119(1): 18-38 (1995) - [c18]Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems. ASIAN 1995: 73-87 - [c17]Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270 - [c16]David Clark
Some properties of non-orthogonal term graph rewriting systems. SEGRAGRA 1995: 36-45 - [c15]Richard Kennaway:
Infinitary rewriting and cyclic graphs. SEGRAGRA 1995: 153-166 - 1994
- [j10]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) - [c14]Richard Kennaway:
A Conflict Between Call-by-Need Computation and Parallelism. CTRS 1994: 247-261 - [c13]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 - 1991
- [c12]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
- [j9]Richard Kennaway
Implementing Term Rewrite Languages in Dactl. Theor. Comput. Sci. 72(2&3): 225-249 (1990) - [c11]Richard Kennaway:
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. ESOP 1990: 256-270 - [c10]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 - [c9]Richard Kennaway:
Graph Rewriting in Some Categories of Partial Morphisms. Graph-Grammars and Their Application to Computer Science 1990: 490-504
1980 – 1989
- 1989
- [j8]Richard Kennaway:
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. Ann. Pure Appl. Log. 43(1): 31-56 (1989) - [j7]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): 163-177 (1989) - 1988
- [j6]Richard Kennaway:
On "On Graph Rewritings" (Corrigendum). Theor. Comput. Sci. 61: 317-320 (1988) - [j5]Richard Kennaway, M. Ronan Sleep:
Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988) - [c8]Richard Kennaway:
Implementing Term Rewritin Languages in Dactl. CAAP 1988: 102-116 - 1987
- [j4]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) - [j3]Richard Kennaway, M. Ronan Sleep:
Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24(5): 343-349 (1987) - [j2]Richard Kennaway:
On "On Graph Rewritings". Theor. Comput. Sci. 52: 37-58 (1987) - [c7]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 - [c6]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 - 1983
- [j1]J. Richard Kennaway, M. Ronan Sleep:
Novel architectures for declarative languages. Softw. Microsystems 2(3): 59-70 (1983) - [c5]Richard Kennaway, M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems 1983: 222-230 - 1982
- [c4]Richard Kennaway, M. Ronan Sleep:
Applicative Objects as Processes. ICDCS 1982: 718-723 - [c3]Richard Kennaway, M. Ronan Sleep:
Parallel implementation of functional languages. ICPP 1982: 168-170 - [c2]Richard Kennaway, M. Ronan Sleep:
Expressions as Processes. Symposium on LISP and Functional Programming 1982: 21-28 - 1980
- [c1]Richard Kennaway, C. A. R. Hoare:
A Theory of Nondeterminism. ICALP 1980: 338-350
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: