| Publication | Date of Publication | Type |
|---|
Entropy conservation for comparison-based algorithms
Topology and its Applications | 2022-02-25 | Paper |
Approximating SP-orders through total preorders: incomparability and transitivity through permutations
Quaestiones Mathematicae | 2019-10-15 | Paper |
On the domain of formal balls of the Sorgenfrey quasi-metric space
Topology and its Applications | 2016-04-13 | Paper |
Frugal encoding in reversible \(\mathcal{MOQA}\): a case study for Quicksort
Reversible Computation | 2015-11-30 | Paper |
A random bag preserving product operation
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Sorting algorithms in \textsc{MOQA}
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Complexity analysis via approach spaces
Applied Categorical Structures | 2014-06-24 | Paper |
Running time of the treapsort algorithm
Theoretical Computer Science | 2013-12-11 | Paper |
| Decision trees of algorithms and a semivaluation to measure their distance | 2013-12-04 | Paper |
| Norm-weightable Riesz spaces and the dual complexity space | 2013-08-23 | Paper |
| Average merge time: an intuitive interpretation | 2013-08-23 | Paper |
Weightable quasi-metric semigroups and semilattices
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
Theory of Computing Systems | 2012-12-06 | Paper |
The complexity space of partial functions: a connection between complexity analysis and denotational semantics
International Journal of Computer Mathematics | 2011-06-15 | Paper |
Complexity spaces as quantitative domains of computation
Topology and its Applications | 2011-05-16 | Paper |
\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
The Journal of Logic and Algebraic Programming | 2009-12-18 | Paper |
An extension of the dual complexity space and an application to computer science
Topology and its Applications | 2009-11-05 | Paper |
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
Lecture Notes in Electrical Engineering | 2009-01-07 | Paper |
Applications of the complexity space to the general probabilistic divide and conquer algorithms
Journal of Mathematical Analysis and Applications | 2008-10-06 | Paper |
Binary trees equipped with semivaluations
Quaestiones Mathematicae | 2007-11-13 | Paper |
| scientific article; zbMATH DE number 5182609 (Why is no real title available?) | 2007-08-24 | Paper |
Partial quasi-metrics
Theoretical Computer Science | 2006-12-07 | Paper |
| The relationship between balance and the speed of algorithms | 2006-07-17 | Paper |
Partial metric monoids and semivaluation spaces
Topology and its Applications | 2006-03-20 | Paper |
| A survey of topological work at CEOL | 2004-12-31 | Paper |
The correspondence between partial metrics and semivaluations
Theoretical Computer Science | 2004-08-06 | Paper |
A characterization of partial metrizability: Domains are quantifiable.
Theoretical Computer Science | 2004-03-14 | Paper |
Duality and quasi-normability for complexity spaces
Applied General Topology | 2003-10-21 | Paper |
Extendible spaces
Applied General Topology | 2003-07-15 | Paper |
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science | 2002-07-15 | Paper |
The quasi-metric of complexity convergence
Quaestiones Mathematicae | 2001-07-30 | Paper |
Cauchy filters and strong completeness of quasi-uniform spaces
Rostocker Mathematisches Kolloquium | 2001-05-29 | Paper |
| scientific article; zbMATH DE number 1531366 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1547051 (Why is no real title available?) | 2000-12-20 | Paper |
| scientific article; zbMATH DE number 1498599 (Why is no real title available?) | 2000-09-25 | Paper |
Quasi-metric properties of complexity spaces
Topology and its Applications | 2000-08-03 | Paper |
| scientific article; zbMATH DE number 1258313 (Why is no real title available?) | 1999-03-07 | Paper |
The Smyth Completion
Electronic Notes in Theoretical Computer Science | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1107511 (Why is no real title available?) | 1998-04-01 | Paper |
