Stefan Edelkamp

Available identifiers

zbMath Open edelkamp.stefanMaRDI QIDQ343908

List of research outcomes

Publication	Date of Publication	Type
Improving the Cache-Efficiency of Shortest Path Search	2022-11-02	Paper
QuickXsort: a fast sorting scheme in theory and practice	2020-02-06	Paper
Worst-Case Efficient Sorting with QuickMergesort	2019-09-13	Paper
BlockQuicksort	2019-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4606308	2018-03-02	Paper
Optimizing binary heaps	2017-10-20	Paper
Efficient symbolic search for cost-optimal planning	2016-11-29	Paper
An In-Place Priority Queue with O(1) Time for Push and $$\lg n + O(1)$$ lg n + O ( 1 ) Comparisons for Pop	2015-10-20	Paper
A Catalogue of Algorithms for Building Weak Heaps	2014-08-19	Paper
Weak heaps engineered	2014-08-13	Paper
QuickXsort: Efficient Sorting with n logn − 1.399n + o(n) Comparisons on Average	2014-06-24	Paper
Weak Heaps and Friends: Recent Developments	2014-01-17	Paper
Distributed Verification of Multi-threaded C++ Programs	2013-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q2852020	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2852026	2013-10-07	Paper
The weak-heap data structure: variants and applications	2013-01-18	Paper
In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses	2012-09-25	Paper
Two Constant-Factor-Optimal Realizations of Adaptive Heapsort	2012-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3092752	2011-09-22	Paper
Flash memory efficient LTL model checking	2011-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3624023	2009-04-28	Paper
Solving μ-Calculus Parity Games by Symbolic Planning	2009-03-17	Paper
Survey on Directed Model Checking	2009-03-17	Paper
Heuristic Search for the Analysis of Graph Transition Systems	2008-11-27	Paper
Semi-external LTL Model Checking	2008-07-15	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Automated Creation of Pattern Database Search Heuristics	2007-11-01	Paper
Real-Time Model Checking on Secondary Storage	2007-11-01	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5715723	2006-01-04	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Implementing HEAPSORT with ( n log n - 0.9 n ) and QUICKSORT with ( n log n + 0.2 n ) comparisons	2005-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4738472	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449303	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4428999	2003-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4426383	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428297	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4413787	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4797425	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797426	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797430	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4530808	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2728854	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4493879	2001-02-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Edelkamp