Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison.
Conference Proceeding
Melville, A., Graham, M., & Kennedy, J. (2011)
Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison. In 15th International Conference on Information Visualisation (IV), 2011https://doi.org/10.1109/IV.2011.49
While much work has been done in the area of visualization for analysis of graphs, relatively little research exists into how best to use visualization for comparing graphs. W...
Using ERMIA for the Evaluation of a Theorem Prover Interface
Conference Proceeding
Jackson, M., Benyon, D., & Lowe, H. (2004)
Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111
ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship
modelling techniques to provide a structural representation of the ...