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
Visualization of State Transition Graphs
INFOVIS '01 Proceedings of the IEEE Symposium on Information Visualization 2001 (INFOVIS'01)
Description and formal specification of the Link Layer of P1394
Description and formal specification of the Link Layer of P1394
Visual Analysis of Multivariate State Transition Graphs
IEEE Transactions on Visualization and Computer Graphics
Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams
IEEE Computer Graphics and Applications
Improving an interactive visualization of transition systems
Proceedings of the 4th ACM symposium on Software visualization
Analysing the BKE-security Protocol with μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
Verified design of an automated parking garage
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Large state space visualization
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
What does the user want to see?: what do the data want to be?
Information Visualization
Experiences in developing the mCRL2 toolset
Software—Practice & Experience
An LOD model for graph visualization and its application in web navigation
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Novel visualisation and analysis of natural and complex systems using systemic computation
Information Visualization
Interactive state-transition diagrams for visualization of multimodal annotation
Intelligent Data Analysis
| Hi-index | 0.00 |
A new method for the visualization of state transition systems 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. A number of interactive options are provided as well, allowing the user to superimpose detail information on this tree structure. The resulting visualization enables the user to relate features in the visualization of the state transition graph to semantic concepts in the corresponding process and vice versa.