Sascha Witt

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Sorting Algorithms

Distributed Memory Machines

Symmetry Breaking

Top Venues

ACM Trans. Parallel Comput.

Publications

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
Formally Verifying an Efficient Sorter. TACAS (1) (2024)
Ernestine Großmann, Jonas Sauer, Christian Schulz, Patrick Steil, Sascha Witt
FLASH-TB: Integrating Arc-Flags and Trip-Based Public Transit Routing. CoRR (2023)
Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders
Engineering In-place (Shared-memory) Sorting Algorithms. ACM Trans. Parallel Comput. 9 (1) (2022)
Sascha Witt
Extending the Time Horizon: Efficient Public Transit Routing on Arbitrary-Length Timetables. CoRR (2021)
Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders
Engineering In-place (Shared-memory) Sorting Algorithms. CoRR (2020)
Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders
In-place Parallel Super Scalar Samplesort (IPSSSSo). CoRR (2017)
Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders
In-Place Parallel Super Scalar Samplesort (IPSSSSo). ESA (2017)
Sascha Witt
Trip-Based Public Transit Routing Using Condensed Search Trees. ATMOS (2016)
Sascha Witt
Trip-Based Public Transit Routing Using Condensed Search Trees. CoRR (2016)
Sascha Witt
Trip-Based Public Transit Routing. CoRR (2015)
Sascha Witt
Trip-Based Public Transit Routing. ESA (2015)