Items where Author is "Kerber, Manfred"

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

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 and Kerber, Manfred and Rowat, Colin (2015) Reasoning about Dynamic Auctions. In: UNSPECIFIED.

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

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

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 and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2014) Reasoning about Auctions. In: UNSPECIFIED.

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

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.

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

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.