Concepedia

Lindsay Groves

LG

Statistics

Publications

23

Citations

621

H-Index

15

Active since

1994

Affiliations

Victoria University of Wellington(Current)

The University of Queensland

Oracle (United States)

ARC Centre of Excellence for Engineered Quantum Systems

Lindsay Groves is an author at Victoria University of Wellington specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisVerificationComputer EngineeringParallel ComputingAutomated Reasoning

Publications per year

1994–2020

23

Publications

23

DCAS is not a silver bullet for nonblocking algorithm design

Simon Doherty, David Detlefs, Lindsay Groves et al. · 2004 · 82 citations

Engineering, Computer Architecture, Computational Complexity +16

Towards formally specifying and verifying transactional memory

Simon Doherty, Lindsay Groves, Victor Luchangco et al. · Formal Aspects of Computing · 2012 · 81 citations

Verifying Concurrent Data Structures by Simulation

Robert J. Colvin, Simon Doherty, Lindsay Groves · Electronic Notes in Theoretical Computer Science · 2005 · 47 citations · Full text

Engineering, Verification, Backward Simulation +17

Viewpoint specification and Z

Mark Ainsworth, A. H. Cruickshank, Peter J. L. Wallis et al. · Information and Software Technology · 1994 · 44 citations

Architectural Design, Geometric Modeling, Geometry +8

Formal verification of an array-based nonblocking queue

Robert J. Colvin, Lindsay Groves · 2005 · 44 citations

Engineering, Nonblocking Behaviour, Verification +13

Rows per page

1–5 of 23