Colin Rowat

Identifiers

• name variant Colin Rowat 0.60 · backfill

Papers (6)

1. An Introduction to Mechanized Reasoning cs.LO · 2016 · author #3
2. Budget Imbalance Criteria for Auctions: A Formalized Theorem q-fin.MF · 2014 · author #3
3. Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? cs.LO · 2014 · author #4
4. Proving soundness of combinatorial Vickrey auctions and generating verified executable code cs.GT · 2013 · author #4
5. The ForMaRE Project - Formal Mathematical Reasoning in Economics cs.CE · 2013 · author #2
6. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #5

Mentions

• 1308.1779 #4 · backfill · confidence 0.70 Colin Rowat
• 1303.4194 #2 · backfill · confidence 0.70 Colin Rowat
• 1303.4193 #5 · backfill · confidence 0.70 Colin Rowat

Frequent Coauthors

• Manfred Kerber 6 shared papers
• Christoph Lange 5 shared papers
• Marco B. Caminati 4 shared papers
• Makarius Wenzel 1 shared papers
• Till Mossakowski 1 shared papers
• Wolfgang Windsteiger 1 shared papers