| 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: avoiding branch mispredictions in Quicksort | 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)\) 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 \log n - 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 |
| Heuristic search. Theory and applications | 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 |
