PhD Theses
We are presently compiling a comprehensive online record of all theses produced by the school over the period 1966-present. The list below represents the ongoing progress. Full texts are available for many of the theses: this is indicated by a PDF icon at the end of each listing.
2013
Back to the top
- Abdelsadiq, A.
A Toolkit for Model Checking of Electronic Contracts. School of Computing Science, University of Newcastle upon Tyne, 2013
- Mohamed, E. E. T.
Designing and evaluating a user interface for continuous embedded lifelogging based on physical context. School of Computing Science, University of Newcastle upon Tyne, 2013
- Zakaria, N. H.
Exploring Human Factors Issues & Possible Countermeasures in Password Authentication. School of Computing Science, University of Newcastle upon Tyne, 2013
- Cao, H.
Crossmodal Displays: Coordinated Crossmodal Cues for Information Provision in Public Spaces. School of Computing Science, University of Newcastle upon Tyne, 2013
- Misirli, G.
Data Integration Strategies for Informing Computational Design in Synthetic Biology. School of Computing Science, University of Newcastle upon Tyne, 2013
- Younes, O.
Modelling and Performance Analysis of Mobile Ad Hoc Networks. School of Computing Science, University of Newcastle upon Tyne, 2013
- Mortimer, D.
Middleware to Support Accountability of Business to Business Interactions. School of Computing Science, University of Newcastle upon Tyne, 2013
- Al-Tuwaijari, J.
Generic Business Process Modelling Framework for Quantitative Evaluation. School of Computing Science, University of Newcastle upon Tyne, 2013
- Bhattacharyya, A.
Formal Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. School of Computing Science, University of Newcastle upon Tyne, 2013
2012
Back to the top
- Bukhari, F
. Maintaining Consistency in Client-Server Database Systems with Client-Side Caching. School of Computing Science, University of Newcastle upon Tyne, 2012
- Lister, A.
Enhancing Systems Biology Models Through Semantic Data Integration. School of Computing Science, University of Newcastle upon Tyne, 2012
- Farj, K. A. S.
Fault Injection Testing Method of Software Implemented Fault Tolerance Mechanisms of Web Service Systems. School of Computing Science, University of Newcastle upon Tyne, 2012
- Clarke, D.
Enhancing intrusion resilience in publicly accessible distributed systems. School of Computing Science, University of Newcastle upon Tyne, 2012
- Lamprecht, C.
Adaptive Security. School of Computing Science, University of Newcastle upon Tyne, 2012
- Payne, R. J.
Verifiable Resilience in Architectural Reconfiguration. School of Computing Science, University of Newcastle upon Tyne, 2012
- He, Y.
Data Hovering Algorithm for Improving Data Retention and Data Quality in Energy-Constrained Mobile Wireless Sensor Networks. School of Computing Science, University of Newcastle upon Tyne, 2012
- Andrews, Z.
Continuous Probability Distributions in Model-Based Specification Languages. School of Computing Science, University of Newcastle upon Tyne, 2012
- Pham, C.
Human Activity Recognition for Pervasive Interaction. School of Computing Science, University of Newcastle upon Tyne, 2012
2011
Back to the top
- Hughes, J. R. D.
Reasoning about Programs using Operational Semantics and the Role of a Proof Support Tool. School of Computing Science, University of Newcastle upon Tyne, 2011

- Zhao, Y.
Practical Applications of Performance Modelling of Security Protocols Using PEPA. School of Computing Science, University of Newcastle upon Tyne, 2011

- Alekeish, K.
Design and performance study of algorithms for consensus in sparse, mobile ad-hoc networks. School of Computing Science, University of Newcastle upon Tyne, 2011

- Gamble, C.
Design time detection of architectural mismatches in service oriented architectures. School of Computing Science, University of Newcastle upon Tyne, 2011

- de Leusse, P.
Secured System for Rapid Composition of Infrastructure Services. School of Computing Science, University of Newcastle upon Tyne, 2011
- Ingram, C.
Using Requirements and Design Information to Predict Volatility in Software Development. School of Computing Science, University of Newcastle upon Tyne, 2011
- Yusoff, M. H.
E-Learning - web teaching and learning. School of Computing Science, University of Newcastle upon Tyne, 2011
- Hamhoum, F. A. A.
Situated Navigation Support for Heterogeneous Large Crowds via Augmented Signage. School of Computing Science, University of Newcastle upon Tyne, 2011
2010
Back to the top
- Smith, C.
Uncertainty in Service Provisioning Relationships. School of Computing Science, University of Newcastle upon Tyne, 2010

- Flanagan, K.
A Grid and Cloud-based framework for high throughput bioinformatics. School of Computing Science, University of Newcastle upon Tyne, 2010

- Strano, M.
Contract Specification for Compliance Checking of Business Interactions. School of Computing Science, University of Newcastle upon Tyne, 2010

- Kharrufa, A. N. S.
Digital Tabletops and Collaborative Learning. School of Computing Science, University of Newcastle upon Tyne, 2010

2009
Back to the top
- Pierce, K.G.
Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement. School of Computing Science, University of Newcastle upon Tyne, 2009

- Mazzucco, M.
Revenue Maximization Problems in Commercial Data Centers. School of Computing Science, University of Newcastle upon Tyne, 2009

- Andreou, M.
Message Traceback Systems Dancing with the Devil. School of Computing Science, University of Newcastle upon Tyne, 2009
- Alkazemi, B.Y.
Exploiting the Architectural Characteristics of Software Components to Improve Software Re-use. School of Computing Science, University of Newcastle upon Tyne, 2009
- Slegers, J.
On Dynamic Resource Allocation in Systems with Bursty Sources. School of Computing Science, University of Newcastle upon Tyne, 2009

- Banks, R. A.
Qualitatively Modelling Genetic Regulatory Networks: Petri Net Techniques and Tools. School of Computing Science, University of Newcastle upon Tyne, 2009
- Shearer, J.
Persuasive Interactive Non-Verbal Behaviour in Embodied Conversational Agents. School of Computing Science, University of Newcastle upon Tyne, 2009

- Wilkinson, R.
Towards Certifiable Reconfigurable Real-time Mission Critical Software Systems. School of Computing Science, University of Newcastle upon Tyne, 2009
2008
Back to the top
- Iliasov, A. Sh.
Design Components. School of Computing Science, University of Newcastle upon Tyne, 2008

- Ellis, M. A.
Correct Synthesis and Integration of Compiler-Generated Function Units. School of Computing Science, University of Newcastle upon Tyne, 2008
- Cooper, D.E.
Encounter Gossip: A High Coverage Broadcast protocol for MANET. School of Computing Science, University of Newcastle upon Tyne, 2008

- Colquhoun, J.
A BitTorrent-Based Peer-to-Peer Database Server. School of Computing Science, University of Newcastle upon Tyne, 2008

- Martin, S.P.
Routing and Transfers Amongst Parallel Queues. School of Computing Science, University of Newcastle upon Tyne, 2008
- Ha, H.N.
Automatic Lighting Design. School of Computing Science, University of Newcastle upon Tyne, 2008

- Aaron, S.
A Domain Specific Language for Dynamic Interest Management within Virtual Environments. School of Computing Science, University of Newcastle upon Tyne, 2008
- Mukherjee, A.
Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid. School of Computing Science, University of Newcastle upon Tyne, 2008

- Coleman, J.W.
Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics. School of Computing Science, University of Newcastle upon Tyne, 2008

- Woodman, S.
A Programming System for Process Coordination in Virtual Organisations. School of Computing Science, University of Newcastle upon Tyne, 2008

- Chen, Y.
WS-Mediator for Improving Dependability of Service Composition. School of Computing Science, University of Newcastle upon Tyne, 2008
2007
Back to the top
- Storey, K.
. Scalable Collision Detection for Distributed Virtual Environments. School of Computing Science, University of Newcastle upon Tyne, 2007
- Ferrari, G.
QoS Control of E-business Systems through Performance Modelling and Estimation. School of Computing Science, University of Newcastle upon Tyne, 2007
- Arkley, P.
Benefits of Traceability in Software Development. School of Computing Science, University of Newcastle upon Tyne, 2007
- Di Ferdinando, A.
Design and Implementation of a QoS-Supportive System for Reliable Multicast. School of Computing Science, University of Newcastle upon Tyne, 2007

- Batarfi, O.A.
Certificate Validation in Untrusted Domains. School of Computing Science, University of Newcastle upon Tyne, 2007
- Tariq, Q.I.
Design and Performance Analysis of Fail-Signal Based Concensus Protocols for Byzantine Faults. School of Computing Science, University of Newcastle upon Tyne, 2007

- Craddock, T.
Integrating distributed post-genomic data to infer the molecular basis of bacterial phenotypes. School of Computing Science, University of Newcastle upon Tyne, 2007
- Shaw, O.J.
Modelling Bacterial Regulatory Networks with Petri Nets. School of Computing Science, University of Newcastle upon Tyne, 2007
- Parkin, S.
Monitoring Middleware for Distributed Applications. School of Computing Science, University of Newcastle upon Tyne, 2007
- Pitsilis, G. K.
Choosing Reputable Resources in Unstructured Peer-to-Peer Networks using Trust Overlays. School of Computing Science, University of Newcastle upon Tyne, 2007
- Lin, N.
System Support for Client-Server Based Interactive Applications in Ad Hoc Networks. School of Computing Science, University of Newcastle upon Tyne, 2007
- Fowler, C.P.
Dynamic Deployment of Web Services on the Internet or Grid. School of Computing Science, University of Newcastle upon Tyne, 2007
2006
Back to the top
- Jefferson, N.
Dependable Compositions: a Formal Approach. School of Computing Science, University of Newcastle upon Tyne, 2006
- Kistijantoro, A.I.
Component replication in application servers. School of Computing Science, University of Newcastle upon Tyne, 2006
- Peacock, T.
Guess My Vote: A Study of Opacity and Information Flow in Voting Systems. School of Computing Science, University of Newcastle upon Tyne, 2006
- Al-Humaidan, F.M.
Evaluation and Development Models for Business Processes. School of Computing Science, University of Newcastle upon Tyne, 2006
- Achmatowicz, R.
Combating State Explosion in the Detection of Dynamic Properties of Distributed Computations. School of Computing Science, University of Newcastle upon Tyne, 2006
- Dwiartanto, J.
Exploiting Method Semantics in Client Cache Consistency Protocols for Object-oriented Databases. School of Computing Science, University of Newcastle upon Tyne, 2006
- Cook, N.
Middleware Support for Non-repudiable Business-to-Business Interactions. School of Computing Science, University of Newcastle upon Tyne, 2006

- Robinson, P.F.
Design and Implementation of Extensible Middleware for Non-Repudiable Interactions. School of Computing Science, University of Newcastle upon Tyne, 2006

- Lawrie, A.T.
The Effect of Diverse Development Goals on Computer-Based System Dependability. School of Computing Science, University of Newcastle upon Tyne, 2006
- Lu, F.
Middleware Services for Distributed Virtual Environments. School of Computing Science, University of Newcastle upon Tyne, 2006
- Palmer, J. G.
Resource Allocation Policies for Service Provisioning Systems. School of Computing Science, University of Newcastle upon Tyne, 2006
- Khayyambashi, M.-R.
Scalable Internet Auctions. School of Computing Science, University of Newcastle upon Tyne, 2006
2005
Back to the top
- Vollset, E.W.
Design and Evaluation of Crash Tolerant Protocols for Mobile Ad-hoc Networks. School of Computing Science, University of Newcastle upon Tyne, 2005
- Alfuraih, S.I.
E-Commerce Protocol Supporting Automated Online Dispute Resolution. School of Computing Science, University of Newcastle upon Tyne, 2005
- Zhang, Y.
Text Mining for Neuroscience. School of Computing Science, University of Newcastle upon Tyne, 2005
- Henderson, N.
Formal Modelling and Analysis of an Asynchronous Communication Mechanism. School of Computing Science, University of Newcastle upon Tyne, 2005
- Niaouris, A.
An algebra of Petri nets with arc-based timing restrictions. School of Computing Science, University of Newcastle upon Tyne, 2005
- Mpoeleng, D.
From Crash Tolerance to Byzantine Tolerance: Fail Signalling Dependable Distributed Systems. School of Computing Science, University of Newcastle upon Tyne, 2005
- Owen, D.J.
Incorporating faults and fault-tolerance into real-time networks: a graph-transformational approach. School of Computing Science, University of Newcastle upon Tyne, 2005
2004
Back to the top
- Burton, J.
The Theory and Practice of Refinement-After-Hiding. School of Computing Science, University of Newcastle upon Tyne, 2004
- Welch, I.S.
Using a Loadtime Metaobject Protocol to Enforce Access Control Policies upon User-Level Compiled Code. School of Computing Science, University of Newcastle upon Tyne, 2004
- Wang, B.
Metadata Based Approach to E-Marketing Intelligence. School of Computing Science, University of Newcastle upon Tyne, 2004
- Aljareh, S.S.
Security Management for Services that are integrated across Enterprise Boundaries. School of Computing Science, University of Newcastle upon Tyne, 2004
- Alessandri, D.
Attack-Class-Based Analysis of Intrusion Detection Systems. School of Computing Science, University of Newcastle upon Tyne, 2004
- Solaiman, E.
Contract Representation for Validation and Run Time Monitoring. School of Computing Science, University of Newcastle upon Tyne, 2004
2003
Back to the top
- Zamli, K.Z.
Supporting Software Processes for Distributed Software Engineering Teams. School of Computing Science, University of Newcastle upon Tyne, 2003
- Eldresi, F.Y.M.
NeuroSearch: a Search Engine Specialised for Neuroscience Webpages. School of Computing Science, University of Newcastle upon Tyne, 2003
- Rischbeck, T.
Managing Active Object Scalability on Distributed Memory, With a Case Study in Parallel VRML. School of Computing Science, University of Newcastle upon Tyne, 2003
- Khomenko, V.
Model Checking Based on Prefixes of Petri Net Unfoldings. School of Computing Science, University of Newcastle upon Tyne, 2003

2002
Back to the top
- Sala-Oliveras, C.
Suggestions for the Development of Software. Department of Computing Science, University of Newcastle upon Tyne, 2002
- Pietschker, A.
Automated Test Generation from Algebraic Specifications. Department of Computing Science, University of Newcastle upon Tyne, 2002
- Nasseef, O.A.
The Usage of MIS Applications to Raise the Efficiency and Peformance of the Telecommunications Services in the Kingdom of Saudi Arabia. School of Management, University of Newcastle upon Tyne, 2002
- Mason, P.A.J.
MATrA: Meta-modelling Approach to Traceability for Avionics. Department of Computing Science, University of Newcastle upon Tyne, 2002

2001
Back to the top
2000
Back to the top
- Webber, J.
Visual Object-Oriented Development of Parallel Applications. Department of Computing Science, University of Newcastle upon Tyne, 2000
- Periorellis, P.
Dynamic Enterprise Modelling: A Methodology for Animating Dynamic Social Networks. Department of Computing Science, University of Newcastle upon Tyne, 2000
- McGough, A.S.
Parallel simulations using recurrence relations and relaxation. Department of Computing Science, University of Newcastle upon Tyne, 2000

- Parastatidis, S.
Run-Time Support for Parallel Object-Oriented Computing: The NIP Lazy Task Creation Technique and the NIP Object-based Software Distributed Shared Memory. Department of Computing Science, University of Newcastle upon Tyne, 2000
- Molina-Jimenez, C.
Anonymous and Confidential Communication using PDAs. Department of Computing Science, University of Newcastle upon Tyne, 2000

- Pietkiewicz-Koutny, M.
Relating Formal Models of Concurrency for the Modelling of Asynchronous Digital Hardware. Department of Computing Science, University of Newcastle upon Tyne, 2000
1999
Back to the top
- Xu, J.
Fault-Tolerant Software: Dependability/Performance Trade-Offs, Concurrency and System Support. Department of Computing Science, University of Newcastle upon Tyne, 1999
- Morgan, G.
A Middleware Service for Fault-Tolerant Group Communications. Department of Computing Science, University of Newcastle upon Tyne, 1999
- Zorzo, A. F.
Multiparty Interactions in Dependable Distributed Systems. School of Computing Science, University of Newcastle upon Tyne, 1999
1998
Back to the top
- Ranno, F.
A Language and Tool Kit for the Specification, Execution and Monitoring of Dependable Distributed Applications. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Hesketh, M.
Synthesis and Axiomatisation for Structural Equivalences in the Petri Box calculus. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Nelson, D.A.
To Formalise and Implement a Categorical Object-Relational Database System. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Iqbal, R.
Shape-Preserving Algorithms for Curve and Surface Design. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Robertson, C.
Image Categorisation Using Parallel Network Constructs: An Emulation of Early Human Colour Processing and Context Evaluation. Department of Computing Science, University of Newcastle upon Tyne, 1998

- Angus, C.
Large Scale Numerical Software Development Using Functional Languages. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Barcellos, A.M.P.
PRMP: A Scalable Polling-based Reliable Multicast Protocol. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Chu, H.D.
Towards Quality Programming in the Automated Testing of Distributed Applications. Department of Computing Science, University of Newcastle upon Tyne, 1998
- Semenov, A.
Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfoldings. Department of Computing Science, University of Newcastle upon Tyne, 1998
1997
Back to the top
- Smith, J.
Fault-Tolerant Parallel Applications Using a Network of Workstations. Department of Computing Science, University of Newcastle upon Tyne, 1997
- Allen, R.S.
A Graphical System for Parallel Software Development. Department of Computing Science, University of Newcastle upon Tyne, 1997
- Al-Harbi, F.
Development of A Methodology and An Expert System for Disaster Recovery. Department of Computing Science, University of Newcastle upon Tyne, 1997
- Thomas, N.A.
Performance and Reliability in Distributed Systems. Department of Computing Science, University of Newcastle upon Tyne, 1997
- Misra, M.
Performance Modelling of Replication Protocols. Department of Computing Science, University of Newcastle upon Tyne, 1997
1996
Back to the top
- Tao, S.
Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems. Department of Computing Science, University of Newcastle upon Tyne, 1996
- Rapanotti, L.
On the Synthesis of Integral and Dynamic Recurrences. Department of Computing Science, University of Newcastle upon Tyne, 1996
- Hall, J.G.
An Algebra of High Level Petri Nets. Department of Computing Science, University of Newcastle upon Tyne, 1996
- Calsavara, A.
Constructing Highly-Available Distributed Metainformation Systems. Department of Computing Science, University of Newcastle upon Tyne, 1996
- Duan, Z.
An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming. Department of Computing Science, University of Newcastle upon Tyne, 1996
- Hodge, D.R.
Dependability and the Management of Large Distributed Systems. Department of Computing Science, University of Newcastle upon Tyne, 1996
1995
Back to the top
- Koelmans, A.
STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Chen, X.
Automatic Parallelisation for a Class of URE Problems. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Cho, G.H
. Location and Routing Optimisation Protocols Supporting Internet Host Mobility. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Kaya, D.
Parallel Algorithms For Numerical Linear Algebra on a Shared Memory Multiprocessor. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Pappalardo, G.
Specification and Verification Issues in a Process Language. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Chakka, R.
Performance and Reliability Modelling of Computing Systems Using Spectral Expansion. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Burnett, R.C.
A Trade-off Model Between Cost and Reliability During the Design Phase of Software Development. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Pakzad, M.
Parallel Implementation of the Finite Element Method on Shared Memory Multiprocessors. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Blyth, A.J.C.
Enterprise modelling and Its Application To Organisational Requirements, Capture and Definition. Department of Computing Science, University of Newcastle upon Tyne, 1995
- Brasileiro, F.V.
Constructing Fail-Controlled Nodes For Distributed Systems: A Software Approach. Department of Computing Science, University of Newcastle upon Tyne, 1995
1994
Back to the top
- Eyoh, E.O.
Exploiting Parallelism in n-D Convex Hull Algorithms. Department of Computing Science, University of Newcastle upon Tyne, 1994
- Macedo, R.J.A.
Fault-Tolerant Group Communication Protocols For Asynchronous Systems. Department of Computing Science, University of Newcastle upon Tyne, 1994
- Danish, T.Y.
A Knowledge-Based Decision Support System For Computer Disaster Prevention In IT Centres. Department of Computing Science, University of Newcastle upon Tyne, 1994
- de Lemos, R.
A Methodology For The Requirements Analysis of Critical Real-Time Systems. Department of Computing Science, University of Newcastle upon Tyne, 1994
- Buzato, L.E.
Management of Object-Oriented Action-Based Distributed Programs. Department of Computing Science, University of Newcastle upon Tyne, 1994
- Rubira, C.M.F.
Structuring Fault-Tolerant Object-Oriented Systems Using Inheritance and Delegation. Department of Computing Science, University of Newcastle upon Tyne, 1994
1993
Back to the top
1992
Back to the top
1991
Back to the top
1990
Back to the top
- Song, D.H.
An Accurate Prefetching Policy For Object Oriented Systems. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Eakins, J.P.
Design and Evaluation of a Shape Retrieval System. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Wheater, S.M.
Constructing Reliable Distributed Applications Using Actions and Objects. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Stoker, M.A.
The Exploitation of Parallelism on Shared Memory Multiprocessors. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Tully, A.
Preventing State Divergence in Replicated Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Garnsworthy, J.R.
Fundamental Concepts For Fault Tolerant Systems. Computing Laboratory, University of Newcastle upon Tyne, 1990
- Saeed, A.
A Framework For The Requirements Analysis of Safety-Critical Computing Systems. Computing Laboratory, University of Newcastle upon Tyne, 1990
1989
Back to the top
1988
Back to the top
- Wiseman, S.R.
Garbage Collection in Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1988
- Brown, A.W.
A View Mechanism For An Integrated Project Support Environment. Computing Laboratory, University of Newcastle upon Tyne, 1988
- Mundy, D.H.
Decentralised Control Flow: A Computational Model for Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1988
- Dixon, G.N.
Object Management For Persistence and Recoverability. Computing Laboratory, University of Newcastle upon Tyne, 1988

- Parrington, G.D.
Management of Concurrency in a Reliable Object-Orientated Computing System. Computing Laboratory, University of Newcastle upon Tyne, 1988
1987
Back to the top
1986
Back to the top
1985
Back to the top
1984
Back to the top
- Lima, I.G.
Programming Decentralised Computers. Computing Laboratory, University of Newcastle upon Tyne, 1984
- Brownbridge, D.R.
Recursive Structures in Computer Systems. Computing Laboratory, University of Newcastle upon Tyne, 1984
- Anyanwu, J.A
. Robust Data Storage In a Network of Computer Systems. Computing Laboratory, University of Newcastle upon Tyne, 1984
- Seleman, A.H.
An Investigation of MESH Selection Algorithms in the Numerical Solution of Boundary Value Problems By Piecewise Polynomial Collocation Method. Computing Laboratory, University of Newcastle upon Tyne, 1984
1983
Back to the top
1982
Back to the top
1981
Back to the top
- Best, E.
Semantics, Verification and Design of Concurrent Programs Using Atomic Actions. Computing Laboratory, University of Newcastle upon Tyne, 1981
- Jones, S.B.
The Performance Evaluation of Interpreter Based Computer Systems. Computing Laboratory, University of Newcastle upon Tyne, 1981
- Ahmed, A.H.
Collocation Algorithms and Error Analysis For Approximate Solutions of Ordinary Differential Equations. Computing Laboratory, University of Newcastle upon Tyne, 1981
- Heine, M.H.
The Extension and Application of Swet's Theory of Information Retrieval. Computing Laboratory, University of Newcastle upon Tyne, 1981
- Kanellopoulos, N.G.K.
Action-Replay: A Real-Time Debugging Technique. Computing Laboratory, University of Newcastle upon Tyne, 1981
1980
Back to the top
1979
Back to the top
- White, P.R.
A Recursive Virtual Machine Architecture - Implementation and Associated Protection Problems. Computing Laboratory, University of Newcastle upon Tyne, 1979
- Gerrard, C.
Computable Error Bounds For Approximate Solutions of Ordinary Differential Equations. Computing Laboratory, University of Newcastle upon Tyne, 1979
- King, P.J.B.
Numerical Analysis of Infinite Markov Processes. Computing Laboratory, University of Newcastle upon Tyne, 1979
- Betteridge, T.
An Algebraic Analysis of Storage Fragmentation. Computing Laboratory, University of Newcastle upon Tyne, 1979
- Prince, P.J.
Runge - Kutta Processes and Global Error Estimation. Computing Laboratory, University of Newcastle upon Tyne, 1979
1978
Back to the top
- McGlade, D.
Static Allocation of Processes in Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1978
- Jones, D.A.
Performance Measurement and Analysis of Large Filestores. Computing Laboratory, University of Newcastle upon Tyne, 1978
- Gimson, R.B.
On The Selection and Implementation of Data Structure Representations. Computing Laboratory, University of Newcastle upon Tyne, 1978
- Bowman, D.M.
An Algebraic Approach to the Graph Isomorphism Problem. Computing Laboratory, University of Newcastle upon Tyne, 1978
1977
Back to the top
1976
Back to the top
- Scolley, A.J.
The implementation of SIMULA 67 by translation into ALGOL W. Computing Laboratory, University of Newcastle upon Tyne, 1976
- Wyeth, D.
On the Comparison of Protection Systems. Computing Laboratory, University of Newcastle upon Tyne, 1976
- Campbell, R.H.
Path Expressions: A Technique For Specifying Process Synchronization. Computing Laboratory, University of Newcastle upon Tyne, 1976
- Hayden, G.N.
The Numerical Solution of Differential Equations. Computing Laboratory, University of Newcastle upon Tyne, 1976
1975
Back to the top
1974
Back to the top
- Cruickshank, D.M.
Error analysis of Collocation Methods For the Numerical Solution of Ordinary Differential Equations. Computing Laboratory, University of Newcastle upon Tyne, 1974
- Snowdon, R.A.
Interactive Use of a Computer In the Preparation of Structured Programs. Computing Laboratory, University of Newcastle upon Tyne, 1974
- Alderson, A.
Studies of Some Feedback Control Mechanisms in Operating Systems. School of Computing Science, University of Newcastle upon Tyne, 1974
- Cooke, M.
Application of a Multi-Access Computer to the Interactive Allocation of Accomodation. Computing Laboratory, University of Newcastle upon Tyne, 1974
1973
Back to the top
1972
Back to the top
- Lloyd, J.L.
A Numerical Investigation of the Rayleigh-Ritz Method for the Solution of Variational Problems. Computing Laboratory, University of Newcastle upon Tyne, 1972
- Anderson, T.
Syntactic analysis of LR(k) languages. Computing Laboratory, University of Newcastle upon Tyne, 1972
- Appleton, D.R.
Simulation in an Interactive Computer Environment. Computing Laboratory, University of Newcastle upon Tyne, 1972
- Mitrani, I.
Congestion Problems in Computing Systems. Computing Laboratory, University of Newcastle upon Tyne, 1972
1971
Back to the top
1970
Back to the top
- Henderson, P.
The Design and Semantic Analysis of a Programming Language and Its Compiler. Computing Laboratory, University of Newcastle upon Tyne, 1970
- Miller, W.L.
The Evaluation of Large Information Retrieval Systems With Application to MEDLARS. Computing Laboratory, University of Newcastle upon Tyne, 1970
- Dowsey, M.W.
The Design, Implementation and Use of a Computer Assisted-Instruction System. Computing Laboratory, University of Newcastle upon Tyne, 1970
1969
Back to the top
1966
Back to the top