Brian Randell

Known as: Newcastle Connection, Randell, UNIXes of the World Unite! 
Not to confuse with Brian Randall and Brian Randle Brian Randell (born 1936) is a British computer scientist, and Emeritus Professor at the School of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Breaking the encrypted message traffic from the German Enigma cipher machine was one of the key allied achievements of World War… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Verifiable electronic voting has been extensively researched for over twenty years, but few protocols have achieved real-life… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
Is this relevant?
2012
2012
Occurrence Nets (ON) are directed acyclic graphs that represent causality and concurrency information concerning a single… (More)
Is this relevant?
2009
2009
This paper introduces the concept of a `structured occurrence net', which as its name indicates is based on that of an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Occurrence Nets (ONs) are directed acyclic graphs t hat represent causality and concurrency information concerning a single… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We describe a prototype knowledge base that uses semantic web technologies to provide a service for querying a large and… (More)
Is this relevant?
1998
1998
Exception handling in distributed and concurrent programs is a difficult task though it is often necessary. In many cases… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We describe an interval logic for reasoning about space. The logic simpli es an earlier theory developed by Randell and Cohn, and… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We consider the problem of bringing a distributed system to a consistent state after transient failures. We address the two… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 4
  • figure 7
Is this relevant?
Review
1978
Review
1978
This paper surveys the various problems involved in achieving very high rehability from complex computing systems, and discusses… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?