Manfred Kerber

Publications

  1. 2017
  2. Published

    Insider threats and auctions: formalization, mechanized proof, and code generation

    Kammueller, F., Manfred Kerber & Probst, C. W. 1 Mar 2017 In : Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications. 8, 1, p. 44-78 34 p.

    Research output: Contribution to journalArticle

  3. 2016
  4. Published

    An introduction to mechanized reasoning

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

    Research output: Contribution to journalArticle

  5. E-pub ahead of print

    Investigating airplane safety and security against insider threats using logical modeling

    Kammueller, F. & Manfred Kerber 4 Aug 2016 10 p.

    Research output: Contribution to conference (unpublished)Paper

  6. 2015
  7. Published

    Pillage games with multiple stable sets

    Mackenzie, S., 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.), Carette, J. (ed.), Kaliszyk, C. (ed.), Rabe, F. (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