Colin Rowat

According to our database, Colin Rowat authored at least 19 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Asymmetric majority pillage games.

Manfred Kerber, Colin Rowat, Naoki Yoshihara

Int. J. Game Theory, December, 2023

2022

Joint Shapley values: a measure of joint feature importance.

Chris Harris, Richard Pymar, Colin Rowat

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Interpretability in Safety-Critical FinancialTrading Systems.

Gabriel Deza, Adelin Travers, Colin Rowat, Nicolas Papernot

CoRR, 2021

2020

Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability.

Christopher Frye, Colin Rowat, Ilya Feige

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2016

An Introduction to Mechanized Reasoning.

Manfred Kerber, Christoph Lange, Colin Rowat

CoRR, 2016

2015

Pillage games with multiple stable sets.

Simon Mackenzie, Manfred Kerber, Colin Rowat

Int. J. Game Theory, 2015

VCG - Combinatorial Vickrey-Clarke-Groves Auctions.

Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat

Arch. Formal Proofs, 2015

Sound Auction Specification and Implementation.

Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat

Proceedings of the Sixteenth ACM Conference on Economics and Computation, 2015

2014

Sufficient conditions for unique stable sets in three agent pillage games.

Colin Rowat, Manfred Kerber

Math. Soc. Sci., 2014

Foreword.

Manfred Kerber, Christoph Lange, Colin Rowat

Math. Comput. Sci., 2014

Budget Imbalance Criteria for Auctions: A Formalized Theorem.

Marco B. Caminati, Manfred Kerber, Colin Rowat

CoRR, 2014

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Proving soundness of combinatorial Vickrey auctions and generating verified executable code.

Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat

CoRR, 2013

The ForMaRE Project - Formal Mathematical Reasoning in Economics.

Christoph Lange, Colin Rowat, Manfred Kerber

Proceedings of the Intelligent Computer Mathematics, 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics, 2013

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

Christoph Lange, Manfred Kerber, Colin Rowat

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2011

Optimal voting rules for two-member tenure committees.

Ian Ayres, Colin Rowat, Nasser Zakariya

Soc. Choice Welf., 2011

A Ramsey bound on stable sets in Jordan pillage games.

Manfred Kerber, Colin Rowat

Int. J. Game Theory, 2011

Using <i>Theorema</i> in the Formalization of Theoretical Economics.

Manfred Kerber, Colin Rowat, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011