Travelled to:1 × Austria
1 × France
1 × Ireland
1 × Poland
Collaborated with:J.Power C.A.Gurr S.Anderson
Talks about:higraph (2) diagram (2) programm (1) principl (1) abstract (1) softwar (1) program (1) languag (1) foundat (1) control (1)
Person: Konstantinos Tourlas
DBLP: Tourlas:Konstantinos
Contributed to:
2003
2001
2000
1997Wrote 4 papers:
- FoSSaCS-2003-PowerT #abstraction #reasoning
- Abstraction in Reasoning about Higraph-Based Systems (JP, KT), pp. 392–408.
- CSL-2001-PowerT #algebra
- An Algebraic Foundation for Higraphs (JP, KT), pp. 145–159.
- ICSE-2000-GurrT #design #diagrams #re-engineering #towards
- Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.
- FME-1997-AndersonT #diagrams #programmable #programming language
- Diagrams and Programming Languages for Programmable Controllers (SA, KT), pp. 1–19.