Chris Tofts | Academic Influence

Chris Tofts's AcademicInfluence.com Rankings

Chris Tofts

Computer Science

#2885

World Rank

#3020

Historical Rank

Database

#9365

World Rank

#9859

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Chris Tofts's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Chris Tofts Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Chris M. N. Tofts is an English computer scientist. Education Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at the University of Edinburgh, Scotland.

(See a Problem?)

Chris Tofts's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Temporal Calculus of Communicating Systems (1990) (479)
Self-organizing nest construction in ants: sophisticated building by blind bulldozing (1992) (169)
Doing the right thing: Ants, honeybees and naked mole-rats. (1992) (140)
Foraging for work: how tasks allocate workers (1994) (128)
Algorithms for task allocation in ants. (A study of temporal polyethism: Theory) (1993) (116)
Population dynamics under parasitic sex ratio distortion. (1999) (91)
Relating Processes With Respect to Speed (1991) (77)
Processes with probabilities, priority and time (1994) (73)
A Calculus and logic of resources and processes (2006) (66)
A Synchronous Calculus of Relative Frequency (1990) (64)
Evolutionary ecology of vertically transmitted parasites: transovarial transmission of a microsporidian sex ratio distorter in Gammarus duebeni (1995) (58)
Behavioural Abstraction in TCCS (1992) (35)
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (2007) (30)
Compositional Performance Analysis (1997) (27)
Death by a thousand SLAs : a short study of commercial suicide pacts (2006) (24)
A denotational semantics for a process-based simulation language (1998) (22)
Proof methods and pragmatics for parallel programming (1990) (21)
Studies of the division of labour: neither physics nor stamp collecting (1997) (21)
The autosynchronization of the ant Leptothorax acervorum (Fabricius) : theory, testability and experiment (1992) (20)
Mutual exclusion as a mechanism for information exchange within ant nests (2005) (20)
A path choice algorithm for ants (1992) (18)
Co-existence of hosts and sex ratio distorters in structured populations (2000) (18)
Getting Demos models right. (I). Practice (2001) (13)
Getting Demos models right. (II) ... and theory (2001) (10)
The effect of point of expression on ESS sex ratios. (1995) (10)
Efficiently Modelling Resource in a Process Algebra (2003) (9)
Efficiently Modelling Resource in a Process Algebra (2003) (9)
Relating operational and denotational descriptions of [pi]Demos (1997) (8)
Algorithms for ant foraging (1993) (8)
Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences (2007) (8)
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (1995) (7)
The Evolution of Polygenic Sex Determination with Potential for Environmental Manipulation (2007) (7)
Exact, analytic, and locally approximate solutions to discrete event-simulation problems (1998) (7)
Timed Concurrent Processes (1990) (6)
Public Services Innovation through Technology (2007) (6)
Modelling, myth vs reality, map vs territory (2003) (6)
An overview of TCCS (1992) (5)
Model based services discovery and management (2008) (5)
Self Managed Systems-A Control Theory Perspective (2004) (4)
Process Algebra as Modelling (2006) (3)
Towards an analytic model of security flaws (2004) (3)
The Effect of the Embryonic Bottleneck on Vertical Microparasite Transmission (1996) (3)
Symbolic Approaches to Probability Distributions in Process Algebra (2000) (2)
Exploiting strong attractors to slaughter monsters - taming 10 1500 states and beyond. (2006) (2)
Erratum: Errata for Formal Aspects of Computing (2006) 18:495-517 and their consequences (Formal Aspects of Computing (2006) 18 (495-517)) (2007) (2)
DBSy in a Commercial Services Context (2005) (2)
Operational Semantics of Process-oriented Simulation Languages. Part II (1993) (2)
Denotational Semantics for Process-Based Simulation Languages. Part 1: piDemos (1997) (2)
State space reduction for asynchronous micropipelines (1996) (1)
TCCS : A Temporal Calculus of Communicating Systems ( DRAFT ) (2001) (1)
Reductionism isn ' t Functional (2004) (1)
Taking a RaSP to Enterprise Stakeholder Dissonance (2008) (1)
Compiling DEMOS 2000 into Petri Nets (2001) (1)
DEMOS 2000| A semantically justied simulation language (2001) (0)
Analytic and Locally Approximate Solutions to P,-nn ,rtio.. of Prohabilistic (2005) (0)
Managing one-time pad data (2005) (0)
Executing a print job over a network of printers (2001) (0)
to create a method and apparatus to documents (2001) (0)
Abstraction and Implementation of a Lightweight Distributed Termination Protocol (2006) (0)
EXACT SOLUTIONS TO FINITE STATE SIMULATION MODELS (1993) (0)
Normann ' s Crane 2 . 0 Operationalising Service Systems co-design (2007) (0)
Concurrency, Complexity, and Performance (2005) (0)
Fast Graph Generation for Synchronous Processes (2002) (0)
HPL-2004-222: Reductionism isn't Functional (2004) (0)
Fast Graph Generation for Synchronous Processes (2002) (0)
Network printing where document is sent directly to printer or via intermediate pre-processing device in dependence on expected performance (2001) (0)
Traffic Modelling and Probabilistic Process Abstraction (2002) (0)
Method of provisioning devices with one-time pad data and a device for use in implementing the method (2005) (0)
Securing electronic annotations on memory tags (2004) (0)

This paper list is powered by the following services:

Other Resources About Chris Tofts

en.wikipedia.org

What Schools Are Affiliated With Chris Tofts?

Chris Tofts is affiliated with the following schools: