Published in: LIPIcs, Volume 282, 5th Conference on Advances in Financial Technologies (AFT 2023)
Shresth Agrawal, Joachim Neu, Ertem Nusret Tas, and Dionysis Zindros. Proofs of Proof-Of-Stake with Sublinear Complexity. In 5th Conference on Advances in Financial Technologies (AFT 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 282, pp. 14:1-14:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{agrawal_et_al:LIPIcs.AFT.2023.14, author = {Agrawal, Shresth and Neu, Joachim and Tas, Ertem Nusret and Zindros, Dionysis}, title = {{Proofs of Proof-Of-Stake with Sublinear Complexity}}, booktitle = {5th Conference on Advances in Financial Technologies (AFT 2023)}, pages = {14:1--14:24}, 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.14}, URN = {urn:nbn:de:0030-drops-192037}, doi = {10.4230/LIPIcs.AFT.2023.14}, annote = {Keywords: Proof-of-stake, blockchain, light client, superlight, bridge, Ethereum} }
Published in: Dagstuhl Reports, Volume 7, Issue 11 (2018)
Jakob L. Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler. Algorithmic Cheminformatics (Dagstuhl Seminar 17452). In Dagstuhl Reports, Volume 7, Issue 11, pp. 28-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{andersen_et_al:DagRep.7.11.28, author = {Andersen, Jakob L. and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.}, title = {{Algorithmic Cheminformatics (Dagstuhl Seminar 17452)}}, pages = {28--45}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {11}, editor = {Andersen, Jakob L. and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.11.28}, URN = {urn:nbn:de:0030-drops-86692}, doi = {10.4230/DagRep.7.11.28}, annote = {Keywords: Modelling, Simulation, Networks, Semantics / Formal Methods} }
Published in: LIPIcs, Volume 88, 17th International Workshop on Algorithms in Bioinformatics (WABI 2017)
Nikolai Nojgaard, Manuela Geiß, Daniel Merkle, Peter F. Stadler, Nicolas Wieseke, and Marc Hellmuth. Forbidden Time Travel: Characterization of Time-Consistent Tree Reconciliation Maps. In 17th International Workshop on Algorithms in Bioinformatics (WABI 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 88, pp. 17:1-17:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{nojgaard_et_al:LIPIcs.WABI.2017.17, author = {Nojgaard, Nikolai and Gei{\ss}, Manuela and Merkle, Daniel and Stadler, Peter F. and Wieseke, Nicolas and Hellmuth, Marc}, title = {{Forbidden Time Travel: Characterization of Time-Consistent Tree Reconciliation Maps}}, booktitle = {17th International Workshop on Algorithms in Bioinformatics (WABI 2017)}, pages = {17:1--17:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-050-7}, ISSN = {1868-8969}, year = {2017}, volume = {88}, editor = {Schwartz, Russell and Reinert, Knut}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2017.17}, URN = {urn:nbn:de:0030-drops-76362}, doi = {10.4230/LIPIcs.WABI.2017.17}, annote = {Keywords: Tree Reconciliation, Horizontal Gene Transfer, Reconciliation Map, Time-Consistency, History of gene families} }
Published in: Dagstuhl Reports, Volume 4, Issue 11 (2015)
Wolfgang Banzhaf, Christoph Flamm, Daniel Merkle, and Peter F. Stadler. Algorithmic Cheminformatics (Dagstuhl Seminar 14452). In Dagstuhl Reports, Volume 4, Issue 11, pp. 22-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{banzhaf_et_al:DagRep.4.11.22, author = {Banzhaf, Wolfgang and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.}, title = {{Algorithmic Cheminformatics (Dagstuhl Seminar 14452)}}, pages = {22--39}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {11}, editor = {Banzhaf, Wolfgang and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.11.22}, URN = {urn:nbn:de:0030-drops-49686}, doi = {10.4230/DagRep.4.11.22}, annote = {Keywords: Graph Transformation Systems, Graph and Hypergraph Invariants, Graph Comparison, Network Flows, Hypergraphs, Formal Languages, Algebraic Chemistry} }
Feedback for Dagstuhl Publishing