Church-Rosser Theorem for Typed Functional Systems. - George Koletsos (J. Symb. Log., 1985)

Functional Interpretation of the beta-Rule. - George Koletsos (J. Symb. Log., 1985)

Polymorphic Lambda Calculus: The Church-Rosser Property. - George Koletsos (Theor. Comput. Sci., 1991)

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces. - Costas D. Koutras; George Koletsos; Stathis Zachos (Fundam. Informaticae, 1999)

A Method for Approximation to Ontology Reuse Problem. - Eleni Tsalapati; Giorgos B. Stamou; Giorgos Koletsos (KEOD, 2009)

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)

Query Rewriting under Ontology Contraction. - Eleni Tsalapati; Giorgos Stoilos; Giorgos B. Stamou; George Koletsos (RR, 2012)

Intersection Types and Termination Properties. - George Koletsos (Fundam. Informaticae, 2012)

Query Rewriting Under Ontology Evolution. - Eleni Tsalapati; Giorgos Stoilos; Giorgos B. Stamou; George Koletsos (Description Logics, 2013)

Efficient Query Answering over Expressive Inconsistent Description Logics. - Eleni Tsalapati; Giorgos Stoilos; Giorgos B. Stamou; George Koletsos (IJCAI, 2016)

Query Rewriting Under Ontology Change. - Eleni Tsalapati; Giorgos Stoilos; Alexandros Chortaras; Giorgos Stamou; George Koletsos (Comput. J., 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)