Charles Rattray

According to our database, Charles Rattray authored at least 12 papers between 1989 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Preface.

Savi Maharaj, Carron Shankland, Charles Rattray

Theor. Comput. Sci., 2006

2004

Formal Specification of Computer-Based Systems.

Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit

J. Univers. Comput. Sci., 2004

2003

Formal Specifications of Computer-Based Systems.

Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2001

Formal Specifications of Computer-Based Systems.

Miroslav Svéda, Charles Rattray

Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.

Miroslav Svéda, Franz Pichler, Charles Rattray

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

A Sketch-Based Technique for the Derivation of Self-Interpreters.

A. C. Reeves, Charles Rattray

Comput. Lang., 1999

1995

Identification and Recognition through Shape in Complex Systems.

Charles Rattray

Proceedings of the Computer Aided Systems Theory, 1995

1993

The Shape of Complex Systems.

Charles Rattray

Proceedings of the Computer Aided Systems Theory, 1993

1991

Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk Project.

Richard Bland, James R. Cowie, Tom Kane, Charles Rattray, Ian Wilson

Proceedings of the Next Generation of Information Systems: From Data to Knowledge, 1991

Object Identification and Retrieval in a CAST Library.

Charles Rattray, Marion Marsden

Proceedings of the Computer Aided Systems Theory, 1991

1989

Sketching a Constructive Definition of 'mix'.

A. C. Reeves, Charles Rattray

Proceedings of the Functional Programming, 1989

Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design.

Charles Rattray, Don Price

Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989