Algorithms for clustering data
Algorithms for clustering data
Cone Trees: animated 3D visualizations of hierarchical information
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Visualizing the structure of the World Wide Web in 3D hyperbolic space
VRML '95 Proceedings of the first symposium on Virtual reality modeling language
Graph Drawing: Algorithms for the Visualization of Graphs
Graph Drawing: Algorithms for the Visualization of Graphs
Multilevel Visualization of Clustered Graphs
GD '96 Proceedings of the Symposium on Graph Drawing
Case study: Narcissus: visualising information
INFOVIS '95 Proceedings of the 1995 IEEE Symposium on Information Visualization
Research report: Interacting with huge hierarchies: beyond cone trees
INFOVIS '95 Proceedings of the 1995 IEEE Symposium on Information Visualization
Interactive Visualization of State Transition Systems
IEEE Transactions on Visualization and Computer Graphics
InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures
INFOVIS '02 Proceedings of the IEEE Symposium on Information Visualization (InfoVis'02)
InterRing: a visual interface for navigating and manipulating hierarchies
Information Visualization
Large state space visualization
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Drawing clustered graphs in three dimensions
GD'05 Proceedings of the 13th international conference on Graph Drawing
Visualising larger state spaces in ProB
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
An overview of the mCRL2 toolset and its recent advances
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
A new method for the visualization of state transition graphs is presented. Visual information is reduced by clustering nodes, forming a tree structure of related clusters. This structure is visualized in three dimensions with concepts from cone trees and emphasis on symmetry. The resulting visualization makes it easier to relate features in the visualization of the state transition graph to semantic concepts in the corresponding process and vice versa.