Published in: LIPIcs, Volume 282, 5th Conference on Advances in Financial Technologies (AFT 2023)
Patrik Keller, Ben Glickenhaus, George Bissias, and Gregory Griffith. Tailstorm: A Secure and Fair Blockchain for Cash Transactions. In 5th Conference on Advances in Financial Technologies (AFT 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 282, pp. 6:1-6:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{keller_et_al:LIPIcs.AFT.2023.6, author = {Keller, Patrik and Glickenhaus, Ben and Bissias, George and Griffith, Gregory}, title = {{Tailstorm: A Secure and Fair Blockchain for Cash Transactions}}, booktitle = {5th Conference on Advances in Financial Technologies (AFT 2023)}, pages = {6:1--6:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-303-4}, ISSN = {1868-8969}, year = {2023}, volume = {282}, editor = {Bonneau, Joseph and Weinberg, S. Matthew}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2023.6}, URN = {urn:nbn:de:0030-drops-191954}, doi = {10.4230/LIPIcs.AFT.2023.6}, annote = {Keywords: Proof-of-Work, Blockchain, Cryptocurrency, Mining Rewards, Fairness} }
Published in: LIPIcs, Volume 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
Meryem Essaidi, Matheus V. X. Ferreira, and S. Matthew Weinberg. Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions. In 13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 215, pp. 66:1-66:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{essaidi_et_al:LIPIcs.ITCS.2022.66, author = {Essaidi, Meryem and Ferreira, Matheus V. X. and Weinberg, S. Matthew}, title = {{Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {66:1--66:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-217-4}, ISSN = {1868-8969}, year = {2022}, volume = {215}, editor = {Braverman, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.66}, URN = {urn:nbn:de:0030-drops-156621}, doi = {10.4230/LIPIcs.ITCS.2022.66}, annote = {Keywords: Credible Auctions, Cryptographically Secure, Single-Item} }
Published in: LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019)
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi. From Macros to DSLs: The Evolution of Racket. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 5:1-5:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{culpepper_et_al:LIPIcs.SNAPL.2019.5, author = {Culpepper, Ryan and Felleisen, Matthias and Flatt, Matthew and Krishnamurthi, Shriram}, title = {{From Macros to DSLs: The Evolution of Racket}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {5:1--5:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.5}, URN = {urn:nbn:de:0030-drops-105482}, doi = {10.4230/LIPIcs.SNAPL.2019.5}, annote = {Keywords: design principles, macros systems, domain-specific languages} }
Published in: LIPIcs, Volume 117, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
Konrad K. Dabrowski, Matthew Johnson, Giacomo Paesani, Daniël Paulusma, and Viktor Zamaraev. On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 117, pp. 63:1-63:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{dabrowski_et_al:LIPIcs.MFCS.2018.63, author = {Dabrowski, Konrad K. and Johnson, Matthew and Paesani, Giacomo and Paulusma, Dani\"{e}l and Zamaraev, Viktor}, title = {{On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal}}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, pages = {63:1--63:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-086-6}, ISSN = {1868-8969}, year = {2018}, volume = {117}, editor = {Potapov, Igor and Spirakis, Paul and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.63}, URN = {urn:nbn:de:0030-drops-96452}, doi = {10.4230/LIPIcs.MFCS.2018.63}, annote = {Keywords: vertex cover, feedback vertex set, odd cycle transversal, price of independence} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might. A Simple Complete Search for Logic Programming. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 14:1-14:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{hemann_et_al:OASIcs.ICLP.2017.14, author = {Hemann, Jason and Friedman, Daniel P. and Byrd, William E. and Might, Matthew}, title = {{A Simple Complete Search for Logic Programming}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {14:1--14:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.14}, URN = {urn:nbn:de:0030-drops-84676}, doi = {10.4230/OASIcs.ICLP.2017.14}, annote = {Keywords: logic programming, streams, search, Racket, backtracking, relational programming} }
Published in: LIPIcs, Volume 67, 8th Innovations in Theoretical Computer Science Conference (ITCS 2017)
Jon Schneider, Ariel Schvartzman, and S. Matthew Weinberg. Condorcet-Consistent and Approximately Strategyproof Tournament Rules. In 8th Innovations in Theoretical Computer Science Conference (ITCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 67, pp. 35:1-35:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{schneider_et_al:LIPIcs.ITCS.2017.35, author = {Schneider, Jon and Schvartzman, Ariel and Weinberg, S. Matthew}, title = {{Condorcet-Consistent and Approximately Strategyproof Tournament Rules}}, booktitle = {8th Innovations in Theoretical Computer Science Conference (ITCS 2017)}, pages = {35:1--35:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-029-3}, ISSN = {1868-8969}, year = {2017}, volume = {67}, editor = {Papadimitriou, Christos H.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2017.35}, URN = {urn:nbn:de:0030-drops-81605}, doi = {10.4230/LIPIcs.ITCS.2017.35}, annote = {Keywords: Tournament design, Non-manipulability, Condorcet-consistent, Strategyproofness} }
Published in: LIPIcs, Volume 77, 33rd International Symposium on Computational Geometry (SoCG 2017)
Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr, and Birgit Vogtenhuber. A Superlinear Lower Bound on the Number of 5-Holes. In 33rd International Symposium on Computational Geometry (SoCG 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 77, pp. 8:1-8:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{aichholzer_et_al:LIPIcs.SoCG.2017.8, author = {Aichholzer, Oswin and Balko, Martin and Hackl, Thomas and Kyncl, Jan and Parada, Irene and Scheucher, Manfred and Valtr, Pavel and Vogtenhuber, Birgit}, title = {{A Superlinear Lower Bound on the Number of 5-Holes}}, booktitle = {33rd International Symposium on Computational Geometry (SoCG 2017)}, pages = {8:1--8:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-038-5}, ISSN = {1868-8969}, year = {2017}, volume = {77}, editor = {Aronov, Boris and Katz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2017.8}, URN = {urn:nbn:de:0030-drops-72008}, doi = {10.4230/LIPIcs.SoCG.2017.8}, annote = {Keywords: Erd\"{o}s-Szekeres type problem, k-hole, empty k-gon, empty pentagon, planar point set} }
Published in: LIPIcs, Volume 77, 33rd International Symposium on Computational Geometry (SoCG 2017)
Michael A. Bekos, Michael Kaufmann, and Chrysanthi N. Raftopoulou. On Optimal 2- and 3-Planar Graphs. In 33rd International Symposium on Computational Geometry (SoCG 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 77, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{bekos_et_al:LIPIcs.SoCG.2017.16, author = {Bekos, Michael A. and Kaufmann, Michael and Raftopoulou, Chrysanthi N.}, title = {{On Optimal 2- and 3-Planar Graphs}}, booktitle = {33rd International Symposium on Computational Geometry (SoCG 2017)}, pages = {16:1--16:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-038-5}, ISSN = {1868-8969}, year = {2017}, volume = {77}, editor = {Aronov, Boris and Katz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2017.16}, URN = {urn:nbn:de:0030-drops-72307}, doi = {10.4230/LIPIcs.SoCG.2017.16}, annote = {Keywords: topological graphs, optimal k-planar graphs, characterization} }
Published in: Dagstuhl Seminar Proceedings, Volume 9291, Computational Creativity: An Interdisciplinary Approach (2009)
Matthew R. Lewis. Casually Evolving Creative Technology Systems. In Computational Creativity: An Interdisciplinary Approach. Dagstuhl Seminar Proceedings, Volume 9291, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{lewis:DagSemProc.09291.8, author = {Lewis, Matthew R.}, title = {{Casually Evolving Creative Technology Systems}}, booktitle = {Computational Creativity: An Interdisciplinary Approach}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9291}, editor = {Margaret Boden and Mark D'Inverno and Jon McCormack}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09291.8}, URN = {urn:nbn:de:0030-drops-21951}, doi = {10.4230/DagSemProc.09291.8}, annote = {Keywords: Computational creativity} }
Published in: Dagstuhl Seminar Proceedings, Volume 7281, Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs (2007)
Iris van Rooij, Matthew Hamilton, Moritz Müller, and Todd Wareham. Approximating Solution Structure. In Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. Dagstuhl Seminar Proceedings, Volume 7281, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{vanrooij_et_al:DagSemProc.07281.3, author = {van Rooij, Iris and Hamilton, Matthew and M\"{u}ller, Moritz and Wareham, Todd}, title = {{Approximating Solution Structure}}, booktitle = {Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7281}, editor = {Erik Demaine and Gregory Z. Gutin and Daniel Marx and Ulrike Stege}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07281.3}, URN = {urn:nbn:de:0030-drops-12345}, doi = {10.4230/DagSemProc.07281.3}, annote = {Keywords: Approximation Algorithms, Solution Structure} }
Feedback for Dagstuhl Publishing