panthema / publications

Academic Publications

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

PDF paper-COBS-A-Compact-Bit-Sliced-Signature-Index.pdf more Timo Bingmann, Phelim Bradley, Florian Gauger, and Zamin Iqbal. "COBS: a Compact Bit-Sliced Signature Index". In: 26th International Symposium on String Processing and Information Retrieval (SPIRE). pages 285-303. Spinger. October 2019. (best paper award)
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. December 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. January 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. January 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. December 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. January 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. October 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. September 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. August 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. April 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. October 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. March 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, September 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, January 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. April 2009.

Supervised Thesis

PDF 2019_Marianczuk_Engineering_Faster_Sorters_for_Small_Sets_of_Items.pdf Matthias Schimek. "Distributed String Sorting Algorithms". Master thesis at Karlsruhe Institute of Technology, Germany. 2019-07-08.
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. arXiv:1908.08111. 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