Publications
The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958
- Rushby JM, Randell B. A Distributed Secure System.
Computer 1983, 16(7), 55-67.
- Anderson T, Knight JC. A Framework for Software Fault Tolerance in Real-Time Systems.
IEEE Transactions on Software Engineering 1983, (SE-9, 3), 355-364.
- Randell B. A Mysterious Advertisement.
Annals of the History of Computing 1983, 5(1), 60-63.
- Moulding MR, Anderson T. A Revised Scheme for Software Fault Tolerance in MASCOT systems.
Newcastle, 1983. MARI Report A049/DD.4/3.
- Campell RH, Randell B. Error Recovery in Asynchronous Systems.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 186.
- Lee PA. Exception Handling in C Programs.
Software: Practice and Experience 1983, 13(5), 389-405.
- Randell B. Fault Tolerance and System Structuring.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 189.
- Anderson T. IBM: Opportunities and Challenges.
Maidenhead, 1983. Xephon Report.
- Panzieri F, Randell B. Interfacing UNIX to Data Communications Networks.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 190.
- Cottam ID, Jones CB, Nipkow T, Wills AC. Mule: A support system for formal specification and rigorous software development.
In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Mitrani I, King PJB. Multiserver Systems Subject to Breakdowns: An Empirical Study.
IEEE Transactions on Computers 1983, 23(1), 96-98.
- Fayolle G, King PJB, Mitrani I. On the Execution of Programs by Many Processors.
In: Performance '83 Conference. 1983, North-Holland Publishing.
- Chesnais A, Gelenbe E, Mitrani I. On the Modelling of Parallel Access to Shared Data.
Communications of the ACM 1983, 26(3), 196-202.
- Shrivastava SK. On the Treatment of Orphans in a Distributed System.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 188.
- Campbell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems.
In: 3rd IFAC/IFIP Workshop on Safety of Computer Control Systems: Achieving Safe Real Time Computer Systems. 1983, Cambridge: Franklin Book Co.
- Campell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 187.
- Randell B. Recursively Structured Distributed Computer Systems.
In: 3rd IEEE Symposium on Reliability on Distributed Software and Database Systems. 1983, Clearwater Beach, Florida, USA: IEEE Computer Society Press.
- Jones CB. Rigorous design: Some experiments in top-down design.
In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Jones CB. Specification and Design of (Parallel) Programs.
In: 9th IFIP World Computer Congress (Information Processing 83). 1983, Paris, France: North-Holland/IFIP.
- Lee PA. Structuring Software Systems for Fault Tolerance.
In: 4th AIAA Computers in Aerospace Conference. 1983, Hartford, CT, USA: American Institute of Aeronautics and Astronautics.
- Jones CB. Tentative Steps Toward a Development Method for Interfering Programs.
ACM Transactions on Programming Languages and Systems 1983, 5(4), 596-619.
- Fayolle G, Iasnogorodski R, Mitrani I. The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Value Problem.
In: Performance '83 Conference. 1983, University of Maryland, Balitmore, USA: North-Holland Publishing.
- Anderson T, Jackson PR. The Potential for Fault Tolerance within Real Time Embedded Systems.
Stevenage, 1983. British Aerospace Report.
- Anderson T. Tolerating Design Faults in Software.
In: de Ban Van Fout (in Thrall of Error), Afdeling/Sectie Informatictechniek. 1983, Utrecht.