Konstantinos Tourlas

Publication Activity (10 Years)

Years Active: 1997-2010
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Peter G. Bishop, Konstantinos Tourlas, Nick Chozos
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. SAFECOMP (2010)
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
Justification of Smart Sensors for Nuclear Applications. SAFECOMP (2005)
Ewen Denney, John Power, Konstantinos Tourlas
Hiproofs: A Hierarchical Notion of Proof Tree. MFPS (2005)
John Power, Konstantinos Tourlas
On the Geometric Modelling of Visual Languages. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
John Power, Konstantinos Tourlas
Abstraction in Reasoning about Higraph-Based Systems. FoSSaCS (2003)
Stuart Anderson, John Power, Konstantinos Tourlas
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. Electron. Notes Theor. Comput. Sci. 61 (2002)
John Power, Konstantinos Tourlas
An Algebraic Foundation for Higraphs. CSL (2001)
John Power, Konstantinos Tourlas
An Algebraic Foundation for Graph-based Diagrams in Computing. MFPS (2001)
Stuart Anderson, John Power, Konstantinos Tourlas
Reasoning in Higraphs with Loose Edges. HCC (2001)
Corin A. Gurr, Konstantinos Tourlas
Towards the principled design of software engineering diagrams. ICSE (2000)
Corin A. Gurr, Konstantinos Tourlas
Formalising the Essence of Diagrammatic Syntax. Diagrams (2000)
Corin A. Gurr, Konstantinos Tourlas
Formalizing Pragmatic Features of Graph-Based Notations. VL (1999)
Stuart Anderson, Konstantinos Tourlas
Design for Proof: An Approach to the Design of Domain-Specific Languages. Formal Aspects Comput. 10 (5-6) (1998)
Stuart Anderson, Konstantinos Tourlas
Diagrams and Programming Languages for Programmable Controllers. FME (1997)
Konstantinos Tourlas
An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. SAFECOMP (1997)

Konstantinos Tourlas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Konstantinos Tourlas