Lindsay Groves

From MaRDI portal
Person:470037

Available identifiers

zbMath Open groves.lindsay-jMaRDI QIDQ470037

List of research outcomes





PublicationDate of PublicationType
Verifying Whiley programs with Boogie2022-12-12Paper
Syntactically restricting bounded polymorphism for decidable subtyping2021-07-08Paper
Towards formally specifying and verifying transactional memory2014-11-11Paper
Verifying concurrent data structures by simulation2013-12-04Paper
Refinement and the Z schema calculus2013-08-19Paper
Theorem prover approach to semistructured data design2010-11-30Paper
https://portal.mardi4nfdi.de/entity/Q36390412009-10-28Paper
Trace-based derivation of a scalable lock-free stack algorithm2009-05-27Paper
Program Development in Computational Logic2005-12-23Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q42506601999-07-11Paper
https://portal.mardi4nfdi.de/entity/Q43702821998-04-01Paper
https://portal.mardi4nfdi.de/entity/Q46983681995-05-17Paper
https://portal.mardi4nfdi.de/entity/Q46983651995-05-17Paper
https://portal.mardi4nfdi.de/entity/Q40283681993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40283751993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q38155641989-01-01Paper

Research outcomes over time

This page was built for person: Lindsay Groves

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:470037&oldid=7585491"
Powered by MediaWiki