Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Scott A. Starks
Hikaru Fujisaki
Michael Terry
Zhihao Li
Radu Timofte
Huang Ching Lee
carlos ma
Elkim Roa
Home
/
Author
/
ROBERT COLVIN
Author Info
Open Visualization
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
100
301
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
1