Iosif Petrakis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CiE | Algebras of Complemented Subsets. | Iosif Petrakis, Daniel Misselbeck-Wessel |
| 2022 | LFCS | Computability Models over Categories and Presheaves. | Iosif Petrakis |
| 2020 | CiE | Functions of Baire Class One over a Bishop Topology. | Iosif Petrakis |
| 2019 | CiE | Borel and Baire Sets in Bishop Spaces. | Iosif Petrakis |
| 2017 | CiE | McShane-Whitney Pairs. | Iosif Petrakis |
| 2017 | TAMC | A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces. | Iosif Petrakis |
| 2016 | CiE | A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. | Iosif Petrakis |
| 2016 | LFCS | The Urysohn Extension Theorem for Bishop Spaces. | Iosif Petrakis |
| 2016 | LICS | A constructive function-theoretic approach to topological compactness. | Iosif Petrakis |
| 2015 | CiE | Completely Regular Bishop Spaces. | Iosif Petrakis |