Published in: LIPIcs, Volume 287, 15th Innovations in Theoretical Computer Science Conference (ITCS 2024)
Rafael Frongillo, Maneesha Papireddygari, and Bo Waggoner. An Axiomatic Characterization of CFMMs and Equivalence to Prediction Markets. In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 51:1-51:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{frongillo_et_al:LIPIcs.ITCS.2024.51, author = {Frongillo, Rafael and Papireddygari, Maneesha and Waggoner, Bo}, title = {{An Axiomatic Characterization of CFMMs and Equivalence to Prediction Markets}}, booktitle = {15th Innovations in Theoretical Computer Science Conference (ITCS 2024)}, pages = {51:1--51:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-309-6}, ISSN = {1868-8969}, year = {2024}, volume = {287}, editor = {Guruswami, Venkatesan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2024.51}, URN = {urn:nbn:de:0030-drops-195795}, doi = {10.4230/LIPIcs.ITCS.2024.51}, annote = {Keywords: Convex analysis, Equivalence result, Axiomatic characterization, Market Makers, Prediction markets, Scoring rules, Cost-functions} }
Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
Daniel Britten, Vilhelm Sjöberg, and Steve Reeves. Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 3:1-3:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{britten_et_al:OASIcs.FMBC.2021.3, author = {Britten, Daniel and Sj\"{o}berg, Vilhelm and Reeves, Steve}, title = {{Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts}}, booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)}, pages = {3:1--3:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-209-9}, ISSN = {2190-6807}, year = {2021}, volume = {95}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021.3}, URN = {urn:nbn:de:0030-drops-154272}, doi = {10.4230/OASIcs.FMBC.2021.3}, annote = {Keywords: smart contracts, formal methods, blockchain} }
Published in: Dagstuhl Seminar Proceedings, Volume 5011, Computing and Markets (2005)
Anna Osepayshvili, Michael Wellman, Daniel Reeves, and Jeffrey MacKie-Mason. Self-Confirming Price Prediction for Bidding in Simultaneous Ascending Auctions. In Computing and Markets. Dagstuhl Seminar Proceedings, Volume 5011, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{osepayshvili_et_al:DagSemProc.05011.14, author = {Osepayshvili, Anna and Wellman, Michael and Reeves, Daniel and MacKie-Mason, Jeffrey}, title = {{Self-Confirming Price Prediction for Bidding in Simultaneous Ascending Auctions}}, booktitle = {Computing and Markets}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5011}, editor = {Daniel Lehmann and Rudolf M\"{u}ller and Tuomas Sandholm}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05011.14}, URN = {urn:nbn:de:0030-drops-2020}, doi = {10.4230/DagSemProc.05011.14}, annote = {Keywords: compact representation of games, congestion games, local-effect games, action-graph gamescomputational markets; auctions; bidding strategies} }
Feedback for Dagstuhl Publishing