( en | de | ru )

 

Disambiguation of "Sanders, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Formally Verifying an Efficient Sorter.

, , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 268-287. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Sanders

Peter Sanders

Gerhard Sanders

Hedwig Sanders

Hans Sanders

 

Other publications of authors with the same name

SKaMPI: A Detailed, Accurate MPI Benchmark, , , and . Recent advances in parallel virtual machine and message passing interface: 5th European PVMMPI Users' Group Meeting, Liverpool, UK, September 7--9, 1998, volume 1497 of Lecture Notes in Computer Science, page 52--59. Springer-Verlag, Berlin, Germany, (1998)Concurrent Hash Tables: Fast and General(?)!, , and . ACM Trans. Parallel Comput., 5 (4): 16:1-16:32 (2019)Scalable Shared-Memory Hypergraph Partitioning., , , and . CoRR, (2020)Scalable High-Quality Hypergraph Partitioning., , , , and . ACM Trans. Algorithms, 20 (1): 9:1-9:54 (January 2024)High Performance Construction of RecSplit Based Minimal Perfect Hash Functions., , , and . ESA, volume 274 of LIPIcs, page 19:1-19:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Deep Multilevel Graph Partitioning., , , , and . ESA, volume 204 of LIPIcs, page 48:1-48:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fast Many-to-Many Routing for Ridesharing with Multiple Pickup and Dropoff Locations., and . CoRR, (2023)PaCHash: Packed and Compressed Hash Tables., , and . CoRR, (2022)High Performance Construction of RecSplit Based Minimal Perfect Hash Functions., , , and . CoRR, (2022)Scalable High-Quality Hypergraph Partitioning., , , , and . CoRR, (2023)