Konstantinos Tourlas

According to our database, Konstantinos Tourlas authored at least 16 papers between 1997 and 2010.

Collaborative distances:

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

2010

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.

Peter G. Bishop, Konstantinos Tourlas, Nick Chozos

Proceedings of the Computer Safety, 2010

2005

Hiproofs: A Hierarchical Notion of Proof Tree.

Ewen Denney, John Power, Konstantinos Tourlas

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Justification of Smart Sensors for Nuclear Applications.

Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas

Proceedings of the Computer Safety, 2005

2003

Abstraction in Reasoning about Higraph-Based Systems.

John Power, Konstantinos Tourlas

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

Diagrammatic representations in domain-specific languages.

Konstantinos Tourlas

PhD thesis, 2002

On the Geometric Modelling of Visual Languages.

John Power, Konstantinos Tourlas

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.

Stuart Anderson, John Power, Konstantinos Tourlas

Proceedings of the Computing: the Australasian Theory Symposium, 2002

2001

An Algebraic Foundation for Graph-based Diagrams in Computing.

John Power, Konstantinos Tourlas

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Reasoning in Higraphs with Loose Edges.

Stuart Anderson, John Power, Konstantinos Tourlas

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

An Algebraic Foundation for Higraphs.

John Power, Konstantinos Tourlas

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Towards the principled design of software engineering diagrams.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Formalising the Essence of Diagrammatic Syntax.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1999

Formalizing Pragmatic Features of Graph-Based Notations.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

1998

Design for Proof: An Approach to the Design of Domain-Specific Languages.

Stuart Anderson, Konstantinos Tourlas

Formal Aspects Comput., 1998

1997

An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers.

Konstantinos Tourlas

Proceedings of the 16th International Conference on Computer Safety, 1997

Diagrams and Programming Languages for Programmable Controllers.

Stuart Anderson, Konstantinos Tourlas

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997