Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Chris Tofts

Chris M. N. Tofts (born 1964) is an English computer scientist. Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
I always thought it was a silly title. Actually it was much more like: From the Sublime to the Ridiculous. My Candidate changed… Expand
Is this relevant?
2010
2010
This paper reports out of the symposium on 'Technology Management in the Service Sector' which was held as a part of Portland… Expand
Is this relevant?
2010
2010
At several moments during the twentieth-century, novelists have been made acutely aware of the novel as a medium due to… Expand
Is this relevant?
2010
2010
This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural… Expand
  • table 1
  • table 2
Is this relevant?
2008
2008
This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral… Expand
  • table 1
  • table 2
Is this relevant?
2001
2001
Hypertextuality is a term that we have come to associate with digital connectivity, hypertext and the computer revolution. It is… Expand
Is this relevant?
1997
1997
[Extract] Division of labour by worker age is one of the most prominent and widespread features of colony organization in the… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abstract We introduce three models of probabilistic processes, namely, reactive, generative, and stratified. These models are… Expand
Is this relevant?
1995
1995
Magnetic resonance imaging (MRI) is a noninvasive method for producing three-dimensional tomographic images of the human body… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
1993
1993
ion, using a notion of re nement instead of bisimulation. In this paper we adopt the rst approach, using a timed process algebra… Expand
Is this relevant?