Kerber, M, Carette, J, Kaliszyk, C, Rabe, F & Sorge, V (eds) 2015, Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9150, vol. 9150, Springer. https://doi.org/10.1007/978-3-319-20615-8
Kammueller, F, Kerber, M & Probst, CW 2017, 'Insider threats and auctions: formalization, mechanized proof, and code generation', Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, vol. 8, no. 1, pp. 44-78. https://doi.org/10.22667/JOWUA.2017.03.31.044
Rowat, C, Kerber, M & Lange-Bever, C 2016, 'An introduction to mechanized reasoning', Journal of Mathematical Economics, vol. 66, pp. 26-39. https://doi.org/10.1016/j.jmateco.2016.06.005
Mackenzie, S, Kerber, M & Rowat, C 2015, 'Pillage games with multiple stable sets', International Journal of Game Theory, vol. 44, no. 4, pp. 993-1013. https://doi.org/10.1007/s00182-015-0462-1
Caminati, MB, Kerber, M, Lange-Bever, C & Rowat, C 2015, 'VCG - Combinatorial Vickrey-Clarke-Groves Auctions', Archive of Formal Proofs, pp. 1-134.
Rowat, C & Kerber, M 2014, 'Sufficient conditions for unique stable sets in three agent pillage games', Mathematical Social Sciences, vol. 69, pp. 69-80. https://doi.org/10.1016/j.mathsocsci.2014.02.003
Kerber, M 2014, A Proof and Some Representations. in JL Wyatt, DD Petters & D Hogg (eds), From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition : A Collection in Honour of Aaron Sloman. Cognitive Systems Monographs, vol. 22, Springer, pp. 65-73. https://doi.org/10.1007/978-3-319-06614-1_5
Caminati, MB, Kerber, M & Rowat, C 2015, 'Reasoning about Dynamic Auctions' Automated Reasoning Workshop (ARW), Birmingham, United Kingdom, 9/04/15 - 10/04/15, pp. 15-16.
Caminati, MB, Kerber, M, Lange-Bever, C & Rowat, C 2014, 'Reasoning about Auctions' Joint Automated Reasoning Workshop and Deduktionstreffen, Vienna, United Kingdom, 23/07/14 - 24/07/14, pp. 10-11.
Caminati, MB, Kerber, M, Lange-Bever, C & Rowat, C 2015, Sound auction specification and implementation. in T Roughgarden, M Feldman & M Schwarz (eds), EC '15 Proceedings of the Sixteenth ACM Conference on Economics and Computation . Association for Computing Machinery , New York, NY, USA, pp. 547-564, 16th ACM Conference on Economics and Computation, Portland, United States, 15/06/15. https://doi.org/10.1145/2764468.2764511
Caminati, MB, Kerber, M, Lange, C & Rowat, C 2014, Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? in SM Watt, JH Davenport, AP Sexton, P Sojka & J Urban (eds), Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. vol. 8543 LNCS, Lecture Notes in Computer Science, vol. 8543, Springer, pp. 236-251, Conference on Intelligent Computer Mathematics, Coimbra, United Kingdom, 7/07/14. https://doi.org/10.1007/978-3-319-08434-3_18
Caminati, MB, Kerber, M & Rowat, C, Problem set for first order theorem provers in the TPTP format, 2015, Data set/Database.
Kammueller, F & Kerber, M 2016, 'Investigating airplane safety and security against insider threats using logical modeling' Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States, 23/05/16 - 25/05/16, . https://doi.org/10.1109/SPW.2016.47
Caminati, MB, Kerber, M & Rowat, C 2014, 'Budget imbalance criteria for auctions: A formalized theorem' Paper presented at Trends in Contemporary Computer Science, Białystok, Poland, 1/07/14 - 4/07/14, pp. 35-44.
Lange, C, Rowat, C & Kerber, M, The ForMaRE Project: Formal Mathematical Reasoning in Economics, 2013, Web publication/site, Springer.
View all publications in research portal