Diagrams and Programming Languages for Programmable Controllers. - Stuart Anderson; Konstantinos Tourlas (FME, 1997)

An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. - Konstantinos Tourlas (SAFECOMP, 1997)

Design for Proof: An Approach to the Design of Domain-Specific Languages. - Stuart Anderson; Konstantinos Tourlas (Formal Aspects Comput., 1998)

Formalizing Pragmatic Features of Graph-Based Notations. - Corin A. Gurr; Konstantinos Tourlas (VL, 1999)

Formalising the Essence of Diagrammatic Syntax. - Corin A. Gurr; Konstantinos Tourlas (Diagrams, 2000)

Towards the principled design of software engineering diagrams. - Corin A. Gurr; Konstantinos Tourlas (ICSE, 2000)

An Algebraic Foundation for Higraphs. - John Power; Konstantinos Tourlas (CSL, 2001)

Reasoning in Higraphs with Loose Edges. - Stuart Anderson; John Power; Konstantinos Tourlas (HCC, 2001)

An Algebraic Foundation for Graph-based Diagrams in Computing. - John Power; Konstantinos Tourlas (MFPS, 2001)

Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. - Stuart Anderson; John Power; Konstantinos Tourlas (CATS, 2002)

On the Geometric Modelling of Visual Languages. - John Power; Konstantinos Tourlas (GT-VMT@ICGT, 2002)

Diagrammatic representations in domain-specific languages. - Konstantinos Tourlas (2002)

Abstraction in Reasoning about Higraph-Based Systems. - John Power; Konstantinos Tourlas (FoSSaCS, 2003)

Justification of Smart Sensors for Nuclear Applications. - Peter G. Bishop; Robin E. Bloomfield; Sofia Guerra; Konstantinos Tourlas (SAFECOMP, 2005)

Hiproofs: A Hierarchical Notion of Proof Tree. - Ewen Denney; John Power; Konstantinos Tourlas (MFPS, 2005)

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. - Peter G. Bishop; Konstantinos Tourlas; Nick Chozos (SAFECOMP, 2010)