Charles Rattray - researchr alias

researchr

You are not signed in
Sign in
Sign up

2006

PrefaceSavi Maharaj, Carron Shankland, Charles Rattray. TCS, 351(2):129-130, 2006. [doi]

2004

Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, ProceedingsCharles Rattray, Savi Maharaj, Carron Shankland, editors, Volume 3116 of Lecture Notes in Computer Science, Springer, 2004.

Formal Specification of Computer-Based SystemsMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit. jucs, 10(10):1354-1356, 2004. [doi]

2003

Formal Specifications of Computer-Based SystemsMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit. ECBS 2003: 169-172 [doi]

2002

Formal Specifications of Computer-Based SystemsMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit. ECBS 2002: 224-225 [doi]

2001

Formal Specifications of Computer-Based SystemsMiroslav Svéda, Charles Rattray. ECBS 2001: 357-358 [doi]

2000

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based SystemsMiroslav Svéda, Franz Pichler, Charles Rattray. ECBS 2000: 382-382 [doi]

1999

A Sketch-Based Technique for the Derivation of Self-InterpretersA. C. Reeves, Charles Rattray. Comp. Lang., Syst. \& Struct., 25(1):1-37, 1999.

1995

Identification and Recognition through Shape in Complex SystemsCharles Rattray. eurocast 1996: 19-29

1994

Algebraic Methodology and Software Technology (AMAST 93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Workshops in Computing, Springer, 1994.

1993

The Shape of Complex SystemsCharles Rattray. eurocast 1994: 72-82

1992

Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Workshops in Computing, Springer, 1992.

1991

Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk ProjectRichard Bland, James R. Cowie, Tom Kane, Charles Rattray, Ian Wilson. IJCAI 1992: 134-147

Object Identification and Retrieval in a CAST LibraryCharles Rattray, Marion Marsden. eurocast 1992: 153-172

1990

Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]Charles Rattray, editor, Workshops in Computing, Springer, 1990.

1989

Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems DesignCharles Rattray, Don Price. eurocast 1990: 95-110

Sketching a Constructive Definition of mix A. C. Reeves, Charles Rattray. fp 1990: 118-132