Items where Author is "Kerber, Manfred"

Journal Article

Caminati, Marco B and Kerber, Manfred and Lange-Bever, Christoph and Rowat, Colin (2015) VCG-combinatorial Vickrey-clarke-groves auctions. Archive of Formal Proofs.

Contribution in Book/Report/Proceedings

Caminati, Marco B. and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2015) Sound auction specification and implementation. In: Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15) :. ACM, pp. 547-564. ISBN 9781450334105

Caminati, Marco B and Kerber, Manfred and Rowat, Colin (2014) Budget imbalance criteria for auctions: a formalized theorem. In: Trends in Contemporary Computer Science :. arXiv preprint arXiv:1412.0542 . Bialystok University of Technology Publishing Office. ISBN 978-83-62582-58-7

Caminati, Marco B. and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2014) Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? In: International Conference on Intelligent Computer Mathematics :. Springer, pp. 236-251. ISBN 978-3-319-08433-6

Lange, Christoph and Caminati, Marco B and Kerber, Manfred and Mossakowski, Till and Rowat, Colin and Wenzel, Makarius and Windsteiger, Wolfgang (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In: Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6 :. Springer, pp. 200-215. ISBN 978-3-642-39319-8

Monograph

Caminati, Marco B and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2013) Proving soundness of combinatorial Vickrey auctions and generating verified executable code. Other. UNSPECIFIED.

Contribution to Conference

Caminati, Marco and Kerber, Manfred and Rowat, Colin (2015) Reasoning about Dynamic Auctions. In: UNSPECIFIED.

Caminati, Marco and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2014) Reasoning about Auctions. In: UNSPECIFIED.

Other

Caminati, Marco B and Kerber, Manfred (2016) Corecursion for Compositional Verification. UNSPECIFIED.

Caminati, Marco B and Kerber, Manfred and Rowat, Colin (2015) Problem set for first order theorem provers in the TPTP format. UNSPECIFIED.

Lange, Christoph and Rowat, Colin and Kerber, Manfred and Wenzel, Makarius and Caminati, Marco and Mossakowski, Till and Windsteiger, Wolfgang (2013) Auction Theory Toolbox. UNSPECIFIED.