Charles Rattray

17 papers A 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2006 J jnl
Preface.
Theor. Comput. Sci.
Savi Maharaj, Carron Shankland, Charles Rattray
2004 — ed.
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
AMAST
Charles Rattray, Savi Maharaj, Carron Shankland
2004 J jnl
Formal Specification of Computer-Based Systems.
J. Univers. Comput. Sci.
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
2003 — conf
Formal Specifications of Computer-Based Systems.
ECBS
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
2002 — conf
Formal Specifications of Computer-Based Systems.
ECBS
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
2001 — conf
Formal Specifications of Computer-Based Systems.
ECBS
Miroslav Svéda, Charles Rattray
2000 — conf
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.
ECBS
Miroslav Svéda, Franz Pichler, Charles Rattray
1999 J jnl
A Sketch-Based Technique for the Derivation of Self-Interpreters.
Comput. Lang.
A. C. Reeves, Charles Rattray
1995 — conf
Identification and Recognition through Shape in Complex Systems.
EUROCAST
Charles Rattray
1994 — ed.
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
AMAST
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1993 — conf
The Shape of Complex Systems.
EUROCAST
Charles Rattray
1992 — ed.
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
AMAST
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1991 — conf
Object Identification and Retrieval in a CAST Library.
EUROCAST
Charles Rattray, Marion Marsden
1991 — conf
Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk Project.
The Next Generation of Information Systems
Richard Bland, James R. Cowie, Tom Kane, Charles Rattray, Ian Wilson
1990 — ed.
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]
Specification and Verification of Concurrent Systems
Charles Rattray
1989 A conf
Sketching a Constructive Definition of 'mix'.
Functional Programming
A. C. Reeves, Charles Rattray
1989 — conf
Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design.
EUROCAST
Charles Rattray, Don Price