Iosif Petrakis
Orcid: 0000-0002-4121-7455
According to our database1,
Iosif Petrakis
authored at least 22 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Math. Struct. Comput. Sci., 2022
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
Proceedings of the Revolutions and Revelations in Computability, 2022
2021
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
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