Specialist Areas
Publications
"Justification of Smart Sensors for Nuclear Applications."
P. Bishop, R. Bloomfield, S. Guerra and K.
Tourlas, Lecture Notes in Computer Science vol.3688.
Springer-Verlag, 2005
"An algebraic foundation for higraphs,
Proceedings of the conference on Computer Science Logic
(CSL)"
J. Power and K. Tourlas, Lecture Notes in
Computer Science, vol.2142, 2001.
"Towards the principled design of software
engineering diagrams"
C. Gurr and K. Tourlas, Proceedings of the
22nd International Conference on Software Engineering,
pages 509–520, ACM Press, 2000.
"Zooming-out on Higraph-based diagrams:
syntactic and semantic issues"
S. Anderson, J. Power and K. Tourlas,
Electronic Notes in Theoretical Computer Science,
vol.61, Elsevier Science Publishers, James Harland
editor, 2002.
"Design for Proof: An Approach to the Design
of Domain-Specific Languages"
S. Anderson and K. Tourlas, Formal Aspects
of Computing Journal, vol 10, pages 452–468, 1998