| Publication | Date of Publication | Type |
|---|
| Dynamic Play via Suit Factorization Search in Skat | 2023-03-29 | Paper |
| 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 |
| BlockQuicksort: Avoiding Branch Mispredictions in Quicksort | 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 |
| Action planning for directed model checking of Petri nets | 2013-10-07 | Paper |
| Dynamic incremental hashing in program model checking | 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 |
| Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4 | 2009-04-28 | Paper |
| Survey on Directed Model Checking | 2009-03-17 | Paper |
| Solving μ-Calculus Parity Games by Symbolic Planning | 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/Q4797430 | 2003-03-13 | 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/Q4530808 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728854 | 2001-11-06 | Paper |
| Time complexity of iterative-deepening-\(A^{*}\) | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493879 | 2001-02-14 | Paper |
