The following pages link to Stefan Edelkamp (Q343908):
Displayed 48 items.
- Efficient symbolic search for cost-optimal planning (Q343909) (← links)
- Weak heaps engineered (Q396692) (← links)
- (Q617926) (redirect page) (← links)
- Flash memory efficient LTL model checking (Q617930) (← links)
- The weak-heap data structure: variants and applications (Q1932363) (← links)
- QuickXsort: a fast sorting scheme in theory and practice (Q2292860) (← links)
- Optimizing binary heaps (Q2411045) (← links)
- (Q2728854) (← links)
- (Q2852020) (← links)
- (Q2852026) (← links)
- Distributed Verification of Multi-threaded C++ Programs (Q2866324) (← links)
- Weak Heaps and Friends: Recent Developments (Q2870011) (← links)
- A Catalogue of Algorithms for Building Weak Heaps (Q2876582) (← links)
- In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses (Q2912725) (← links)
- (Q3092752) (← links)
- Two Constant-Factor-Optimal Realizations of Adaptive Heapsort (Q3111651) (← links)
- An In-Place Priority Queue with O(1) Time for Push and $$\lg n + O(1)$$ lg n + O ( 1 ) Comparisons for Pop (Q3194717) (← links)
- Semi-external LTL Model Checking (Q3512515) (← links)
- Heuristic Search for the Analysis of Graph Transition Systems (Q3541978) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- (Q3624023) (← links)
- (Q4413787) (← links)
- (Q4426383) (← links)
- (Q4428297) (← links)
- (Q4428999) (← links)
- (Q4449303) (← links)
- (Q4493879) (← links)
- (Q4530808) (← links)
- BlockQuicksort: Avoiding Branch Mispredictions in Quicksort (Q4606308) (← links)
- BlockQuicksort (Q4629535) (← links)
- (Q4738472) (← links)
- (Q4797425) (← links)
- (Q4797426) (← links)
- (Q4797430) (← links)
- QuickXsort: Efficient Sorting with n logn − 1.399n + o(n) Comparisons on Average (Q4981155) (← links)
- Improving the Cache-Efficiency of Shortest Path Search (Q5044856) (← links)
- Worst-Case Efficient Sorting with QuickMergesort (Q5232746) (← links)
- Model Checking Software (Q5308365) (← links)
- Automated Creation of Pattern Database Search Heuristics (Q5423881) (← links)
- Real-Time Model Checking on Secondary Storage (Q5423883) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450785) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450786) (← links)
- Implementing <i>HEAPSORT</i> with ( <i>n</i> log <i>n</i> - 0.9 <i>n</i> ) and <i>QUICKSORT</i> with ( <i>n</i> (Q5463432) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711498) (← links)
- (Q5715723) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898621) (← links)
- Model Checking Software (Q5899033) (← links)