Desert Island Column: The Books Don't Work
Automated Software Engineering
IEEE Intelligent Systems
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
A Software System for Learning Peircean Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
JVenn: A Visual Reasoning System with Diagrams and Sentences
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A diagrammatic inference system for the web
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Normal forms for binary relations
Theoretical Computer Science
A Graphical User Interface for Formal Proofs in Geometry
Journal of Automated Reasoning
Visual qualities of the Unified Modeling Language: Deficiencies and Improvements
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
RETRACTED: On the Visual Representation of Configuration in Reconfigurable Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Symbolic Computation
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Hi-index | 0.00 |