The Contrapositive of Countable Choice for Inhabited Sets of Naturals. - Iosif Petrakis (J. Univers. Comput. Sci., 2012)

Completely Regular Bishop Spaces. - Iosif Petrakis (CiE, 2015)

A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. - Iosif Petrakis (CiE, 2016)

The Urysohn Extension Theorem for Bishop Spaces. - Iosif Petrakis (LFCS, 2016)

A constructive function-theoretic approach to topological compactness. - Iosif Petrakis (LICS, 2016)

Limit spaces with approximations. - Iosif Petrakis (Ann. Pure Appl. Log., 2016)

Editorial. - Hannes Leitgeb; Iosif Petrakis; Peter Schuster 001; Helmut Schwichtenberg (FLAP, 2016)

McShane-Whitney Pairs. - Iosif Petrakis (CiE, 2017)

A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces. - Iosif Petrakis (TAMC, 2017)

Dependent Sums and Dependent Products in Bishop's Set Theory. - Iosif Petrakis (TYPES, 2018)

Borel and Baire Sets in Bishop Spaces. - Iosif Petrakis (CiE, 2019)

Constructive uniformities of pseudometrics and Bishop topologies. - Iosif Petrakis (J. Log. Anal., 2019)

Functions of Baire Class One over a Bishop Topology. - Iosif Petrakis (CiE, 2020)

McShane-Whitney extensions in constructive analysis. - Iosif Petrakis (Log. Methods Comput. Sci., 2020)

Embeddings of Bishop spaces. - Iosif Petrakis (J. Log. Comput., 2020)

Direct spectra of Bishop spaces and their limits. - Iosif Petrakis (Log. Methods Comput. Sci., 2021)

Algebras of Complemented Subsets. - Iosif Petrakis; Daniel Misselbeck-Wessel (CiE, 2022)

Computability Models over Categories and Presheaves. - Iosif Petrakis (LFCS, 2022)

Strict computability models over categories and presheaves. - Iosif Petrakis (J. Log. Comput., 2022)

Proof-relevance in Bishop-style constructive mathematics. - Iosif Petrakis (Math. Struct. Comput. Sci., 2022)

Closed subsets in Bishop topological groups. - Iosif Petrakis (Theor. Comput. Sci., 2022)

The Grothendieck Computability Model. - Luis Gambarte; Iosif Petrakis (ICTCS, 2024)

Complemented subsets and Boolean-valued, partial functions. - Daniel Misselbeck-Wessel; Iosif Petrakis (Comput., 2024)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory. - Iosif Petrakis; Max Zeuner (Log. Methods Comput. Sci., 2024)

A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces. - Fabian Lukas Grubmüller; Iosif Petrakis (J. Log. Anal., 2025)

Strong negation in the theory of computable functionals TCF. - Nils Köpp; Iosif Petrakis (Log. Methods Comput. Sci., 2025)