# Iosif Petrakis

Orcid: 0000-0002-4121-7455
According to our database

Collaborative distances:

^{1}, Iosif Petrakis authored at least 24 papers between 2012 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory.

Log. Methods Comput. Sci., 2024

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

2022

Theor. Comput. Sci., 2022

Math. Struct. Comput. Sci., 2022

J. Log. Comput., 2022

CoRR, 2022

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

Log. Methods Comput. Sci., 2021

2020

J. Log. Comput., 2020

Log. Methods Comput. Sci., 2020

Proceedings of the Beyond the Horizon of Computability, 2020

2019

J. Log. Anal., 2019

Proceedings of the Computing with Foresight and Industry, 2019

2018

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

2017

Proceedings of the Theory and Applications of Models of Computation, 2017

Proceedings of the Unveiling Dynamics and Complexity, 2017

2016

FLAP, 2016

Ann. Pure Appl. Log., 2016

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2012

J. Univers. Comput. Sci., 2012