Towards a correct translation from ASN.1 into CafeOBJ. - Konstantinos Barlas; George Koletsos; Petros S. Stefaneas; Iakovos Ouranos (Int. J. Reason. based Intell. Syst., 2010)

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking - Konstantinos Barlas; George Koletsos; Petros S. Stefaneas (CoRR, 2011)

A Dynamic Algebraic Specification for Social Networks - Katerina Ksystra; Konstantinos Barlas; Nikolaos Triantafyllou; Petros S. Stefaneas (CoRR, 2011)

Formal Specification of Open Standards and the Case of RSS v2.0. - Konstantinos Barlas; Eleni Berki; Iulia Adomnita; Thrushna Nalam; Golnaz S. Nejad; Jari Veijalainen (Panhellenic Conference on Informatics, 2014)

Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. - Konstantinos Barlas; Eleni Berki; Petros S. Stefaneas; George Koletsos (Innov. Syst. Softw. Eng., 2017)

Αλγεβρική προδιαγραφή προτύπων - Konstantinos Barlas (2018)

An algebraic schema for JSON. - Konstantinos Barlas; Petros S. Stefaneas (PCI, 2020)