| Publication | Date of Publication | Type |
|---|
| Sufficient convexity and best approximation | 2025-01-24 | Paper |
| Constructive convex programming | 2024-09-09 | Paper |
| Constructive Convex Optimisation | 2023-08-11 | Paper |
| Brouwer’s Fan Theorem | 2023-08-11 | Paper |
| A Constructive Version of Carathéodory’s Convexity Theorem | 2023-08-04 | Paper |
| Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice | 2023-08-04 | Paper |
| On Farkas' lemma and related propositions in BISH | 2022-01-18 | Paper |
| Constructive Proofs of Negated Statements | 2020-08-10 | Paper |
| Convexity and unique minimum points | 2019-01-24 | Paper |
| The binary expansion and the intermediate value theorem in constructive reverse mathematics | 2019-01-24 | Paper |
| BROUWER’S FAN THEOREM AND CONVEXITY | 2019-01-04 | Paper |
| A bound for Dickson's lemma | 2017-10-12 | Paper |
| Convexity and constructive infima | 2016-11-01 | Paper |
| A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle | 2016-08-31 | Paper |
| The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice | 2014-04-25 | Paper |
| Constructive aspects of Riemann's permutation theorem for series | 2013-03-28 | Paper |
| A decomposition of Brouwer’s fan theorem | 2012-12-17 | Paper |
| A constructive study of Landau's summability theorem | 2012-09-28 | Paper |
| Double sequences, almost Cauchyness and BD-N | 2012-08-01 | Paper |
| A predicative completion of a uniform space | 2012-06-01 | Paper |
| Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075212 | 2011-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929338 | 2010-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567844 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3407137 | 2010-03-02 | Paper |
| The weak König lemma and uniform continuity | 2009-03-23 | Paper |
| Dini’s Theorem in the Light of Reverse Mathematics | 2009-03-12 | Paper |
| The anti-Specker property, a Heine-Borel property, and uniform continuity | 2008-05-26 | Paper |
| A fan-theoretic equivalent of the antithesis of Specker's theorem | 2008-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310875 | 2007-10-15 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Classifying Dini's theorem | 2007-02-15 | Paper |
| A Bizarre Property Equivalent to the -Fan Theorem | 2007-02-15 | Paper |
| The fan theorem and unique existence of maxima | 2006-08-03 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Brouwer's fan theorem and unique existence in constructive analysis | 2005-08-01 | Paper |
| Exact calculation of inverse functions | 2005-04-07 | Paper |
| On nonstandard product measure spaces | 2003-01-01 | Paper |
