panthema / publications

Academic Publications

See also my DBLP entries and Google Scholar webpage.

PDF paper-Scalable-Construction-of-Text-Indexes-with-Thrill.pdf more Timo Bingmann, Simon Gog, Florian Kurpicz. "Scalable Construction of Text Indexes with Thrill". In: IEEE International Conference on Big Data. pages 634-643. IEEE. Dec. 2018.
PDF dissertation-Bingmann-Scalable-String-and-Suffix-Sorting.pdf more Timo Bingmann. "Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools". Dissertation. Karlsruhe Institute of Technology, Germany. July 2018.
PDF vstte2018.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Relational Equivalence Proofs Between Imperative and MapReduce Algorithms". In: Verified Software: Theories, Tools, and Experiments (VSTTE). pages 248-266. Spinger. July 2018.
PDF 1803.10328v1.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations". In: Models for Formal Analysis of Real Systems (MARS) and Verification and Program Transformation (VPT) at ETAPS 2018. pages 185-199. Cornell University Library. March 2018.
PDF 1801.08766v1.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Relational Equivalence Proofs Between Imperative and MapReduce Algorithms". In: arXiv:1801.08766. pages 1-23. Cornell University Library. Jan. 2018.
arXiv 1403.2056v1.pdf more Timo Bingmann, Andreas Eberle, and Peter Sanders. "Engineering Parallel String Sorting". In: Algorithmica 77.1. pages 235-286. ISSN: 0178-4617. Springer. Jan. 2017.
PDF paper-IEEEBigD2016-Thrill.pdf more Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, and Peter Sanders. "Thrill: High-performance algorithmic distributed batch data processing with C++". In: IEEE International Conference on Big Data. pages 172-183. IEEE. Dec. 2016.
PDF Bingmann-On-the-Structure-of-the-Graph-of-Unique-Symmetric-Base-Exchanges-of-Bispanning-Graphs.pdf more Timo Bingmann. "On the Structure of the Graph of Unique Symmetric Base Exchanges of Bispanning Graphs". Diploma Thesis. FernUniversität in Hagen, Germany. Jan. 2016.
PDF 1610.03007v1.pdf Timo Bingmann, Simon Gog, Florian Kurpicz. "Scalable Construction of Text Indexes". In: arXiv:1610.03007. pages 1-23. Cornell University Library. Oct. 2016.
PreP esais-preprint.pdf more Timo Bingmann, Johannes Fischer, and Vitaly Osipov. "Inducing Suffix and LCP Arrays in External Memory". In: ACM Journal of Experimental Algorithmics (JEA) 21.2, 2.3:1-27. ISSN: 1084-6654. ACM. Sept. 2016.
PDF 1608.05634v1.pdf more Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, and Peter Sanders. "Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++". In: arXiv:1608.05634. pages 1-15. Cornell University Library. Aug. 2016.
PDF 1410.6754v2.pdf Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz. "Practical Massively Parallel Sorting". In: 27th Symposium on Parallel Algorithms and Architectures (SPAA). preprint arXiv:1410.6754v2. pages 13-23. ACM, June 2015.
PDF paper-SEA15-Bulk-Parallel-Priority-Queue.pdf more Timo Bingmann, Thomas Keh, Peter Sanders. "A Bulk-Parallel Priority Queue in External Memory with STXXL". In: 14th International Symposium on Experimental Algorithms (SEA). Volume 9125. LNCS. pages 28-40. Springer. June 2015.
PDF 1504.00545v1.pdf more Timo Bingmann, Thomas Keh, and Peter Sanders. "A Bulk-Parallel Priority Queue in External Memory with STXXL". In: arXiv:1504.00545. pages 1-18. Cornell University Library. Apr. 2015.
PDF 1410.6754v1.pdf Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz. "Practical Massively Parallel Sorting -- Basic Algorithmic Ideas". In: arXiv:1410.6754v1. pages 1-13. Cornell University Library. Oct. 2014.
PDF 1403.2056v1.pdf more Timo Bingmann, Andreas Eberle, and Peter Sanders. "Engineering Parallel String Sorting". In: arXiv:1403.2056. pages 1-46. Cornell University Library. Mar. 2014.
PDF paper-ESA13-String-Sample-Sort.pdf more Timo Bingmann and Peter Sanders. "Parallel String Sample Sort". In: 21th European Symposium on Algorithms (ESA). Volume 8125. LNCS. pages 169-180. Springer, Sept. 2013.
PDF 1305.1157v1.pdf more Timo Bingmann and Peter Sanders. "Parallel String Sample Sort". In: arXiv:1305.1157. pages 1-34. Cornell University Library. May 2013.
PDF alenex13esais.pdf more Timo Bingmann, Johannes Fischer, and Vitaly Osipov. "Inducing Suffix and LCP Arrays in External Memory". In: 15th Workshop on Algorithm Engineering & Experiments (ALENEX), pages 88-102. SIAM, Jan. 2013.
PDF thesis-bingmann-ns-3-wifi.pdf more Timo Bingmann. "Accuracy Enhancements of the 802.11 Model and EDCA QoS Extensions in ns-3". Diploma Thesis. University of Karlsruhe (TH), Germany. Apr. 2009.
RSS 2.0 Weblog Feed Atom 1.0 Weblog Feed Valid XHTML 1.1 Valid CSS (2.1)
Copyright 2005-2018 Timo Bingmann - Impressum