{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:40:00Z","timestamp":1758703200518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,15]],"date-time":"2015-06-15T00:00:00Z","timestamp":1434326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/J007498\/1"],"award-info":[{"award-number":["EP\/J007498\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,15]]},"DOI":"10.1145\/2764468.2764511","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T18:43:54Z","timestamp":1434134634000},"page":"547-564","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Sound Auction Specification and Implementation"],"prefix":"10.1145","author":[{"given":"Marco B.","family":"Caminati","sequence":"first","affiliation":[{"name":"University of Birmingham, Edgbaston, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Kerber","sequence":"additional","affiliation":[{"name":"University of Birmingham, Edgbaston, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lange","sequence":"additional","affiliation":[{"name":"University of Bonn, Bonn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Rowat","sequence":"additional","affiliation":[{"name":"University of Birmingham, Edgbaston, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1256049011"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1256049012"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ausubel L. M. and Milgrom P. 2006. The lovely but lonely Vickrey auction. In Combinatorial auctions P. Cramton Y. Shoham and R. Steinberg Eds. MIT Press chapter 1 17--40.  Ausubel L. M. and Milgrom P. 2006. The lovely but lonely Vickrey auction. In Combinatorial auctions P. Cramton Y. Shoham and R. Steinberg Eds. MIT Press chapter 1 17--40.","DOI":"10.7551\/mitpress\/9780262033428.003.0002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1257\/aer.103.5.2050"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015761529444"},{"key":"e_1_3_2_1_6_1","unstructured":"Blanchette J. C. and Paulson L. C. 2014. Hammering Away.  Blanchette J. C. and Paulson L. C. 2014. Hammering Away."},{"key":"e_1_3_2_1_7_1","unstructured":"Buxton J. N. and Randell B. 1970. Software Engineering Techniques: Report on a Conference Sponsored by the NATO Science Committee. NATO Science Committee; available from Scientific Affairs Division NATO.   Buxton J. N. and Randell B. 1970. Software Engineering Techniques: Report on a Conference Sponsored by the NATO Science Committee. NATO Science Committee; available from Scientific Affairs Division NATO."},{"key":"e_1_3_2_1_8_1","volume-title":"Eds","author":"Cramton P.","year":"2006","unstructured":"Cramton , P. , Shoham , Y. , and Steinberg , R. , Eds . 2006 . Combinatorial auctions. MIT Press . Cramton, P., Shoham, Y., and Steinberg, R., Eds. 2006. Combinatorial auctions. MIT Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"e_1_3_2_1_10_1","unstructured":"Federal Communications Commission. 2014. Comment sought on competitive bidding procedures for broadcast incentive auction 1000 including auctions 1001 and 1002. Public Notice FCC 14--191 Washington D.C. December.  Federal Communications Commission. 2014. Comment sought on competitive bidding procedures for broadcast incentive auction 1000 including auctions 1001 and 1002. Public Notice FCC 14--191 Washington D.C. December."},{"key":"e_1_3_2_1_11_1","first-page":"1382","article-title":"Formal proof -- the four color theorem","volume":"55","author":"Gonthier G.","year":"2008","unstructured":"Gonthier , G. 2008 . Formal proof -- the four color theorem . Notices of the AMS 55 , 11, 1382 -- 1393 . Gonthier, G. 2008. Formal proof -- the four color theorem. Notices of the AMS 55, 11, 1382--1393.","journal-title":"Notices of the AMS"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_9"},{"key":"e_1_3_2_1_13_1","volume-title":"et al","author":"Hales T.","year":"2015","unstructured":"Hales , T. et al . 2015 . A formal proof of the Kepler conjecture. arXiv preprint arXiv:1501.02155. Hales, T. et al. 2015. A formal proof of the Kepler conjecture. arXiv preprint arXiv:1501.02155."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2005.162.1065"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11757283_8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1257\/0002828054825466"},{"key":"e_1_3_2_1_18_1","unstructured":"Kerber M. Lange C. and Rowat C. 2014. An introduction to mechanized reasoning. unpublished.  Kerber M. Lange C. and Rowat C. 2014. An introduction to mechanized reasoning. unpublished."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1257\/jep.27.2.51"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_13"},{"volume-title":"Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik","author":"Leibniz G. W.","key":"e_1_3_2_1_21_1","unstructured":"Leibniz , G. W. 1686. Projet et essais pour arriver \u00e0 quelque certitude pour finir une bonne partie des disputes et pour avancer l'art d'inventer . In Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik , K. Berka and L. Kreisler, Eds. Akademie-Verlag, Berlin, Deutschland, Chapter I. 1, 15--17. Leibniz, G. W. 1686. Projet et essais pour arriver \u00e0 quelque certitude pour finir une bonne partie des disputes et pour avancer l'art d'inventer. In Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik, K. Berka and L. Kreisler, Eds. Akademie-Verlag, Berlin, Deutschland, Chapter I.1, 15--17."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Leyton-Brown K. and Shoham Y. 2006. A test suite for combinatorial auctions. In Combinatorial auctions P. Cramton Y. Shoham and R. Steinberg Eds. MIT Press chapter 18 451--478.  Leyton-Brown K. and Shoham Y. 2006. A test suite for combinatorial auctions. In Combinatorial auctions P. Cramton Y. Shoham and R. Steinberg Eds. MIT Press chapter 18 451--478.","DOI":"10.7551\/mitpress\/9780262033428.003.0019"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005843212881"},{"key":"e_1_3_2_1_24_1","unstructured":"Muhit A. 2014. The slow adoption of functional programming in banks. http:\/\/oxfordknight.co.uk\/blog\/oxford-knight-articles\/slow-adoption-functional-programming-banks\/.  Muhit A. 2014. The slow adoption of functional programming in banks. http:\/\/oxfordknight.co.uk\/blog\/oxford-knight-articles\/slow-adoption-functional-programming-banks\/."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Nipkow T. 2013. Programming and Proving in Isabelle\/HOL.  Nipkow T. 2013. Programming and Proving in Isabelle\/HOL.","DOI":"10.1007\/978-3-319-10542-0_6"},{"volume-title":"Computer Laboratory","author":"Paulson L. C.","key":"e_1_3_2_1_26_1","unstructured":"Paulson , L. C. 1999. A generic tableau prover and its integration with Isabelle. Tech. rep ., Computer Laboratory , University of Cambridge , England. Paulson, L. C. 1999. A generic tableau prover and its integration with Isabelle. Tech. rep., Computer Laboratory, University of Cambridge, England."},{"key":"e_1_3_2_1_27_1","unstructured":"Paulson L. C. 2014. Isabelle's Logics.  Paulson L. C. 2014. Isabelle's Logics."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93920-7_13"},{"key":"e_1_3_2_1_29_1","volume-title":"Foresight: The future of computer trading in financial markets. Final project report","author":"The Government Office","year":"2012","unstructured":"The Government Office for Science. 2012 . Foresight: The future of computer trading in financial markets. Final project report , London . The Government Office for Science. 2012. Foresight: The future of computer trading in financial markets. Final project report, London."},{"key":"e_1_3_2_1_30_1","volume-title":"Technical Report ULCS-09-004, Department of Computer Science","author":"Webster M. P.","year":"2009","unstructured":"Webster , M. P. , Dennis , L. , and Fisher , M . 2009 . Model-checking auctions, coalitions and trust. Technical Report ULCS-09-004, Department of Computer Science , University of Liverpool. Webster, M. P., Dennis, L., and Fisher, M. 2009. Model-checking auctions, coalitions and trust. Technical Report ULCS-09-004, Department of Computer Science, University of Liverpool."},{"volume-title":"Four colors suffice: how the map problem was solved","author":"Wilson R.","key":"e_1_3_2_1_31_1","unstructured":"Wilson , R. 2005. Four colors suffice: how the map problem was solved . Princeton University Press . Wilson, R. 2005. Four colors suffice: how the map problem was solved. Princeton University Press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"}],"event":{"name":"EC '15: ACM Conference on Economics and Computation","sponsor":["SIGecom Special Interest Group on Economics and Computation"],"location":"Portland Oregon USA","acronym":"EC '15"},"container-title":["Proceedings of the Sixteenth ACM Conference on Economics and Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764468.2764511","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2764468.2764511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:20Z","timestamp":1750273460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764468.2764511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,15]]},"references-count":32,"alternative-id":["10.1145\/2764468.2764511","10.1145\/2764468"],"URL":"https:\/\/doi.org\/10.1145\/2764468.2764511","relation":{},"subject":[],"published":{"date-parts":[[2015,6,15]]},"assertion":[{"value":"2015-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}