Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. - Brian Randell (Commun. ACM, 1962)

Remark on Algorithm 76: Sorting procedures. - Brian Randell (Commun. ACM, 1962)

Certification of Algorithm 66: INVRS. - Brian Randell; C. G. Broyden (Commun. ACM, 1962)

Certification of algorithms 63, 64 and 65, partition, quicksort, and find. - Brian Randell; L. J. Russell (Commun. ACM, 1963)

Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. - Brian Randell; L. J. Russell (J. ACM, 1964)

Demand paging in perspective. - C. J. Kuehner; Brian Randell (AFIPS Fall Joint Computing Conference (2), 1968)

Iterative multi-level modelling. A methodology for computer system design. - Frank W. Zurcher; Brian Randell (IFIP Congress (2), 1968)

Dynamic storage allocation systems. - Brian Randell; C. J. Kuehner (Commun. ACM, 1968)

A note on storage fragmentation and program segmentation. - Brian Randell (Commun. ACM, 1969)

Operating Systems: The Problems of Performance and Reliability. - Brian Randell (IFIP Congress (1), 1971)

Performance Predictions for Extended Paged Memories. - Edward G. Coffman Jr.; Brian Randell (Acta Informatica, 1971)

Ludgate's Analytical Machine of 1909. - Brian Randell (Comput. J., 1971)

Process Structuring. - James J. Horning; Brian Randell (ACM Comput. Surv., 1973)

A program structure for error detection and recovery. - James J. Horning; Hugh C. Lauer; P. M. Melliar-Smith; Brian Randell (Symposium on Operating Systems, 1974)

System Structure for Software Fault Tolerance. - Brian Randell (IEEE Trans. Software Eng., 1975)

Software Reliability: The Role of Programmed Exception Handling. - P. M. Melliar-Smith; Brian Randell (Language Design for Reliable Software, 1977)

Reliable Computing Systems. - Brian Randell (Advanced Course: Operating Systems, 1978)

Reliability Issues in Computing System Design. - Brian Randell; P. A. Lee; Philip C. Treleaven (ACM Comput. Surv., 1978)

Software Engineering: As it was in 1968. - Brian Randell (ICSE, 1979)

An Annotated Bibliography on the Origins of Digital Computers. - Brian Randell (IEEE Ann. Hist. Comput., 1979)

A Formal Model of Atomicity in Asynchronous Systems. - Eike Best; Brian Randell (Acta Informatica, 1981)

Commentary (with replies by the authors). - John Vincent Atanasoff; John Grist Brainerd; J. Presper Eckert; Kathleen R. Mauchly; Brian Randell; Konrad Zuse (IEEE Ann. Hist. Comput., 1981)

From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush. - Brian Randell (IEEE Ann. Hist. Comput., 1982)

The Newcastle Connection or UNIXes of the World Unite! - David R. Brownbridge; Lindsay F. Marshall; Brian Randell (Softw. Pract. Exp., 1982)

Recursively Structured Distributed Computing Systems. - Brian Randell (Symposium on Reliability in Distributed Software and Database Systems, 1983)

A Mysterious Advertisement. - Brian Randell (IEEE Ann. Hist. Comput., 1983)

A Distributed Secure System. - John M. Rushby; Brian Randell (Computer, 1983)

Hardware/software tradeoffs: a general design principle? - Brian Randell (SIGARCH Comput. Archit. News, 1985)

Interfacing UNIX to Data Communications Networks. - Fabio Panzieri; Brian Randell (IEEE Trans. Software Eng., 1985)

Making distributed systems work: position paper for Amsterdam workshop. - Lindsay F. Marshall; Robert J. Stroud; Brian Randell (ACM SIGOPS European Workshop, 1986)

Building Reliable Secure Computing Systems out of Unreliable Insecure Components. - John E. Dobson; Brian Randell (S&P, 1986)

Reliability and Security Issues in Distributed Computing Systems. - Brian Randell; John E. Dobson (Symposium on Reliability in Distributed Software and Database Systems, 1986)

System Design and Structuring. - Brian Randell (Comput. J., 1986)

Error Recovery in Asynchronous Systems. - Roy H. Campbell; Brian Randell (IEEE Trans. Software Eng., 1986)

The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations. - Pesi Masani; Brian Randell; David K. Ferry; Richard Saeks (IEEE Ann. Hist. Comput., 1987)

The architecture of UNIX united. - James P. Black; Lindsay F. Marshall; Brian Randell (Proc. IEEE, 1987)

Can Design Faults be Tolerated. - Brian Randell (IFIP Congress, 1989)

Coping with the Past. - Brian Randell (Operating Systems of the 90s and Beyond, 1991)

Network and infrastructure user requirements for transatlantic research collaboration: Brussels, July 16-18, and Washington July 24-25, 1990. - Vinton G. Cerf; Peter T. Kirstein; Brian Randell (RFC, 1991)

An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. - Jean-Charles Fabre; Brian Randell (ESORICS, 1992)

System Dependability. - Brian Randell (25th Anniversary of INRIA, 1992)

Happenings. - Judy E. O'Neill; Brian Randell; Geoffrey C. Bowker; J.-P. Poitou; Pierre-E. Mounier-Kuhn; B. Crozier (IEEE Ann. Hist. Comput., 1992)

The Duality of Fault-tolerant System Structures. - Santosh K. Shrivastava; Luigi V. Mancini; Brian Randell (Softw. Pract. Exp., 1993)

Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. - Jean-Charles Fabre; Yves Deswarte; Brian Randell (EDCC, 1994)

Some Lessons from the SW2000 Workshop. - Brian Randell (EDCC, 1994)

The origins of computer programming. - Brian Randell (IEEE Ann. Hist. Comput., 1994)

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Cecília M. F. Rubira; Robert J. Stroud; Zhixue Wu (FTCS, 1995)

Exception Handling and Resolution in Distributed Object-oriented Systems. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (ICDCS, 1996)

Roll-forward error recovery in embedded real-time systems. - Jie Xu 007; Brian Randell (ICPADS, 1996)

Anecdotes. - Brian Randell; Rudolph E. Hirsch (IEEE Ann. Hist. Comput., 1996)

Implementation of blocking coordinated atomic actions based on forward error recovery. - Alexander B. Romanovsky; Brian Randell; Robert J. Stroud; Jie Xu 007; Avelino Francisco Zorzo (J. Syst. Archit., 1997)

Cyber Threats (Panel). - Wendy Bartlett; Peter B. Ladkin; Derek Long; Brian Randell (FTCS, 1998)

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (ICDCS, 1998)

Exception Handling in Object-Oriented Real-Time Distributed Systems. - Alexander B. Romanovsky; Jie Xu 007; Brian Randell (ISORC, 1998)

Protecting IT Systems from Cyber Crime. - R. Benjamin; B. Gladman; Brian Randell (Comput. J., 1998)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Fault Tolerance in Decentralized Systems. - Brian Randell (ISADS, 1999)

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. - Avelino F. Zorzo; Alexander B. Romanovsky; Jie Xu 007; Brian Randell; Robert J. Stroud; Ian Welch (Softw. Pract. Exp., 1999)

Turing Memorial Lecture Facing Up to Faults. - Brian Randell (Comput. J., 2000)

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. - Delano M. Beder; Alexander B. Romanovsky; Brian Randell; C. Richard Snow; Robert J. Stroud (ACM SIGOPS Oper. Syst. Rev., 2000)

Concurrent Exception Handling and Resolution in Distributed Object Systems. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (IEEE Trans. Parallel Distributed Syst., 2000)

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. - Delano M. Beder; Cecília M. F. Rubira; Brian Randell; Alexander B. Romanovsky (ISORC, 2001)

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)

On Failures and Faults. - Brian Randell (FME, 2003)

Edsger Dijkstra. - Brian Randell (WORDS Fall, 2003)

Wrapping the future. - Tom Anderson 001; Brian Randell; Alexander B. Romanovsky (IFIP Congress Topical Sessions, 2004)

Dependability and its threats - A taxonomy. - Algirdas Avizienis; Jean-Claude Laprie; Brian Randell (IFIP Congress Topical Sessions, 2004)

Dependable Pervasive Systems. - Brian Randell (SRDS, 2004)

Basic Concepts and Taxonomy of Dependable and Secure Computing. - Algirdas Avizienis; Jean-Claude Laprie; Brian Randell; Carl E. Landwehr (IEEE Trans. Dependable Secur. Comput., 2004)

A systematic classification of cheating in online games. - Jeff Jianxin Yan; Brian Randell (NETGAMES, 2005)

The atomic manifesto: a story in four quarks. - Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan D. Fekete; Marie-Claude Gaudel; Henry F. Korth; Rogério de Lemos; J. Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; et al. (SIGMOD Rec., 2005)

Voting Technologies and Trust. - Brian Randell; Peter Y. A. Ryan (IEEE Secur. Priv., 2006)

Distributed Secure Systems: Then and Now. - Brian Randell; John M. Rushby (ACSAC, 2007)

The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. - Brian Randell (DSN, 2007)

Failures: Their Definition, Modelling and Analysis. - Brian Randell; Maciej Koutny (ICTAC, 2007)

A computer scientist's reactions to NPfIT. - Brian Randell (J. Inf. Technol., 2007)

Position Statement: How Far Have We Come? - Brian Randell (COMPSAC, 2008)

System Complexity and System Failures. - Brian Randell (ECBS, 2008)

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. - Maciej Koutny; Brian Randell (Fundam. Informaticae, 2009)

An Investigation of Cheating in Online Games. - Jeff Jianxin Yan; Brian Randell (IEEE Secur. Priv., 2009)

Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. - Brian Randell (Petri Nets, 2011)

A computer perspective. - Brian Randell (Inroads, 2011)

A Turing Enigma. - Brian Randell (CONCUR, 2012)

Modelling Provenance Using Structured Occurrence Networks. - Paolo Missier; Brian Randell; Maciej Koutny (IPAW, 2012)

Analysis of Issues and Challenges of E-Voting in the UK. - Dylan Clarke; Feng Hao 001; Brian Randell (Security Protocols Workshop, 2012)

Self-enforcing Electronic Voting. - Feng Hao 001; Brian Randell; Dylan Clarke (Security Protocols Workshop, 2012)

Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting. - Feng Hao 001; Matthew Nicolas Kreeger; Brian Randell; Dylan Clarke; Siamak Fayyaz Shahandashti; Peter Hyun-Jeen Lee (EVT/WOTE, 2014)

Reminiscences of Project Y and the ACS Project. - Brian Randell (IEEE Ann. Hist. Comput., 2015)

Time in Structured Occurrence Nets. - Anirban Bhattacharyya; Bowen Li; Brian Randell (PNSE @ Petri Nets, 2016)

Turing and the origins of digital computers. - Brian Randell (The Turing Guide, 2017)

Ultra revelations. - Brian Randell (The Turing Guide, 2017)

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. - Bowen Li; Brian Randell; Anirban Bhattacharyya; Talal Alharbi; Maciej Koutny (ACSD, 2018)

Fifty Years of Software Engineering - or - The View from Garmisch. - Brian Randell (CoRR, 2018)

Verifiable Classroom Voting in Practice. - Feng Hao 001; Dylan Clarke; Brian Randell; Siamak F. Shahandashti (IEEE Secur. Priv., 2018)

Early Interactions with Carl Adam Petri. - Brian Randell (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Investigating the Work and Life of Percy Ludgate. - Brian A. Coghlan; Brian Randell; Paul Hockie; Trish Gonzalez; David McQuillan; Reddy O'Regan (IEEE Ann. Hist. Comput., 2021)

Exception Handling on Multiparty Interactions. - Brian Randell; Avelino Francisco Zorzo (CoRR, 2021)

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo (CoRR, 2021)

Edsger Dijkstra - Some Reminiscences. - Brian Randell (Edsger Wybe Dijkstra, 2022)

ChatGPT's Astonishing Fabrications About Percy Ludgate. - Brian Randell; Brian A. Coghlan (IEEE Ann. Hist. Comput., 2023)

How Percy Ludgate's 1909 Paper (and IBM) Helped Thwart Konrad Zuse's Computer Patent in 1960. - Brian A. Coghlan; Brian Randell; Ralf Buelow (IEEE Ann. Hist. Comput., 2024)

Structured Acyclic Nets. - Mohammed Alahmadi; Salma Alharbi; Talal Alharbi; Nadiyah Almutairi; Tuwailaa Alshammari; Anirban Bhattacharyya; Maciej Koutny; Bowen Li; Brian Randell (CoRR, 2024)