E-LIB Suche - Ergebnisse für: Witt, Sascha

1

Formally Verifying an Efficient Sorter:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beckert, Bernhard ; Sanders, Peter ; Ulbrich, Mattias.. - p. 268-287 , 2024

2

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

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
ACM Transactions on Parallel Computing. 9 (2022) 1 - p. 1-62 , 2022

Link: https://dl.acm.org/doi/1..

3

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

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
ACM Transactions on Parallel Computing. 9 (2022) 1 - p. 1-62 , 2022

Link: https://doi.org/10.1145/..

4

Kundenbindung im Industriegütermarketing:

, In: Handbuch Kundenbindungsmanagement / Manfred Bruhn; Christian Homburg (Hrsg.)

Witt, Sascha ; Backhaus, Klaus ; Koch, Matthias.. (2013) - p. 235-271

Copies: Zentrale; TB Technik;

5

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

Großmann, Ernestine ; Sauer, Jonas ; Schulz, Christian..
http://arxiv.org/abs/2312.13146. , 2023

Link: http://arxiv.org/abs/231..

6

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

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3505286. , 2022

Link: https://publikationen.bi..

7

Extending the Time Horizon: Efficient Public Transit Routin..:

Witt, Sascha
http://arxiv.org/abs/2109.14143. , 2021

Link: http://arxiv.org/abs/210..

8

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

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
http://arxiv.org/abs/2009.13569. , 2020

Link: http://arxiv.org/abs/200..

9

05: Algorithmen 1, Vorlesung und Übung, SS 2017, 10.05.2017:

Witt, Sascha ; KIT
info:eu-repo/semantics/altIdentifier/doi/10.5445/DIVA/2017-237. , 2017

Link: https://publikationen.bi..

10

19: Algorithmen 1, Vorlesung und Übung, SS 2017, 05.07.2017:

Müller-Quade, Jörn ; Witt, Sascha ; KIT
info:eu-repo/semantics/altIdentifier/doi/10.5445/DIVA/2017-394. , 2017

Link: https://publikationen.bi..

11

11: Algorithmen 1, Vorlesung und Übung, SS 2017, 31.05.2017:

Müller-Quade, Jörn ; Witt, Sascha ; KIT
info:eu-repo/semantics/altIdentifier/doi/10.5445/DIVA/2017-309. , 2017

Link: https://publikationen.bi..

12

In-place Parallel Super Scalar Samplesort (IPS$^4$o):

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
http://arxiv.org/abs/1705.02257. , 2017

Link: http://arxiv.org/abs/170..

13

09: Algorithmen 1, Vorlesung, SS 2017, 24.05.2017:

Müller-Quade, Jörn ; Witt, Sascha ; KIT
info:eu-repo/semantics/altIdentifier/doi/10.5445/DIVA/2017-280. , 2017

Link: https://publikationen.bi..

14

In-Place Parallel Super Scalar Samplesort (IPSSSSo):

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
Leibniz International Proceedings in Informatics. , 2017

Link: https://publikationen.bi..

15

In-Place Parallel Super Scalar Samplesort (IPSSSSo):

Axtmann, Michael ; Witt, Sascha ; Ferizovic, Daniel.
doi:10.4230/LIPIcs.ESA.2017.9. , 2017

Link: https://doi.org/10.4230/..