| 2006 |
|---|
| 17 | EE | Savi Maharaj,
Carron Shankland,
Charles Rattray:
Preface.
Theor. Comput. Sci. 351(2): 129-130 (2006) |
| 2004 |
|---|
| 16 | | Charles Rattray,
Savi Maharaj,
Carron Shankland:
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Springer 2004 |
| 15 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specification of Computer-Based Systems.
J. UCS 10(10): 1354-1356 (2004) |
| 2003 |
|---|
| 14 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems.
ECBS 2003: 169-172 |
| 2002 |
|---|
| 13 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems.
ECBS 2002: 224-225 |
| 2001 |
|---|
| 12 | EE | Miroslav Svéda,
Charles Rattray:
Formal Specifications of Computer-Based Systems.
ECBS 2001: 357-358 |
| 2000 |
|---|
| 11 | EE | Miroslav Svéda,
Franz Pichler,
Charles Rattray:
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.
ECBS 2000: 382-382 |
| 1999 |
|---|
| 10 | | A. C. Reeves,
Charles Rattray:
A Sketch-Based Technique for the Derivation of Self-Interpreters.
Comput. Lang. 25(1): 1-37 (1999) |
| 1995 |
|---|
| 9 | | Charles Rattray:
Identification and Recognition through Shape in Complex Systems.
EUROCAST 1995: 19-29 |
| 1994 |
|---|
| 8 | | Maurice Nivat,
Charles Rattray,
Teodor Rus,
Giuseppe Scollo:
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, 1993
Springer 1994 |
| 1993 |
|---|
| 7 | | Charles Rattray:
The Shape of Complex Systems.
EUROCAST 1993: 72-82 |
| 1992 |
|---|
| 6 | | Maurice Nivat,
Charles Rattray,
Teodor Rus,
Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Springer 1992 |
| 1991 |
|---|
| 5 | | Charles Rattray,
Marion Marsden:
Object Identification and Retrieval in a CAST Library.
EUROCAST 1991: 153-172 |
| 4 | | Richard Bland,
James R. Cowie,
Tom Kane,
Charles Rattray,
Ian Wilson:
Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk Project.
The Next Generation of Information Systems 1991: 134-147 |
| 1990 |
|---|
| 3 | | Charles Rattray:
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]
Springer 1990 |
| 1989 |
|---|
| 2 | | Charles Rattray,
Don Price:
Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design.
EUROCAST 1989: 95-110 |
| 1 | | A. C. Reeves,
Charles Rattray:
Sketching a Constructive Definition of 'mix'.
Functional Programming 1989: 118-132 |
