dblp.uni-trier.dewww.uni-trier.de

Charles Rattray

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
17EESavi 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
15EEMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit: Formal Specification of Computer-Based Systems. J. UCS 10(10): 1354-1356 (2004)
2003
14EEMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit: Formal Specifications of Computer-Based Systems. ECBS 2003: 169-172
2002
13EEMiroslav Svéda, Charles Rattray, Jerzy W. Rozenblit: Formal Specifications of Computer-Based Systems. ECBS 2002: 224-225
2001
12EEMiroslav Svéda, Charles Rattray: Formal Specifications of Computer-Based Systems. ECBS 2001: 357-358
2000
11EEMiroslav 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

Coauthor Index

1Richard Bland [4]
2James R. Cowie [4]
3Tom Kane [4]
4Savi Maharaj [16] [17]
5Marion Marsden [5]
6Maurice Nivat [6] [8]
7Franz Pichler [11]
8Don Price [2]
9A. C. Reeves [1] [10]
10Jerzy W. Rozenblit [13] [14] [15]
11Teodor Rus [6] [8]
12Giuseppe Scollo [6] [8]
13Carron Shankland [16] [17]
14Miroslav Svéda [11] [12] [13] [14] [15]
15Ian Wilson [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)