Sascha Witt

According to our database, Sascha Witt authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Formally Verifying an Efficient Sorter.

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact.

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt

Dataset, December, 2023

FLASH-TB: Integrating Arc-Flags and Trip-Based Public Transit Routing.

Ernestine Großmann, Jonas Sauer, Christian Schulz, Patrick Steil, Sascha Witt

CoRR, 2023

2022

Engineering In-place (Shared-memory) Sorting Algorithms.

Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders

ACM Trans. Parallel Comput., 2022

2021

Extending the Time Horizon: Efficient Public Transit Routing on Arbitrary-Length Timetables.

Sascha Witt

CoRR, 2021

2017

In-Place Parallel Super Scalar Samplesort (IPSSSSo).

Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders

Proceedings of the 25th Annual European Symposium on Algorithms, 2017

2016

Trip-Based Public Transit Routing Using Condensed Search Trees.

Sascha Witt

Proceedings of the 16th Workshop on Algorithmic Approaches for Transportation Modelling, 2016

2015

Trip-Based Public Transit Routing.

Sascha Witt

Proceedings of the Algorithms - ESA 2015, 2015