Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Colin Rowat
Researcher
PaperThe ForMaRE Project - Formal Mathematical Reasoning in EconomicsAuthorship / preprint / 2013PaperJoint Shapley values: a measure of joint feature importanceAuthorship / preprint / 2022PaperBudget Imbalance Criteria for Auctions: A Formalized TheoremAuthorship / preprint / 2014PaperAn Introduction to Mechanized ReasoningAuthorship / preprint / 2016PaperProving soundness of combinatorial Vickrey auctions and generating verified executable codeAuthorship / preprint / 2013PaperSet Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?Authorship / preprint / 2014PaperA Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction TheoryAuthorship / preprint / 2013