M.Sc. Sascha Witt
- Raum: 207
- Tel.: +49 721 608-46286
- Fax: +49 721 608-43088
- sascha witt ∂does-not-exist.kit edu
- github.com/SaschaWitt/
Publikationen
Formally Verifying an Efficient Sorter
Beckert, B.; Sanders, P.; Ulbrich, M.; Witt, S.; Wiesler, J.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167846
Beckert, B.; Sanders, P.; Ulbrich, M.; Witt, S.; Wiesler, J.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167846
Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact
Beckert, B.; Sanders, P.; Ulbrich, M.; Wiesler, J.; Witt, S.
2023, Dezember 30. Zenodo. doi:10.5281/zenodo.10445579
Beckert, B.; Sanders, P.; Ulbrich, M.; Wiesler, J.; Witt, S.
2023, Dezember 30. Zenodo. doi:10.5281/zenodo.10445579
Engineering In-place (Shared-memory) Sorting Algorithms
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2022
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2022
Engineering In-place (Shared-memory) Sorting Algorithms
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2022. ACM Transactions on Parallel Computing, 9 (1), Art.-Nr.: 2. doi:10.1145/3505286
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2022. ACM Transactions on Parallel Computing, 9 (1), Art.-Nr.: 2. doi:10.1145/3505286
In-Place Parallel Super Scalar Samplesort (IPSSSSo)
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2017. 25th European Symposium on Algorithms : (ESA 2017) Vienna, Austria, September 4-6, 2017. Ed.: K. Pruhs, C. Sohler, Art.Nr. 9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2017.9
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2017. 25th European Symposium on Algorithms : (ESA 2017) Vienna, Austria, September 4-6, 2017. Ed.: K. Pruhs, C. Sohler, Art.Nr. 9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2017.9
Trip-Based Public Transit Routing Using Condensed Search Trees
Witt, S.
2016. 16th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS), Aarhus, Denmark, August 25, 2016. Ed.: M. Goerigk, 10.1–10.12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/OASIcs.ATMOS.2016.10
Witt, S.
2016. 16th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS), Aarhus, Denmark, August 25, 2016. Ed.: M. Goerigk, 10.1–10.12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/OASIcs.ATMOS.2016.10
Trip-Based Public Transit Routing
Witt, S.
2015. Algorithms - ESA 2015. 23rd Annual European Symposium Patras, Greece, September 14–16, 2015. Proceedings. Ed.: N. Bansal, 1025–1036, Springer-Verlag. doi:10.1007/978-3-662-48350-3_85
Witt, S.
2015. Algorithms - ESA 2015. 23rd Annual European Symposium Patras, Greece, September 14–16, 2015. Proceedings. Ed.: N. Bansal, 1025–1036, Springer-Verlag. doi:10.1007/978-3-662-48350-3_85
| Titel | Tagung | Datum |
|---|---|---|
| Trip-Based Public Transit Routing | 23rd European Symposium on Algorithms 2015 – ESA 2015 |
September 2015 |
| Trip-Based Public Transit Routing Using Condensed Search Trees | 16th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization and Systems – ATMOS 2016 |
August 2016 |
| Titel | Typ | Semester |
|---|---|---|
| Effizientes paralleles C++ | Praktikum (P) | WS 18/19 |
| Effizientes paralleles C++ | Praktikum (P) | WS 17/18 |
| Algorithmen I | SS 2017 | |
| Praxis der Softwareentwicklung (PSE) | Praktikum | SS 2016 |
| Vorträge Algorithm Engineering | Sonstige (sonst.) | SS 2016 |
| Vorträge Algorithm Engineering | Sonstige (sonst.) | SS 2014 |