Christie Bolton - Citegraph

Author Info

Name	Affiliation	Papers
CHRISTIE BOLTON	Oxford University Computing Laboratory, Oxford, England	11
Collaborators	Citations	PageRank
3	132	9.27
Referers	Referees	References
130	79	89

Search Limit

100130

Publications (11 rows)

Collaborators (3 rows)

Referers (100 rows)

Referees (79 rows)

Title	Citations	PageRank	Year
A singleton failures semantics for Communicating Sequential Processes	29	1.23	2006
A hierarchy of failures-based models: theory and application	5	0.46	2005
Adding conflict and confusion to CSP	1	0.36	2005
Using the Alloy Analyzer to Verify Data Refinement in Z	19	0.84	2005
A Hierarchy of Failures-Based Models	3	0.43	2004
Analyses of the reverse path forwarding routing algorithm	7	0.99	2004
On the automatic verification of non-standard measures of consistency	5	0.60	2003
A comparison of refinement orderings and their associated simulation rules	7	0.72	2002
Refinement in Object-Z and CSP	15	0.86	2002
Using relational and behavioural semantics in the verification of object models	5	0.92	2000
On the Refinement and Simulation of Data Types and Processes	36	1.85	1999

1