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 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
2013
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Arief, L.B. A Framework for Supporting Automatic Simulation Generation from Design. Department of Computing Science, University of Newcastle upon Tyne, 2001
- Hermansyah, E. An Investigation of Collocation Algorithms for Solving Boundary Value Problems System of ODEs. Department of Computing Science, University of Newcastle upon Tyne, 2001
- Kendall, D. Formal Modelling and Analysis of Broadcasting Embedded Control Systems. Department of Computing Science, University of Newcastle upon Tyne, 2001
2000
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Harley, J.W. Dataflow Development of Medium-Grained Parallel Software. Department of Computing Science, University of Newcastle upon Tyne, 1993
1992
- Waterworth, A. Replication and Fault-Tolerance in Real-Time Systems. Department of Computing Science, University of Newcastle upon Tyne, 1992
- Locksley, H.W. Indirect Methods for the Numerical Solution of Ordinary Linear Boundary Value Problems. Department of Computing Science, University of Newcastle upon Tyne, 1992
- McCue, D.L. Selective Transparency in Distributed Transaction Processing. Department of Computing Science, University of Newcastle upon Tyne, 1992
1991
- Khallaf, N.S. Error Estimation Techniques for the Numerical Solution of First and Second Order Differential Equation. Computing Laboratory, University of Newcastle upon Tyne, 1991
- Capretz, L.F. Object-Oriented Design Methodologies for Software Systems. Computing Laboratory, University of Newcastle upon Tyne, 1991
- Little, M.C.
Object Replication in a Distributed System. Computing Laboratory, University of Newcastle upon Tyne, 1991
1990
- 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
- Weaver, I. C. Architectural soup: A proposed very general purpose computer. Computing Laboratory, University of Newcastle upon Tyne, 1989
- Ezhilchelvan, P.D. Design and Development of Algorithms For Fault Tolerant Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1989
- Mancini, L.V. Reliability Issues in the Design of Distributed Object-Based Architectures. Computing Laboratory, University of Newcastle upon Tyne, 1989
1988
- 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
- Afzal, T.M. Load Sharing In Distributed Computer Systems. Computing Laboratory, University of Newcastle upon Tyne, 1987
- Stroud, R.J. Naming Issues in the Design of Transparently Distributed Operating Systems. Computing Laboratory, University of Newcastle upon Tyne, 1987
1986
- Lynch, M.A. Algorithm to Layout (ATL) Systems For VLSI Design. Computing Laboratory, University of Newcastle upon Tyne, 1986
- Rothwell, N.J. The Generation of Concurrent Code for Declarative Languages. Computing Laboratory, University of Newcastle upon Tyne, 1986
- Hughes, L. Multicast Communications in Distributed Systems. Computing Laboratory, University of Newcastle upon Tyne, 1986
1985
- Bull, M.A. The Problems of Data Base Designs for Microcomputers. Computing Laboratory, University of Newcastle upon Tyne, 1985
- Panzieri, F. Design and Development of Communication Protocols For Local Area Networks. Computing Laboratory, University of Newcastle upon Tyne, 1985
- Bettess, J.A. Efficient Methods for the Solution of Boundary Integral Matrix Equations. Computing Laboratory, University of Newcastle upon Tyne, 1985
1984
- 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
- Hopkins, R.P. General Purpose Decentralised Computer Architecture. Computing Laboratory, University of Newcastle upon Tyne, 1983
- Salmon, J.R.W. Numerical Algorithms for the Control of Mechanisms. Computing Laboratory, University of Newcastle upon Tyne, 1983
- Millichamp, R.C. Computer Architecture for Functional and Logic Languages. Computing Laboratory, University of Newcastle upon Tyne, 1983
1982
- Cotronis, J.Y. Programming and Verifying Asynchronous Systems. Computing Laboratory, University of Newcastle upon Tyne, 1982
1981
- 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
- Marshall, L . An Error Recovery Scheme for Concurrent Processes. School of Computing Science, University of Newcastle upon Tyne, 1980
1979
- 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
- 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
- Rushby, J.M. LR(k) Sparse-Parsers and their Optimisation. Computing Laboratory, University of Newcastle upon Tyne, 1977
- Verhofstad, J.S.M. The Construction of Recoverable Multi-Level Systems. Computing Laboratory, University of Newcastle upon Tyne, 1977
1976
- 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
- Szwarcfiter, J.L. On Optimal and Near-Optimal Algorithms For Some Computational Graph Problems. Computing Laboratory, University of Newcastle upon Tyne, 1975
- Oddy, R.N. Reference Retrieval Based On User Induced Dynamic Clustering. Computing Laboratory, University of Newcastle upon Tyne, 1975
1974
- 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
- Segelman, Z. Computer Graphics and its use in Geography. Computing Laboratory, University of Newcastle upon Tyne, 1973
- Snow, C.R. An Analysis of the Structure of Trees and Graphs. Computing Laboratory, University of Newcastle upon Tyne, 1973
- Knight, J.C. Analysis of Some Algorithms For Use On Paged Virtual Memory Computers. Computing Laboratory, University of Newcastle upon Tyne, 1973
1972
- 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
- Harrison, E.S. Computer representation of graphical information with applications. Computing Laboratory, University of Newcastle upon Tyne, 1971
- Waller, L. Interactive Approaches to the Solution of a Class of Combinatorial Problems. Computing Laboratory, University of Newcastle upon Tyne, 1971
1970
- 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
- Guy, M.R. The Computer Solution of Problems in Integer Programming. Computing Laboratory, University of Newcastle upon Tyne, 1969
1966
- Obruca, A.K. The Manipulation of Trees and Linear Graphs Within a Computer and Some Applications. Computing Laboratory, University of Newcastle upon Tyne, 1966