Konstantinos Barlas

According to our database, Konstantinos Barlas authored at least 7 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

An algebraic schema for JSON.

Konstantinos Barlas, Petros S. Stefaneas

Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020

2018

Αλγεβρική προδιαγραφή προτύπων

Konstantinos Barlas

PhD thesis, 2018

2017

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

2014

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

Proceedings of the 18th Panhellenic Conference on Informatics, 2014

2011

A Dynamic Algebraic Specification for Social Networks

Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas

CoRR, 2011

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

Konstantinos Barlas, George Koletsos, Petros S. Stefaneas

CoRR, 2011

2010

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