Skip to search formSkip to main contentSkip to account menu

Chris Tofts

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

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… 
2011
2011
Chasing the Trace of the Sacred: Postmodern Spiritualities in Contemporary American Fiction. (August 2010) Asmahan Sallah, B.A… 
2011
2011
Tradicionalmente, los disenadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno de los formalismos… 
2008
2008
Dynamic contrast enhanced magnetic resonance imaging (DCE-MRI) is a technique to measure the tracer concentration throughout a… 
2003
2003
principal values mobilized here too. It is important to keep in mind that these projects are not only advertised as democratic… 
2001
2001
Hypertextuality is a term that we have come to associate with digital connectivity, hypertext and the computer revolution. It is… 
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… 
1990
1990
We introduce three models of probabilistic processes, namely, reactive, generative and strati ed. These models are investigated…