Konstantinos Barlas

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Specification Languages

Semistructured Data

Database Schemata

Top Venues

Innov. Syst. Softw. Eng.

Panhellenic Conference on Informatics

Publications

Konstantinos Barlas, Petros S. Stefaneas
An algebraic schema for JSON. PCI (2020)
Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. Innov. Syst. Softw. Eng. 13 (1) (2017)
Konstantinos Barlas, Eleni Berki, Iulia Adomnita, Thrushna Nalam, Golnaz S. Nejad, Jari Veijalainen
Formal Specification of Open Standards and the Case of RSS v2.0. Panhellenic Conference on Informatics (2014)
Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas
A Dynamic Algebraic Specification for Social Networks CoRR (2011)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking CoRR (2011)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. 2 (3/4) (2010)