|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Savi Maharaj, Carron Shankland, Charles Rattray |
Preface.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specification of Computer-Based Systems. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Charles Rattray, Savi Maharaj, Carron Shankland (eds.) |
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings |
AMAST |
2004 |
DBLP BibTeX RDF |
|
| 1 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specifications of Computer-Based Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specifications of Computer-Based Systems. (PDF / PS) |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Formal specifications, Workshop, Computer-based systems |
| 1 | Miroslav Svéda, Charles Rattray |
Formal Specifications of Computer-Based Systems. (PDF / PS) |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Svéda, Franz Pichler, Charles Rattray |
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Reeves, Charles Rattray |
A Sketch-Based Technique for the Derivation of Self-Interpreters. |
Comput. Lang. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Rattray |
Identification and Recognition through Shape in Complex Systems. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
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 |
1994 |
DBLP BibTeX RDF |
|
| 1 | Charles Rattray |
The Shape of Complex Systems. |
EUROCAST |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
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 |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Rattray, Marion Marsden |
Object Identification and Retrieval in a CAST Library. |
EUROCAST |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Rattray (eds.) |
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] |
Specification and Verification of Concurrent Systems |
1990 |
DBLP BibTeX RDF |
|
| 1 | A. C. Reeves, Charles Rattray |
Sketching a Constructive Definition of 'mix'. |
Functional Programming |
1989 |
DBLP BibTeX RDF |
|
| 1 | Charles Rattray, Don Price |
Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design. |
EUROCAST |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")