Konstantinos Tourlas

16 papers A* 1B 7C 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2010 B conf
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.
SAFECOMP
Peter G. Bishop, Konstantinos Tourlas, Nick Chozos
2005 B conf
Hiproofs: A Hierarchical Notion of Proof Tree.
MFPS
Ewen Denney, John Power, Konstantinos Tourlas
2005 B conf
Justification of Smart Sensors for Nuclear Applications.
SAFECOMP
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
2003 B conf
Abstraction in Reasoning about Higraph-Based Systems.
FoSSaCS
John Power, Konstantinos Tourlas
2002 — —
Diagrammatic representations in domain-specific languages.
Konstantinos Tourlas
2002 — conf
On the Geometric Modelling of Visual Languages.
GT-VMT@ICGT
John Power, Konstantinos Tourlas
2002 — conf
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.
CATS
Stuart Anderson, John Power, Konstantinos Tourlas
2001 B conf
An Algebraic Foundation for Graph-based Diagrams in Computing.
MFPS
John Power, Konstantinos Tourlas
2001 B conf
An Algebraic Foundation for Higraphs.
CSL
John Power, Konstantinos Tourlas
2001 — conf
Reasoning in Higraphs with Loose Edges.
HCC
Stuart Anderson, John Power, Konstantinos Tourlas
2000 C conf
Formalising the Essence of Diagrammatic Syntax.
Diagrams
Corin A. Gurr, Konstantinos Tourlas
2000 A* conf
Towards the principled design of software engineering diagrams.
ICSE
Corin A. Gurr, Konstantinos Tourlas
1999 — conf
Formalizing Pragmatic Features of Graph-Based Notations.
VL
Corin A. Gurr, Konstantinos Tourlas
1998 J jnl
Design for Proof: An Approach to the Design of Domain-Specific Languages.
Formal Aspects Comput.
Stuart Anderson, Konstantinos Tourlas
1997 B conf
An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers.
SAFECOMP
Konstantinos Tourlas
1997 — conf
Diagrams and Programming Languages for Programmable Controllers.
FME
Stuart Anderson, Konstantinos Tourlas