Staff Profile
Professor Brian Randell
Emeritus Professor, and Senior Research Investigator
- Email: brian.randell@ncl.ac.uk
- Telephone: +44 191 208 7923
- Fax: +44 191 208 8232
- Personal Website:
- Address: Room 6.022,
缅北禁地,
1 Science Square,
缅北禁地 upon Tyne
NE4 5TG
My earliest work, during the period 1957-1964 while I was with English Electric, was on compilers. This led to the book: Algol 60 Implementation. (Co-author Lawford J. Russell). Academic Press, London, 1964.
I then joined the IBM T.J. Watson Research Center, Yorktown Heights, N.Y. where, with an intervening year during 1965-66 in California, I worked on high performance computer architectures (the ), then on operating systems and system design methodology. During this time, and shortly after I returned to the UK in 1969 to became Professor of Computing Science at the University of 缅北禁地 upon Tyne, I was co-editor of the reports on the two .
In 1971 I set up the project that initiated research into the possibility of software fault tolerance, and introduced the "recovery block" concept. Subsequent major developments included the 缅北禁地 Connection, and the prototype Distributed Secure System. I have been Principal Investigator on a succession of research projects on system dependability funded by the Science Research Council (now Engineering and Physical Sciences Research Council), the Ministry of Defence, the European Strategic Programme of Research in Information Technology (ESPRIT), and the European Information Society Technologies (IST) Programme. Most recently I have performed the role of Project Director for CaberNet (the IST Network of Excellence on Distributed Computing Systems Architectures) and for two IST Research Projects, MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications) and DSoS (Dependable Systems of Systems). Subsequently I was involved with the RODIN IST project, and the ReSIST IST Network of Excellence.
My current computing science research continues to be focussed on (for example on failure analysis - in the EPSRC-funded Project, on which I was a co-investigator) and, to a lesser extent, on the .
I was a founder-member of IFIP WG2.3 (Programming Methodology) and am a founder-member of (Dependability and Fault Tolerance). In 1979 I helped found MARI (Microelectronics Applications Research Institute) and in 1993 I was involved in setting up the , both of which flourished and did some excellent work for a number of years. I am a Fellow of the BCS and of the ACM, and was a Member of the Conseil Scientifique of the CNRS, France (2001-5), and Chairman of the IEEE John von Neumann Medal Committee (2003-5), and was first a Member and then Chairman of the ACM A.M. Turing Award Committee (2005–09).
I was an active member of the group of twenty-three academics who, in April 2006, became concerned by what we had learned of the plans, progress, reported difficulties and controversies surrounding the UK National Health Service's National Programme for Information Technology (NPfIT). From then until September 2010 I edited the evolving that was produced documenting our growing concerns about the Programme.
The University Library now holds a sizeable archive of my professional activities and correspondence, 1950-2009. The fully catalogued materials are now available via a profile on the Library website.
Note: while the University's new "official" listing of my publications is being completed, my own listing is at
Google Scholar:
Area of expertise: System Dependability, History of Computing
- Coghlan B, Randell B, Hockie P, Gonzalez T, McQuillan D, O'Regan R. . IEEE Annals of the History of Computing 2021, 43(1), 19-37.
- Randell B. . 缅北禁地 upon Tyne, UK: School of Computing Science, University of 缅北禁地, 2018. School of Computing Science Technical Report Series 1520.
- Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M. . In: 18th International Conference on Application of Concurrency to System Design. 2018, Bratislava, Slovakia: IEEE.
- Hao F, Clarke D, Randell B, Shahandashti SF. . IEEE Security and Privacy 2018, 16(1), 72-81.
- Bhattacharyya A, Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2017. School of Computing Science Technical Report Series 1506.
- Li B, Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2016. School of Computing Science Technical Report Series 1493.
- Bhattacharyya A, Li B, Randell B. . 缅北禁地 upon Tyne: School of Computing Science University of 缅北禁地 upon Tyne, 2016. School of Computing Science Technical Report Series 1495.
- Bhattacharyya A, Li B, Randell B. . In: International Workshop on Petri Nets and Software Engineering (PNSE’16). 2016, Torun, Poland: CEUR-WS.org.
- Toreini E, Randell B, Hao F. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1455.
- Randell B. . IEEE Annals of the History of Computing 2015, 37(3), 56-66.
- Li B, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
- Hao F, Kreeger MN, Randell B, Clarke D, Shahandashti SF, Lee PH-J. . In: 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, EVT/WOTE 2014. 2014, San Diego: USENIX Association.
- Hao F, Kreeger MN, Randell B, Clarke D, Shahandashti SF, Lee PHJ. . USENIX Journal of Election Technology and Systems (JETS) 2014, 2(3), 1-25.
- Randell B. . In: 2014 10th European Dependable Computing Conference, EDCC 2014. 2014, 缅北禁地 upon Tyne, UK: IEEE.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1384.
- Randell B. . In: CONCUR 2012 - Concurrency Theory: 23rd International Conference. 2012, 缅北禁地 upon Tyne: Springer.
- Randell B. A Turing Enigma. In: CONCUR 2012 - CONCURRENCY THEORY. 2012, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY: SPRINGER-VERLAG BERLIN.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1342.
- Missier P, Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1326.
- Missier P, Randell B, Koutny M. . In: Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012. 2012, Santa Barbara, CA, USA: Springer.
- Missier P, Randell B, Koutny M. Modelling Provenance Using Structured Occurrence Networks. In: PROVENANCE AND ANNOTATION OF DATA AND PROCESSES, IPAW 2012. 2012, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY: SPRINGER-VERLAG BERLIN.
- Hao F, Randell B, Clarke D. . In: Security Protocols Workshop XX : 20th International Workshop. 2012, Cambridge: Springer Verlag.
- Hao F, Randell B, Clarke D. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1311.
- Randell B. . ACM Inroads 2011, 2(3), 28-29.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1243.
- Randell B. . In: Application and Theory of Petri Nets. 2011, 缅北禁地 upon Tyne, UK: Springer-Verlag.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1200.
- Randell B. . Resurrection 2010, (50), 14-22.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1190.
- Yan J, Randell B. . IEEE Security & Privacy 2009, 7(3), 37-44.
- Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1162.
- Koutny M, Randell B. . Fundamenta Informaticae 2009, 97(1-2), 41-91.
- Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1170.
- Glaser H, Millard I, Anderson T, Andrews Z, Fitzgerald J, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1132.
- Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1120.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1024.
- Randell B. . Journal of Information Technology 2007, 22(3), 222-234.
- Avizienis A, Laprie J-C, Randell B, Landwehr CE. . In: von Knop, J., Salnikov, A.A., Yaschenko. V.V, ed. A Process for Developing a Common Vocabulary in the Information Security Area. Amsterdam; Oxford: IOS Press, 2007, pp.10-51.
- Randell B, Rushby J. . In: 23rd Annual Computer Security Applications Conference, ACSAC. 2007, Miami Beach, Florida, USA: IEEE Computer Society.
- Randell B, Rushby JM. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1052.
- Randell B, Koutny M. . In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
- Randell B. . In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE.
- Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. . In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
- Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
- Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 994.
- Randell B. . In: Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer, 2006, pp.vii-viii.
- Jones CB, Randell B. . In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
- Randell B, Ryan PYA. . In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST 2005). 2006, 缅北禁地 upon Tyne, UK: Springer-Verlag.
- Randell B, Ryan PYA. . IEEE Security & Privacy Magazine 2006, 4(5), 50-56.
- Yan J, Randell B. . In: 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames). 2005, Hawthorne, NY, USA: ACM Press.
- Randell B. . In: Kowalik, J.S., Gorski, J., Sachenko, A, ed. Cyberspace Security and Defense: Research Issues. Dordrecht; London: Springer, 2005, pp.143-160.
- Jones CB, Randell B. . In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 891.
- Yan J, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 889.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, De Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. . Journal of Universal Computer Science 2005, 11(5), 636-650.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. . SIGMOD Record 2005, 34(1), 63-69.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 886.
- Randell B, Ryan PYA. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 911.
- Avizienis A, Laprie J-C, Randell B, Landwehr C. . IEEE Transactions on Dependable and Secure Computing 2004, 1(1), 11-33.
- Randell B. . In: Herbert, A., Sparck Jones, K, ed. Computer Systems: Theory, Technology and Applications. New York; London: Springer, 2004, pp.229-235.
- Avizienis A, Laprie JC, Randell B. . In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 877.
- Randell B. . In: 23rd IEEE International Symposium on Reliable Distributed Systems. 2004, Florianpolis, Brazil: IEEE.
- Jones C, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 839.
- Hoare T, Jones CB, Randell B. . In: Grand Challenges. CRC Press, 2004.
- Hoare T, Jones C, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 853.
- Anderson T, Randell B, Romanovsky A. . In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
- Anderson T, Randell B, Romanovsky A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 852.
- Randell B. . In: 9th IEEE International Workshop on Object-Oriented Real-Time DependableSystems. 2003, Anacapri (Capri Island), Italy: IEEE Computer Society.
- Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 782.
- Randell B. . In: International Symposium of Formal Methods Europe. 2003, Pisa, Italy: Berlin: Springer.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 807.
- Xu J, Randell B, Romanovsky A. . In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2002, Washington DC, USA: IEEE Computer Society Press.
- Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, Von Henke F. . IEEE Transactions on Computers 2002, 51(2), 164-179.
- Randell B. . In: Akera, A., Nebeker, F, ed. From 0 to 1: An Authoritative History of Modern Computing. Oxford, UK: Oxford University Press, 2002, pp.41-50.
- Zorzo AF, Randell B, Romanovsky A. . In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002, pp.41-59.
- Powell D, Stroud RJ, Adelsbach A, Alessandri D, Cachin C, Creese S, Dacier M, Deswarte Y, Kursawe K, Laprie JC, Pfitzmann B, Randell B, Riordan J, Veríssimo P, Waidner M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 749.
- Randell B, Stroud R, Jones C et al. . In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Welch I, Armstrong JM, Cachin C, Correia M, Costes A, Miranda H, Neves NF, Neves NM, Poritz JA, Randell B, Rodrigues L, Stroud RJ, Veríssimo P, Waidner M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 738.
- Avizienis A, Laprie J-C, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 739.
- Powell D, Adelsbach A, Cachin C, Creese S, Dacier M, Deswarte Y, McCutcheon T, Neves N, Pfitzmann B, Randell B, Stroud RJ, Veríssimo P, Waidner M. . In: International Conference on Dependable Systems and Networks (DSN). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Beder DM, Randell B, Romanovsky A, Rubira CMF. . In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2001, Magdeburg, Germany: IEEE Computer Society Press.
- Randell B. . Computing Reviews 2001, 42(1), 78.
- Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
- Xu J, Randell B, Romanovsky A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 692.
- Randell B, Beder DM, Romanovsky A, Snow CR, Stroud RJ. . Operating Systems Review 2000, 34(4), 21-31.
- Xu J, Romanovsky A, Randell B. . IEEE Transactions on Parallel and Distributed Systems 2000, 11(10), 1019-1032.
- Randell B. . The Computer Journal 2000, 43(2).
- Randell B. . IEICE Transactions on Communications 2000, 83(5), 903-908.
- Avizienis A, Laprie J-C, Randell B. . In: 3rd IEEE Information Survivability Workshop (ISW). 2000, Boston, Massachusetts, USA: Software Engineering Institute, Carnegie-Mellon University, Pittsburgh.
- Cachin C, Camenisch J, Dacier M, Deswarte Y, Dobson JE, Horne D, Kursawe K, Laprie J-C, Lebraud J-C, Long D, McCutcheon T, Muller J, Petzold F, Pfitzmann B, Powell D, Randell B, Schunter M, Shoup V, Veríssimo P, Trouessin G, Stroud R, Waidner M, Welch I. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 707.
- Randell B. . Computer Journal 2000, 43(2), 95-106.
- Benjamin R, Gladman B, Randell B. . Computer Bulletin 1999, 1(6), 23-28.
- Romanovsky A, Xu J, Randell B. . Computer Systems Science and Engineering 1999, 14(4), 197-207.
- Randell B, Zorzo AF. . In: Anias do SCTF'99 - VIII Simpósio de Computaçõ Tolerante a Falhas. 1999, Campinas, Sao Paolo, Brazil: Instituto de Computaçõ, Universidade Estadual de Campinas (Unicamp).
- Randell B. . In: Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems (ISADS). 1999, Tokyo, Japan: IEEE Computer Society.
- Randell B. . In: 4th International Symposium on Autonomous Decentralized Systems (ISADS). 1999, Tokyo, Japan: IEEE Computer Society Press.
- Benjamin R, Gladman B, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1999. Department of Computing Science Technical Report Series 631.
- Xu J, Randell B, Romanovsky A, Stroud R, Zorzo AF, Canver E, von Henke F. . In: Proceedings of the 29th International Symposium on Fault-Tolerant Computing (FTCS). 1999, Madison, Wisconsin, USA: IEEE Computer Society.
- Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, von Henke F. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1999. Department of Computing Science Technical Report Series 662.
- Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS. . Software - Practice and Experience 1999, 29(8), 677-697.
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF, Schwier D, von Henke F. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1998. Department of Computing Science Technical Report Series 628.
- Xu J, Romanovsky A, Randell B. . In: 18th IEEE International Conference on Distributed Computing Systems (ICDCS). 1998, Amsterdam, The Netherlands: IEEE.
- Randell B. . In: Workshop on Computer Security, Dependability and Assurance: From Needs to Solutions. 1998, Williamsburg, VA , USA: IEEE Computer Society Press, Los Alamitos, CA.
- Xu J, Randell B, Romanovsky A et al. . In: 3rd International Workshop on Design for Validation. 1998, Louvain-La-Neuve, Belgium.
- Romanovsky A, Xu J, Randell B. . In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
- Randell B. . IEEE Annals of the History of Computing 1998, 20(1), 51-54.
- Benjamin R, Gladman B, Randell B. . Computer Journal 1998, 41(7), 429-433.
- Xu J, Randell B, Romanovsky A, Stroud RJ. . In: International Symposium on Special Topics of Computers. 1998, China.
- Zorzo AF, Romanovsky A, Randell B, Stroud RJ, Welch I, Xu J. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1998. Department of Computing Science Technical Report Series 619.
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 595.
- Xu J, Romanovsky A, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 612.
- Xu J, Romanovsky A, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 596.
- Romanovsky A, Xu J, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 618.
- Romanovsky A, Randell B, Stroud R, Xu J, Zorzo AF. . Journal of Systems Architecture 1997, 43(10), 687-699.
- Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 561.
- Randell B. . Computing Reviews 1997, 38(11), 558-559.
- Randell B, Xu J, Zorzo AF. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 597.
- Xu J, Randell B. . IEEE Transactions on Reliability 1997, 46(1), 60-68.
- Xu J, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 594.
- Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud R, Welch I. . In: OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 1997, Atlanta, Georgia, USA: ACM.
- Lait AJ, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1996. Department of Computing Science Technical Report Series 550.
- Randell B. . IEEE Annals of the History of Computing 1996, 18(3), 56.
- Romanovsky A, Xu J, Randell B. . In: 16th IEEE International Conference on Distributed Computing Systems (ICDCS). 1996, Hong Kong, China: IEEE Computer Society Press.
- Zorzo A, Xu J, Randell B. . In: 23rd Brazilian Software and Hardware Seminars. 1996, Recife, Brazil.
- Xu J, Randell B, Zorzo AF. . In: 1996 International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability (CADTED). 1996, Beijing, China: International Academic Publishers.
- Randell B. . In: Dumas, M, ed. Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain. Paris, France: Presses Universitaires de France, 1996.
- Xu J, Randell B. . In: International Conference on Parallel and Distributed Systems (ICPADS). 1996, Tokyo, Japan: IEEE Computer Society Press.
- Romanovsky A, Xu J, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1995. Department of Computing Science Technical Report Series 542.
- Randell B. . In: 4th IFIP WG10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA). 1995, San Diego, CA, USA: Springer-Verlag.
- Xu J, Randell B, Romanovsky A, Rubira CMF, Stroud RJ, Zhixue W. . In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE.
- Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1995. Department of Computing Science Technical Report Series 507.
- Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z, Xu J. . In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995, pp.87-101.
- Randell B. . In: Quatrième colloque: "Histoire de l'informatique", Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). 1995, Campus de Beaulieu, Rennes, France: IRISA, France.
- Rubira CMF, Randell B. . In: 6° Sympósio de Computadores Tolerantes a Falhas, XV Congresso da Sociedade Brasileira de Computação. 1995, Brazil: Instituto de Informática, Universidade Federal do Rio Grande do Sul.
- Randell B, Laprie J-C, Kopetz H, Littlewood B, ed. . Brussels: Springer-Verlag, 1995.
- Xu J, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1995. Department of Computing Science Technical Report Series 515.
- Randell B. . Computing Reviews 1995, 35(6), 220.
- Randell B. . In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE Computer Society Press.
- Fabre J-C, Deswarte Y, Randell B. . In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
- Randell B. . In: Randell, B; Ringland, G; Wulf, WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994, pp.B27-B29.
- Randell B, Xu J. . In: Marciniak, J.J, ed. Encyclopedia of Software Engineering. New York, USA: Wiley, 1994, pp.1037-1038.
- Randell B, Xu J. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1994. Department of Computing Science Technical Report Series 479.
- Randell B, Ringland G, Wulf WA, ed. . Stevenage: ICL and the Commission of the European Communities, 1994.
- Xu J, Randell B, Rubira-Calsavara CMF, Stroud RJ. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1994. Department of Computing Science Technical Report Series 498.
- Randell B. . In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
- Randell B, Xu J. . In: Lyu, M, ed. Software Fault Tolerance. Chichester: John Wiley & Sons, 1994, pp.1-22.
- Randell B. . IEEE Annals of the History of Computing 1994, 16(4), 6-14.
- Xu J, Randell B, Rubira CMF, Stroud RJ. . In: Fault-Tolerant Parallel and Distributed Systems. 1994, College Station, Texas, USA: IEEE Press.
- Fabre JC, Deswarte Y, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 410.
- Fabre J-C, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 419.
- Randell B. . In: CNRS-LAAS 25th Anniversary Conference. 1993, Toulouse, France: Cépaduès-Éditions.
- Landwehr CE, Randell B, Simoncini L, ed. . Berlin; New York: Springer-Verlag, 1993.
- Fabre J-C, Deswarte Y, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 438.
- Xu J, Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 444.
- Randell B, Xu J. . In: 1st PDCS2 Open Workshop. 1993, Toulouse, France.
- Randell B. . Computers in Genealogy 1993, 4(10), 424-437.
- Shrivastava SK, Mancini L, Randell B. . Software: Practice and Experience 1993, 23(7), 773-798.
- Fabre J-C, Randell B. . In: 2nd European Symposium on Research in Computer Security (ESORICS). 1992, Toulouse, France: Springer-Verlag.
- Anderson T, Avizienis A, Carter WC, Costes A, Cristian F, Koga Y, Kopetz H, Lala JH, Laprie JC, Meyer JF, Randell B, Robinson AS. . Wien; New York: Springer-Verlag, 1992.
- Randell B, Laprie J-C. . Bulletin of EATCS 1992, 48(Oct), 55-87.
- Randell B. . IEEE Annals of the History of Computing 1992, 14(2), 51-53.
- Randell B. . Computing Reviews 1992, 33(1), 78.
- Xu J, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1992. Computing Laboratory Technical Report Series 388.
- Randell B. . In: Future Tendencies in Computer Science, Control and Applied Mathematics International Conference on the Occasion of the 25th Anniversary of INRIA. 1992, Paris, France: Springer-Verlag.
- Randell B. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1992. Department of Computing Science Technical Report Series 396.
- Randell B. . In: Operating Systems of the 90s and Beyond. 1991, Dagstuhl Castle, Germany: Springer-Verlag.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 330.
- Randell B. . In: 10th IEEE Symposium on Reliable Distributed Systems. 1991, Pisa, Italy: IEEE Computer Society Press.
- Randell B, Fabre JC. . In: International Workshop on Object-Orientation in Operating Systems. 1991, Palo Alto, California, USA: IEEE Technical Committee on Operating Systems and Application Environments (TCOS).
- Randell B, Fabre J-C. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 337.
- Trouessin G, Deswarte Y, Fabre J-C, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 331.
- Trouessin G, Deswarte Y, Fabre JC, Randell B. . In: 14th National Computer Security Conference. 1991, Washington, USA.
- Randell B, Laprie J-C. . Bulletin of EATCS 1991, 44, 61-86.
- Randell B, Laprie J-C. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 343.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 327.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1990. Computing Laboratory Technical Report Series 311.
- Randell B. . In: Eames, C., Eames, R, ed. A Computer Perspective: Background to the Computer Age. Cambridge, Massachusetts, USA: Harvard University Press, 1990, pp.161-163.
- Randell B. . In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.ix-xi.
- Randell B. . La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
- Dobson JE, McDermid J, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1990. Computing Laboratory Technical Report Series 306.
- Dobson JE, Laprie J-C, Randell B. . Bulletin of EATCS 1990, 40, 100-116.
- Randell B. . La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
- Randell B. . In: Anderson, T, ed. Resilient Computing Systems. Chichester, UK: John Wiley & Sons, 1990, pp.29-43.
- Shrivastava SK, Mancini LV, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1990. Computing Laboratory Technical Report Series 305.
- Randell B. . In: 11th IFIP World Computer Congress: Information Processing 89. 1989, San Francisco, California, USA: North-Holland/IFIP.
- Dobson JE, Randell B. . Communications of the ACM 1989, 32(4), 420-422.
- SHRIVASTAVA SK, MANCINI LV, RANDELL B. ON THE DUALITY OF FAULT TOLERANT SYSTEM STRUCTURES. LECTURE NOTES IN COMPUTER SCIENCE 1988, 309, 19-37.
- Randell B. . In: Avizienis, A., Kopetz, H., Laprie, J.-C, ed. The Evolution of Fault-Tolerant Computing. Berlin; New York: Springer-Verlag, 1987, pp.251-270.
- Randell B. . In: IT Forum at the 4th ESPRIT Conference: Achievements and Impacts (Esprit). 1987, Brussels, Belgium: Elsevier Science BV (North-Holland).
- Shrivastava SK, Mancini LV, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1987. Computing Laboratory Technical Report Series 248.
- Shrivastava SK, Mancini LV, Randell B. . In: Experiences with Distributed Systems. 1987, Kaiserslautern, Germany: Springer-Verlag.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1987. Computing Laboratory Technical Report Series 232.
- Black JP, Marshall LF, Randell B. . Proceedings of the IEEE 1987, 75(5), 709-718.
- Randell B. . In: Milcomp. 1986, London, UK.
- Dobson JE, Randell B. . In: Conference on Security and Privacy. 1986, Oakland, USA: IEEE.
- Dobson JE, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1986. Computing Laboratory Technical Report Series 214.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1986. Computing Laboratory Technical Report Series 218.
- Campbell RH, Randell B. . IEEE Transactions on Software Engineering 1986, 12(8), 811-826.
- Randell B. . In: Skwirzynski, J.K, ed. Software System Design Methods. Berlin; New York: Springer-Verlag, 1986, pp.35-52.
- Randell B, Dobson JE. . In: 5th IEEE International Symposium on Reliability in Distributed Software and Database Systems. 1986, Los Angeles, CA, USA: IEEE Computer Society Press.
- Randell B. . Computer Journal 1986, 29(4), 300-306.
- Black JP, Marshall LF, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1986. Computing Laboratory Technical Report Series 220.
- Randell B. . In: Masani, P, ed. Norbert Wiener: Collected Works, Vol. IV. Cambridge, Massachusetts, USA: MIT Press, 1985, pp.135.
- Randell B. . Computer Architecture News 1985, 13(2), 19-21.
- Panzieri F, Randell B. . IEEE Transactions on Software Engineering 1985, 11(10), 1016-1032.
- Randell B. . In: Shrivastava, S.K, ed. Reliable Computer Systems: Collected Papers of the 缅北禁地 Reliability Project. Heidelberg: Springer-Verlag, 1985.
- Alty J, Brooks A, Randell B. . In: Barnetson, P, ed. The Research and Academic Users Guide to the IBM Personal Computer. Portsmouth, UK: IBM United Kingdom Limited, 1985, pp.13-25.
- Randell B, Dobson JE. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1985. Computing Laboratory Technical Report Series 210.
- Bennett KH, Marshall LF, Randell B. . Computer Architecture Technical Committee Newsletter 1985, 23-38.
- Bennett KH, Marshall LF, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1985. Computing Laboratory Technical Report Series 201.
- RANDELL B. SECURITY AND PRIVACY - IBM UNIVERSITY-OF-NEWCASTLE-UPON-TYNE SEMINAR, SEPTEMBER 1984. UNIVERSITY COMPUTING 1985, 7(1), 60-60.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1985. Computing Laboratory Technical Report Series 198.
- Anyanwu JA, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1985. Computing Laboratory Technical Report Series 204.
- Randell B. . InterMedia 1984, 12(4-5), 84-85.
- Randell B. . In: 4th Jerusalem Conference on Information Technology: Next Decade in Information Technology (JCIT). 1984, Jerusalem, Israel: IEEE Computer Society Press.
- Randell B. . In: CERN. 1984, School of Computing, Aiguablava, Catalonia, Spain.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1984. Computing Laboratory Technical Report Series 194.
- Rushby JM, Randell B. . Computer 1983, 16(7), 55-67.
- Randell B. . Annals of the History of Computing 1983, 5(1), 60-63.
- Campell RH, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1983. Computing Laboratory Technical Report Series 186.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1983. Computing Laboratory Technical Report Series 189.
- Panzieri F, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1983. Computing Laboratory Technical Report Series 190.
- Campbell RH, Anderson T, Randell B. . 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. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1983. Computing Laboratory Technical Report Series 187.
- Randell B. . In: 3rd IEEE Symposium on Reliability on Distributed Software and Database Systems. 1983, Clearwater Beach, Florida, USA: IEEE Computer Society Press.
- Rushby JM, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1982. Computing Laboratory Technical Report Series 182.
- Randell B. . IEEE Annals of the History of Computing 1982, 4(4), 327-341.
- Brownbridge DR, Marshall LF, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1982. Computing Laboratory Technical Report Series 175.
- Brownbridge DR, Marshall LF, Randell B. . Software: Practice and Experience 1982, 12(12), 1147-1162.
- Randell B, ed. . Berlin; New York: Springer, 1982.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1982. Computing Laboratory Technical Report Series 181.
- Randell B, Treleaven PC, ed. . Englewood Cliffs, New Jersey, USA: Prentice Hall International, 1982.
- Best E, Randell B. . Acta Informatica 1981, 16(1), 93-124.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1981. Computing Laboratory Technical Report Series 164.
- Randell B. . In: 11th Annual International Symposium on Fault-Tolerant Computing (FTCS). 1981, Portland, Maine, USA: IEEE Computer Society Press.
- Randell B. . Science 1981, (214), 4519.
- Randell B. Foreword. In: Stone, H, ed. Fundamentals of Computer Architecture. Science Research Associates, 1980.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1980. Computing Laboratory Technical Report Series 154.
- Randell B. . In: Metropolis, N., Howlett, J., Rota, G.-C, ed. A History of Computing in the Twentieth Century. New York, USA: Academic Press, 1980, pp.47-92.
- Best E, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1979. Computing Laboratory Technical Report Series 130.
- Randell B. . IEEE Annals of the History of Computing 1979, 1(2), 101-207.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1979. Computing Laboratory Technical Report Series 140.
- Anderson T, Randell B, ed. . New York: Cambridge University Press, 1979.
- Randell B. . In: Perrot, M. et. al, ed. Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle. Paris, France: Presses Universitaires de France, 1979.
- Randell B. . In: 4th International Conference on Software Engineering. 1979, Munich, Germany: IEEE Computer Society.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1979. Computing Laboratory Technical Report Series 138.
- Randell B. . In: European Conference on Applied Information Technology (Euro IFIP 79). 1979, London, UK: North-Holland.
- Randell B. . In: Anderson, T., Randell, B, ed. Computing Systems Reliability. New York, USA: Cambridge University Press, 1979, pp.1-18.
- Randell B. . The Computer Bulletin 1978, 2, 10.
- Randell B, Lee PA, Treleaven PC. . ACM Computing Surveys 1978, 10(2), 123-165.
- Randell B, Lee PA, Treleaven PC. . In: Flynn, M.J., Gray, J. and Jones, A.K. et. al, ed. Operating Systems: An Advanced Course. Berlin: Springer-Verlag, 1978, pp.283-393.
- Randell B. . Computing Reviews 1978, 19, 221.
- Elliott WD, Randell B. . Toronto, Canada: Computer Systems Research Group, University of Toronto, 1978. 14.
- Merlin PM, Randell B. . In: 8th International Conference on Fault-Tolerant Computing (FTCS). 1978, Toulouse, France: IEEE Computer Society Press.
- Treleavan PC, Farrell EP, Ghani N, Jones SB, Randell B, Smith PJ. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1978. Computing Laboratory Technical Report Series 126.
- Merlin PM, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1977. Computing Laboratory Technical Report Series 113.
- Randell B, Lee PA, Treleavan PC. . 缅北禁地 upon Tyne: Computing Laboratory, The University of 缅北禁地 upon Tyne, 1977. Computing Laboratory Technical Report Series 102.
- Melliar-Smith PM, Randell B. . In: Software Engineering Notes: ACM Conference on Language Design For Reliable Software. 1977, Raleigh, North Carolina, USA: ACM Press.
- Randell B. . In: Ralston, A., Meek, C. L, ed. Encyclopaedia of Computer Science. New York: Petrocelli/Charter Publishers, 1976, pp.532-535.
- Naur P, Randell B, Buxton JN. . New York: Petrocelli/Charter, 1976.
- Melliar-Smith PM, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1976. Computing Laboratory Technical Report Series 95.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1976. Computing Laboratory Technical Report Series 90.
- Randell B. . Bulletin of the Institute of Mathematics and its Applications 1976, 12(11-12), 335-346.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1976. Computing Laboratory Technical Report Series 91.
- Randell B. . In: Calcolo: Meeting on Twenty years of Computer Science. 1975, Pisa, Italy: Springer Italia Srl.
- Randell B. . In: International Conference on Reliable Software. 1975, Los Angeles, CA, USA: ACM Press.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1975. Computing Laboratory Technical Report Series 75.
- Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. . In: International Symposium on Operating Systems: Theoretical and Practical Aspects. 1974, Rocquencourt, France: Springer-Verlag.
- Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1974. Computing Laboratory Technical Report Series 59.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1974. Computing Laboratory Technical Report Series 57.
- Randell B. . In: INFOTECH State of the Art Report on Computer Design. Maidenhead: Infotech Information, 1974, pp.369-384.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1974. Computing Laboratory Technical Report Series 65.
- Horning JJ, Randell B. . ACM Computing Surveys 1973, 5(1), 5-30.
- Randell B. . New Scientist 1972, 73(1038), 346-348.
- Randell B. . In: Meltzer, B., Michie, D, ed. Machine Intelligence. Edinburgh, UK: Edinburgh University Press, 1972, pp.3-20.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1972. Computing Laboratory Technical Report Series 33.
- Randell B. . In: IFIP Congress 1971: Information Processing 71. 1972, Ljubljana, Yugoslavia: North-Holland Publishing.
- Horning JJ, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1972. Computing Laboratory Technical Report Series 31.
- Denning PJ, Randell B, ed. . New York, USA: ACM Press, 1972.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1972. Computing Laboratory Technical Report Series 38.
- Alderson A, Lynch WC, Randell B. . In: Hoare, C.A.R., Perrott, R.H, ed. Operating Systems Techniques. New York; London: Academic Press, 1972, pp.152-167.
- Cocke J, Schorr H, Randell B, Sussenguth E. . USA: IBM, 3,577,189, 1971.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1971. Computing Laboratory Technical Report Series 20.
- Randell B. . In: Turski, W, ed. Efficient Production of Large Programs. Warsaw, Poland: Computation Centre of the Polish Academy of Sciences, 1971, pp.35-38.
- Randell B. . The Computer Journal 1971, 14(3), 317-326.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1971. Computing Laboratory Technical Report Series 15.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1971. Computing Laboratory Technical Report Series 17.
- Coffman EG, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1971. Computing Laboratory Technical Report Series 16.
- Coffman EG, Randell B. . Acta Informatica 1971, 1(1), 1-13.
- Alderson A, Lynch WC, Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1971. Computing Laboratory Technical Report Series 26.
- Dijkstra EW, Duncan FG, Garwick JV, Hoare CAR, Randell B, Seegmueller G, Turski WM, Woodger M. . ALGOL Bulletin 1970, 31, 7.
- Randell B, Buxton JN, ed. . Brussels, Belgium: Scientific Affairs Division, NATO, 1970.
- Randell B. . 1970, 缅北禁地 upon Tyne: University of 缅北禁地 upon Tyne.
- Randell B. . Communications of the ACM 1969, 12(7), 365-369, 372.
- Conway L, Randell B, Rozenberg DP, Senzig DN. . Yorktown Heights, NY, USA: IBM T. J. Watson Research Center, 1969. RJ 565.
- Randell B. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1969. Computing Laboratory Technical Report Series 4.
- Naur P, Randell B, ed. . Brussels, Belgium: Scientific Affairs Division, NATO, 1969.
- Horning JJ, Randell B. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1969. RC 2459.
- Randell B. . Software Engineering 1969, 204-208.
- Randell B. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2102.
- Kuehner CJ, Randell B. . In: Fall Joint Computer Conference. 1968, San Francisco, California, USA.
- Kuehner CJ, Randell B. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC-2099.
- Randell B, Kuehner CJ. . Communications of the ACM 1968, 11(5), 297-306.
- Zurcher FW, Randell B. . In: IFIP Congress 1968: Information Processing. 1968, Edinburgh, UK: North-Holland Publishing.
- Zurcher FW, Randell B. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2292.
- Zurcher FW, Randell B. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. SIMP-1968-50.
- Randell B. . Computing Reviews 1968, 9, 415-416.
- Randell B. . Computing Reviews 1968, 9, 333.
- Randell B. . Computing Reviews 1968, 9, 338.
- Randell B. . Computing Reviews 1968, 9, 452.
- Randell B, Zweig E, Lehman M. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC 1842.
- Randell B, Kuehner CJ. . Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC-1837.
- Randell B. . Computing Reviews 1967, 8(1), 49.
- Randell B. . Computing Reviews 1966, 7, 412.
- Randell B. . Computing Reviews 1965, 6(1), 30.
- Randell B. . Computing Reviews 1965, 6(3), 398.
- Randell B, Russell LJ. . New York, USA: Academic Press, 1964.
- Randell B. . The Computer Bulletin 1964, 7(4), 136-137.
- Randell B, Russell LJ. . Journal of the ACM 1964, 11(2), 159-167.
- Randell B. . In: Wegner, P, ed. Introduction to System Programming. London, UK: Academic Press, 1964, pp.122-136.
- Randell B. . APIC Bulletin 1964, (21).
- Randell B. . Communications of the ACM 1963, 6(8), 446.
- Randell B. . APIC Bulletin 1963, (17), 39-41.
- Randell B. . APIC Bulletin 1963, (18), 9-11.
- Randell B. . Communications of the ACM 1962, 5(1), 50.
- Randell B, Broyden CG. . Communications of the ACM 1962, 5(1), 50.
- Randell B, Russell LJ. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 844.
- Randell B, Russell LJ. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 841.
- Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 867.
- Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 872.
- Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962.
- Kelly MJ, Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 585.
- Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 603.
- Kelly MJ, Randell B. . Whetstone, Leicester: Atomic Power Division, English Electric Co, 1958. W/AT 216.