Gordon Stewart

From MaRDI portal
Person:2323997

Available identifiers

zbMath Open stewart.gordonMaRDI QIDQ2323997

List of research outcomes





PublicationDate of PublicationType
A Library for Algorithmic Game Theory in Ssreflect/Coq2019-09-18Paper
Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees2019-09-13Paper
Brief Announcement2017-10-11Paper
Compositional CompCert2016-09-29Paper
Computational Verification of Network Programs in Coq2015-01-13Paper
Program Logics for Certified Compilers2014-07-28Paper
Verified heap theorem prover by paramodulation2014-07-21Paper
Verified Compilation for Shared-Memory C2014-04-16Paper
Enabling cutting-edge semiconductor simulation through grid technology2011-01-18Paper

Research outcomes over time

This page was built for person: Gordon Stewart

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