Items where Author is "Lange, Christoph"

Journal Article

Zanotto, Simone and Lange, Christoph and Maag, Thomas and Pitanti, Alessandro and Miseikis, Vaidotas and Coletti, Camilla and Degl'Innocenti, Riccardo and Baldacci, Lorenzo and Huber, Rupert and Tredicucci, Alessandro (2015) Magneto-optic transmittance modulation observed in a hybrid graphene-split ring resonator terahertz metasurface. Applied Physics Letters, 107 (12): 121104. ISSN 0003-6951

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

Other

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.