Published in: OASIcs, Volume 110, 4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022)
Vincent Danos and Weijia Wang. Consistency of Automated Market Makers. In 4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022). Open Access Series in Informatics (OASIcs), Volume 110, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{danos_et_al:OASIcs.Tokenomics.2022.4, author = {Danos, Vincent and Wang, Weijia}, title = {{Consistency of Automated Market Makers}}, booktitle = {4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-274-7}, ISSN = {2190-6807}, year = {2023}, volume = {110}, editor = {Amoussou-Guenou, Yackolley and Kiayias, Aggelos and Verdier, Marianne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2022.4}, URN = {urn:nbn:de:0030-drops-184217}, doi = {10.4230/OASIcs.Tokenomics.2022.4}, annote = {Keywords: Automated Market Makers, Decentralised Finance} }
Published in: OASIcs, Volume 110, 4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022)
Andrea Canidio and Vincent Danos. Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract). In 4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022). Open Access Series in Informatics (OASIcs), Volume 110, pp. 7:1-7:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{canidio_et_al:OASIcs.Tokenomics.2022.7, author = {Canidio, Andrea and Danos, Vincent}, title = {{Commit-Reveal Schemes Against Front-Running Attacks}}, booktitle = {4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022)}, pages = {7:1--7:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-274-7}, ISSN = {2190-6807}, year = {2023}, volume = {110}, editor = {Amoussou-Guenou, Yackolley and Kiayias, Aggelos and Verdier, Marianne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2022.7}, URN = {urn:nbn:de:0030-drops-184241}, doi = {10.4230/OASIcs.Tokenomics.2022.7}, annote = {Keywords: Front running, Game theory, MEV, Transactions reordering, commit-reveal} }
Published in: OASIcs, Volume 82, 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)
Vincent Danos, Jean Krivine, and Julien Prat. Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). In 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020). Open Access Series in Informatics (OASIcs), Volume 82, pp. 10:1-10:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{danos_et_al:OASIcs.Tokenomics.2020.10, author = {Danos, Vincent and Krivine, Jean and Prat, Julien}, title = {{Revisiting the Liquidity/Risk Trade-Off with Smart Contracts}}, booktitle = {2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)}, pages = {10:1--10:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-157-3}, ISSN = {2190-6807}, year = {2021}, volume = {82}, editor = {Anceaume, Emmanuelle and Bisi\`{e}re, Christophe and Bouvard, Matthieu and Bramas, Quentin and Casamatta, Catherine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2020.10}, URN = {urn:nbn:de:0030-drops-135325}, doi = {10.4230/OASIcs.Tokenomics.2020.10}, annote = {Keywords: Electronic trading, Smart contracts, Static analysis} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 1-192, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Proceedings{danos_et_al:OASIcs.Tokenomics.2019, title = {{OASIcs, Vol. 71, Tokenomics 2019, Complete Volume}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {1--192}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019}, URN = {urn:nbn:de:0030-drops-119634}, doi = {10.4230/OASIcs.Tokenomics.2019}, annote = {Keywords: OASIcs, Vol. 71, Tokenomics 2019, Complete Volume} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{danos_et_al:OASIcs.Tokenomics.2019.0, author = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.0}, URN = {urn:nbn:de:0030-drops-119640}, doi = {10.4230/OASIcs.Tokenomics.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 59, 27th International Conference on Concurrency Theory (CONCUR 2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, and Ohad Kammar. Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper). In 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 59, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{dahlqvist_et_al:LIPIcs.CONCUR.2016.1, author = {Dahlqvist, Fredrik and Danos, Vincent and Garnier, Ilias and Kammar, Ohad}, title = {{Bayesian Inversion by Omega-Complete Cone Duality}}, booktitle = {27th International Conference on Concurrency Theory (CONCUR 2016)}, pages = {1:1--1:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-017-0}, ISSN = {1868-8969}, year = {2016}, volume = {59}, editor = {Desharnais, Jos\'{e}e and Jagadeesan, Radha}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2016.1}, URN = {urn:nbn:de:0030-drops-61909}, doi = {10.4230/LIPIcs.CONCUR.2016.1}, annote = {Keywords: probabilistic models, bayesian learning, markov operators} }
Published in: LIPIcs, Volume 59, 27th International Conference on Concurrency Theory (CONCUR 2016)
Fredrik Dahlqvist, Vincent Danos, and Ilias Garnier. Robustly Parameterised Higher-Order Probabilistic Models. In 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 59, pp. 23:1-23:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{dahlqvist_et_al:LIPIcs.CONCUR.2016.23, author = {Dahlqvist, Fredrik and Danos, Vincent and Garnier, Ilias}, title = {{Robustly Parameterised Higher-Order Probabilistic Models}}, booktitle = {27th International Conference on Concurrency Theory (CONCUR 2016)}, pages = {23:1--23:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-017-0}, ISSN = {1868-8969}, year = {2016}, volume = {59}, editor = {Desharnais, Jos\'{e}e and Jagadeesan, Radha}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2016.23}, URN = {urn:nbn:de:0030-drops-61737}, doi = {10.4230/LIPIcs.CONCUR.2016.23}, annote = {Keywords: Probability, category theory, Giry monad} }
Published in: Dagstuhl Reports, Volume 5, Issue 9 (2016)
Vincent Danos and Heinz Koeppl. Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402). In Dagstuhl Reports, Volume 5, Issue 9, pp. 125-138, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{danos_et_al:DagRep.5.9.125, author = {Danos, Vincent and Koeppl, Heinz}, title = {{Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402)}}, pages = {125--138}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {9}, editor = {Danos, Vincent and Koeppl, Heinz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.125}, URN = {urn:nbn:de:0030-drops-56887}, doi = {10.4230/DagRep.5.9.125}, annote = {Keywords: Self-assembly, molecular modeling, molecular dynamics, graph-rewriting grammars, self-organization, self-* systems, concurrency} }
Published in: LIPIcs, Volume 18, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, and Glynn Winskel. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Leibniz International Proceedings in Informatics (LIPIcs), Volume 18, pp. 276-288, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{danos_et_al:LIPIcs.FSTTCS.2012.276, author = {Danos, Vincent and Feret, Jerome and Fontana, Walter and Harmer, Russell and Hayman, Jonathan and Krivine, Jean and Thompson-Walsh, Chris and Winskel, Glynn}, title = {{Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)}, pages = {276--288}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-47-7}, ISSN = {1868-8969}, year = {2012}, volume = {18}, editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.276}, URN = {urn:nbn:de:0030-drops-38669}, doi = {10.4230/LIPIcs.FSTTCS.2012.276}, annote = {Keywords: concurrency, rule-based models, graph rewriting, pathways, causality} }
Feedback for Dagstuhl Publishing