Lindsay Groves - Concepedia

Author

Lindsay Groves

Also Known As

Groves, Lindsay, L. Groves, L. J. Groves, L.J Groves, Lindsay Groves, Lindsay J. Groves, Scott Uk-Jin Lee, lindsay Groves

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Victoria University of Wellington The University of Queensland Oracle (United States)ARC Centre of Excellence for Engineered Quantum Systems

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	18	452
2	Management	3	3	72
3	Business	2	2	60
4	Natural Sciences	1	1	44
5	Social Sciences	1	1	44

Lindsay Groves

Publications

621

Citations

H-Index

Page 1

	Year	Citations
DCAS is not a silver bullet for nonblocking algorithm design Simon Doherty, David Detlefs, Lindsay Groves, EngineeringComputer ArchitectureComputational ComplexityHardware SecurityShared Memory	2004	82
Towards formally specifying and verifying transactional memory Simon Doherty, Lindsay Groves, Victor Luchangco, Formal Aspects of Computing	2012	81
Verifying Concurrent Data Structures by Simulation Robert J. Colvin, Simon Doherty, Lindsay Groves Electronic Notes in Theoretical Computer Science EngineeringVerificationBackward SimulationConcurrent SystemSoftware Analysis	2005	47
Viewpoint specification and Z Mark Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Information and Software Technology Architectural DesignGeometric ModelingGeometryArchitectural ModelNatural Sciences	1994	44
Formal verification of an array-based nonblocking queue Robert J. Colvin, Lindsay Groves EngineeringNonblocking BehaviourVerificationConcurrent ProgrammingFormal Methods	2005	44
A survey of software development practices in the New Zealand software industry Lindsay Groves, R. Nickson, Greg Reeve, Software MaintenanceSoftware Development PracticeEngineeringProject ManagementSoftware Engineering	2002	41
Towards Formally Specifying and Verifying Transactional Memory Simon Doherty, Lindsay Groves, Victor Luchangco, Electronic Notes in Theoretical Computer Science Formal SpecificationEngineeringTowards Formally SpecifyingProgram AnalysisAutomated Reasoning	2009	26
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant Julian Mackay, Hannes Mehnert, Alex Potanin, EngineeringVerificationAutomated ProofFeatherweight JavaMechanized Proof	2012	25
Refinement and the Z Schema Calculus Lindsay Groves Electronic Notes in Theoretical Computer Science EngineeringSoftware EngineeringHigher-order LogicSemanticsSemantic Web	2002	21
Designing a verifying compiler: Lessons learned from developing Whiley David J. Pearce, Lindsay Groves Science of Computer Programming Program CheckingEngineeringProgram AnalysisSoftware TestingVerification	2015	21

Page 1