 | 2006 |
|---|
| 13 |       | Ewen Denney,
John Power,
Konstantinos Tourlas:
Hiproofs: A Hierarchical Notion of Proof Tree.
Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006) |
| 2005 |
|---|
| 12 | | Peter G. Bishop,
Robin E. Bloomfield,
Sofia Guerra,
Konstantinos Tourlas:
Justification of Smart Sensors for Nuclear Applications.
SAFECOMP 2005: 194-207 |
| 2003 |
|---|
| 11 | | John Power,
Konstantinos Tourlas:
Abstraction in Reasoning about Higraph-Based Systems.
FoSSaCS 2003: 392-408 |
| 10 | | John Power,
Konstantinos Tourlas:
On the Geometric Modelling of Visual Languages.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 2002 |
|---|
| 9 | | Stuart Anderson,
John Power,
Konstantinos Tourlas:
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 2001 |
|---|
| 8 | | John Power,
Konstantinos Tourlas:
An Algebraic Foundation for Higraphs.
CSL 2001: 145-159 |
| 7 | | Stuart Anderson,
John Power,
Konstantinos Tourlas:
Reasoning in Higraphs with Loose Edges.
HCC 2001: 23-29 |
| 6 | | John Power,
Konstantinos Tourlas:
An Algebraic Foundation for Graph-based Diagrams in Computing.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 5 | | Corin A. Gurr,
Konstantinos Tourlas:
Formalising the Essence of Diagrammatic Syntax.
Diagrams 2000: 483-485 |
| 4 | | Corin A. Gurr,
Konstantinos Tourlas:
Towards the principled design of software engineering diagrams.
ICSE 2000: 509-518 |
| 1999 |
|---|
| 3 | | Corin A. Gurr,
Konstantinos Tourlas:
Formalizing Pragmatic Features of Graph-Based Notations.
VL 1999: 220-227 |
| 1998 |
|---|
| 2 | | Stuart Anderson,
Konstantinos Tourlas:
Design for Proof: An Approach to the Design of Domain-Specific Languages.
Formal Asp. Comput. 10(5-6): 452-468 (1998) |
| 1997 |
|---|
| 1 | | Stuart Anderson,
Konstantinos Tourlas:
Diagrams and Programming Languages for Programmable Controllers.
FME 1997: 1-19 |
