| Publication | Date of Publication | Type |
|---|
| Entropy conservation for comparison-based algorithms | 2022-02-25 | Paper |
| Approximating SP-orders through total preorders: incomparability and transitivity through permutations | 2019-10-15 | Paper |
| Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort | 2015-11-30 | Paper |
| A Random Bag Preserving Product Operation | 2015-03-23 | Paper |
| Sorting Algorithms in MOQA | 2015-03-23 | Paper |
| Complexity analysis via approach spaces | 2014-06-24 | Paper |
| Running time of the treapsort algorithm | 2013-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863890 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843626 | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843627 | 2013-08-23 | Paper |
| Weightable quasi-metric semigroups and semilattices | 2013-06-06 | Paper |
| The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science | 2012-12-06 | Paper |
| The complexity space of partial functions: a connection between complexity analysis and denotational semantics | 2011-06-15 | Paper |
| Complexity spaces as quantitative domains of computation | 2011-05-16 | Paper |
| \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis | 2009-12-18 | Paper |
| An extension of the dual complexity space and an application to computer science | 2009-11-05 | Paper |
| Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) | 2009-01-07 | Paper |
| Applications of the complexity space to the general probabilistic divide and conquer algorithms | 2008-10-06 | Paper |
| Binary trees equipped with semivaluations | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5757092 | 2007-08-24 | Paper |
| Partial quasi-metrics | 2006-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476720 | 2006-07-17 | Paper |
| Partial metric monoids and semivaluation spaces | 2006-03-20 | Paper |
| A survey of topological work at CEOL | 2004-12-31 | Paper |
| The correspondence between partial metrics and semivaluations | 2004-08-06 | Paper |
| A characterization of partial metrizability: Domains are quantifiable. | 2004-03-14 | Paper |
| Duality and quasi-normability for complexity spaces | 2003-10-21 | Paper |
| Extendible spaces | 2003-07-15 | Paper |
| On the Yoneda completion of a quasi-metric space | 2002-07-15 | Paper |
| The quasi-metric of complexity convergence | 2001-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2706892 | 2001-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513583 | 2001-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522472 | 2000-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500931 | 2000-09-25 | Paper |
| Quasi-metric properties of complexity spaces | 2000-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229136 | 1999-03-07 | Paper |
| The Smyth Completion | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373434 | 1998-04-01 | Paper |
