The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Konstantinos Tourlas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  14. An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002