Konstantinos Tourlas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1997–2010
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAFECOMP | An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. | Peter G. Bishop, Konstantinos Tourlas, Nick Chozos |
| 2005 | SAFECOMP | Justification of Smart Sensors for Nuclear Applications. | Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas |
| 2003 | FOSSACS | Abstraction in Reasoning about Higraph-Based Systems. | John Power, Konstantinos Tourlas |
| 2001 | CSL | An Algebraic Foundation for Higraphs. | John Power, Konstantinos Tourlas |
| 2000 | DIAGRAMS | Formalising the Essence of Diagrammatic Syntax. | Corin A. Gurr, Konstantinos Tourlas |
| 2000 | ICSE | Towards the principled design of software engineering diagrams. | Corin A. Gurr, Konstantinos Tourlas |
| 1997 | FM | Diagrams and Programming Languages for Programmable Controllers. | Stuart Anderson, Konstantinos Tourlas |
| 1997 | SAFECOMP | An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. | Konstantinos Tourlas |