Robert Colvin - Citegraph

Author Info

Name	Affiliation	Papers
ROBERT COLVIN	School of Information Technology and Electrical Engineering, The University of Queensland, Australia	20
Collaborators	Citations	PageRank
17	68	8.67
Referers	Referees	References
86	301	254

Search Limit

100301

Publications (20 rows)

Collaborators (17 rows)

Referers (86 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Linearizability on hardware weak memory models	0	0.34	2020
Correctness of Concurrent Objects under Weak Memory Models.	0	0.34	2018
A wide-spectrum language for verification of programs on weak memory models.	2	0.37	2018
A high-level operational semantics for hardware weak memory models.	0	0.34	2018
A sound and complete definition of linearizability on weak memory models.	0	0.34	2018
Designing a semantic model for a wide-spectrum language with concurrency.	2	0.37	2017
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.	2	0.41	2017
Modelling and analysing neural networks using a hybrid process algebra.	0	0.34	2016
An algebra of synchronous atomic steps.	5	0.49	2016
Balancing expressiveness in formal approaches to concurrency	11	0.56	2015
Integrating Requirements: The Behavior Tree Philosophy	7	0.52	2010
Calculating modules in contextual logic program refinement	1	0.37	2006
Formal Verification of an Array-Based Nonblocking Queue	24	1.14	2005
Developing Logic Programs from Specifications Using Stepwise Refinement	1	0.35	2004
Don't Care Non-determinism in Logic Program Refinement	2	0.38	2002
A refinement calculus for logic programs	3	0.41	2002
Refinement of higher-order logic programs	1	0.36	2002
Refining Logic Programs Using Types	4	0.49	2000
A Technique for Modular Logic Program Refinement	3	0.40	2000
Modular Logic Program Refinement	0	0.34	2000