Manfred Kerber

Publications

  1. 2017
  2. Published
  3. 2016
  4. Published

    An introduction to mechanized reasoning

    Manfred Kerber, Christoph Lange-Bever & Colin Rowat, Oct 2016, In : Journal of Mathematical Economics. 66, p. 26-39 14 p.

    Research output: Contribution to journalArticle

  5. E-pub ahead of print

    Investigating airplane safety and security against insider threats using logical modeling

    Manfred Kerber, 4 Aug 2016. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  6. 2015
  7. Published

    Pillage games with multiple stable sets

    Manfred Kerber & Colin Rowat, Nov 2015, In : International Journal of Game Theory. 44, 4, p. 993-1013

    Research output: Contribution to journalArticle

  8. Published

    Problem set for first order theorem provers in the TPTP format

    Marco Caminati, Manfred Kerber & Colin Rowat, 16 Jun 2015

    Research output: Non-textual formData set/Database

  9. Published

    Sound auction specification and implementation

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 15 Jun 2015, EC '15 Proceedings of the Sixteenth ACM Conference on Economics and Computation . Roughgarden, T., Feldman, M. & Schwarz, M. (eds.). New York, NY, USA: Association for Computing Machinery , p. 547-564 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    VCG - Combinatorial Vickrey-Clarke-Groves Auctions

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 30 Apr 2015, In : Archive of Formal Proofs. p. 1-134 134 p., 2015-04-30.

    Research output: Contribution to journalArticle

  11. Published

    Reasoning about Dynamic Auctions

    Marco Caminati, Manfred Kerber & Colin Rowat, 9 Apr 2015, p. 15-16. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  12. Published

    Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

    Manfred Kerber (ed.), (ed.), (ed.), (ed.) & Volker Sorge (ed.), 2015, Springer. 359 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9150)

    Research output: Book/ReportBook

  13. 2014
  14. Published

    Reasoning about Auctions

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 23 Jul 2014, p. 10-11. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

Previous 1 2 3 4 5 6 7 8 9 Next