Manfred Kerber

Identifiers

• name variant Manfred Kerber 0.60 · backfill

Papers (7)

1. An Introduction to Mechanized Reasoning cs.LO · 2016 · author #1
2. Budget Imbalance Criteria for Auctions: A Formalized Theorem q-fin.MF · 2014 · author #2
3. Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? cs.LO · 2014 · author #2
4. Proving soundness of combinatorial Vickrey auctions and generating verified executable code cs.GT · 2013 · author #2
5. The ForMaRE Project - Formal Mathematical Reasoning in Economics cs.CE · 2013 · author #3
6. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #3
7. Proofs, proofs, proofs, and proofs cs.AI · 2010 · author #1

Mentions

• 1005.5124 #1 · backfill · confidence 0.70 Manfred Kerber

Frequent Coauthors

• Colin Rowat 6 shared papers
• Christoph Lange 5 shared papers
• Marco B. Caminati 4 shared papers
• Makarius Wenzel 1 shared papers
• Till Mossakowski 1 shared papers
• Wolfgang Windsteiger 1 shared papers