Lindsay Groves

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying Whiley programs with Boogie Journal of Automated Reasoning	2022-12-12	Paper
Syntactically restricting bounded polymorphism for decidable subtyping	2021-07-08	Paper
Towards formally specifying and verifying transactional memory Formal Aspects of Computing	2014-11-11	Paper
Verifying concurrent data structures by simulation	2013-12-04	Paper
Refinement and the Z schema calculus	2013-08-19	Paper
Theorem prover approach to semistructured data design Formal Methods in System Design	2010-11-30	Paper
Reasoning about nonblocking concurrency	2009-10-28	Paper
Trace-based derivation of a scalable lock-free stack algorithm Formal Aspects of Computing	2009-05-27	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
scientific article; zbMATH DE number 1303991 (Why is no real title available?)	1999-07-11	Paper
scientific article; zbMATH DE number 1104396 (Why is no real title available?)	1998-04-01	Paper
scientific article; zbMATH DE number 756076 (Why is no real title available?)	1995-05-17	Paper
scientific article; zbMATH DE number 756073 (Why is no real title available?)	1995-05-17	Paper
scientific article; zbMATH DE number 140004 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 140010 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 4087078 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Lindsay Groves