Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat. 2014. Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?. Conference on Intelligent Computer Mathematics No. 8543 in Lecture Notes in Computer Science, Springer, pp. 236–251, 2014.
M. Kerber and C. Rowat. 2014. "Sufficient Conditions for Unique Stable Sets in Three Agent Pillage Games", Mathematical Social Sciences, vol 69, pp. 69 - 80, May.
A. Beardon and C. Rowat. 2013. "Efficient sets are small", Journal of Mathematical Economics, vol 49(5), pp. 367 - 374, October.
C. Lange, M. B. Caminati, M. Kerber, T. Mossakowski, M. Wenzel, C. Rowat and W. Windsteiger. 2013. "A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory", Lecture Notes in Computer Science, vol 7961, pp. 200 - 215.
M. Kerber, C. Rowat and W. Windsteiger. 2011. "Using Theorema in the Formalization of Theoretical Economics", Lecture Notes in Computer Science, vol 6824, pp. 58 - 73.
M. Kerber and C. Rowat. 2011. "A Ramsey bound on stable sets in Jordan pillage games", International Journal of Game Theory, vol 40(3), pp. 461 - 466, August.
I. Ayres and C. Rowat and N. Zakariya. 2011. "Optimal voting rules for two member tenure committees", Social Choice and Welfare, vol 36(2), pp. 323 - 354, February.
C. Rowat. 2007. "Non-Linear Strategies in a Linear Quadratic Differential Game", Journal of Economic Dynamics and Control, vol 31 (10), pp. 3179 - 3202.
C. Rowat and J. Dutta. 2007. "The Commons with Capital Markets", Economic Theory, vol 31 (2), pp. 225-254.
C. Rowat and P. Seabright. 2006. "Intermediation by Aid Agencies", Journal of Development Economics, vol 79 (2), pp. 469-491.
A formal proof of Vickrey's theorem by blast, simp, and rule, with M. Kerber and C. Lange. January 2014, Department of Economics Discussion Paper, University of Birmingham, 14-01. (Submitted to the Journal of Mathematical Economics)
View all publications in research portal