Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating a graphical notation for modelling software development methodologies
Journal of Visual Languages and Computing
Visualizing and specifying ontologies using diagrammatic logics
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
| Hi-index | 0.01 |