Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,055,569 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
British Colloquium for Theoretical Computer Science
Computer scientist
Laboratory for Foundations of Computer Science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Chasing the Trace of the Sacred: Postmodern Spiritualities in Contemporary American Fiction
A. Sallah
2011
Corpus ID: 170498150
Chasing the Trace of the Sacred: Postmodern Spiritualities in Contemporary American Fiction. (August 2010) Asmahan Sallah, B.A…
Expand
2010
2010
Lifting non-finite axiomatizability results to extensions of process algebras
L. Aceto
,
W. Fokkink
,
A. Ingólfsdóttir
,
M. Mousavi
Acta Informatica
2010
Corpus ID: 626144
This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural…
Expand
2010
2010
The media assemblage: The twentieth-century novel in dialogue with film, television, and new media
Paul Hackman
2010
Corpus ID: 160314033
At several moments during the twentieth-century, novelists have been made acutely aware of the novel as a medium due to…
Expand
2010
2010
Perspective: technology management in the service sector
T. Daim
,
A. Jetter
,
H. Demirkan
,
P. Maglio
International Journal of Services Technology and…
2010
Corpus ID: 5850688
This paper reports out of the symposium on 'Technology Management in the Service Sector' which was held as a part of Portland…
Expand
2008
2008
Lifting Non-Finite Axiomatizability Results to Extensions of Process
L. Aceto
,
W. Fokkink
,
A. Ingólfsdóttir
,
M. Mousavi
2008
Corpus ID: 263803615
This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral…
Expand
2001
2001
'A retrospective sort of arrangement': Ulysses and the poetics of hypertextuality
Darren Tofts
2001
Corpus ID: 56272175
Hypertextuality is a term that we have come to associate with digital connectivity, hypertext and the computer revolution. It is…
Expand
Review
1997
Review
1997
Ecology, evolution and division of labour in social insects
J. Traniello
,
R. Rosengaus
Animal Behaviour
1997
Corpus ID: 44604224
Caste and division of labour have formed the core of the study of the organization of insect societies for the past four decades…
Expand
1997
1997
Division of labour and ‘foraging for work’: simulating reality versus the reality of simulations
S. Robson
,
S. Beshers
Animal Behaviour
1997
Corpus ID: 38786973
[Extract] Division of labour by worker age is one of the most prominent and widespread features of colony organization in the…
Expand
1990
1990
Priority as extremal probability
S. Smolka
,
B. Steffen
Formal Aspects of Computing
1990
Corpus ID: 1487075
We extend the stratified model of probabilistic processes to obtain a very general notion ofprocess priority. The main idea is to…
Expand
1990
1990
Reactive , Generative and Strati ed Modelsof Probabilistic
ProcessesRob
,
J. V. Glabbeek
1990
Corpus ID: 267902363
We introduce three models of probabilistic processes, namely, reactive, generative and strati ed. These models are investigated…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE