panthema / publications

Academic Publications

See also my DBLP entries and Google Scholar webpage. Furthermore, thesis which I supervised are also listed below.

PDF 1905.09624v2.pdf Timo Bingmann, Phelim Bradley, Florian Gauger, and Zamin Iqbal. "COBS: a Compact Bit-Sliced Signature Index". In: arXiv:1905.09624v2. pages 1-18. Cornell University Library. July 2019. (older: v1 1905.09624v1.pdf, May 2019)
PDF paper-Scalable-Construction-of-Text-Indexes-with-Thrill.pdf more Timo Bingmann, Simon Gog, and 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.

Supervised Thesis

PDF 2019_Marianczuk_Engineering_Faster_Sorters_for_Small_Sets_of_Items.pdf Jasper Marianczuk. "Engineering Faster Sorters for Small Sets of Items". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2019-05-09.
PDF 2018_Gauger_Engineering_a_Compact_Bit-Sliced_Signature_Index_for_Approximate_Search_on_Genomic_Data.pdf more Florian Gauger. "Engineering a Compact Bit-Sliced Signature Index for Approximate Search on Genomic Data". Master thesis at Karlsruhe Institute of Technology, Germany. 2018-02-14. Florian Gauger's Homepage
PDF Alexander Noe. "Bloom Filters for GroupBy ReduceBy and Join in Thrill". Master thesis at Karlsruhe Institute of Technology, Germany. 2017-01-10.
PDF Fellipe Bernardes Lima. "Implementation and Evaluation of an External Memory String B-Tree". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2014-12-29.
PDF Thomas Keh. "Bulk-Parallel Priority Queue in External Memory". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2014-07-11.
PDF Andreas Eberle. "Parallel Multiway LCP-Mergesort". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2014-05-15.
PDF Daniel Feist. "External Batched Range Minimum Queries and LCP Construction". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2013-04-11.
 Sascha Denis Knöpfle. "String Samplesort". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2012-11-14.
RSS 2.0 Weblog Feed Atom 1.0 Weblog Feed Valid XHTML 1.1 Valid CSS (2.1)
Copyright 2005-2019 Timo Bingmann - Impressum