Pablo Bendersky, Juan Pablo Galeotti & Diego Garbervetsky (2014):
The DynAlloy Visualizer.
arXiv preprint arXiv:1401.0973,
doi:10.4204/EPTCS.139.6.
N. Burlutskiy, M. Petridis, A. Fish & N. Ali (2014):
Enabling the visualization for reasoning about temporal data.
In: 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
pp. 179–180,
doi:10.1109/VLHCC.2014.6883044.
Alcino Cunha & Nuno Macedo (2018):
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum.
In: Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ),
LNCS 10817.
Springer,
pp. 307–321,
doi:10.1007/978-3-319-91271-4_21.
Ben Frain (2012):
Responsive web design with HTML5 and CSS3.
Packt Publishing Ltd.
Loïc Gammaitoni & Pierre Kelsen (2014):
Domain-specific visualization of alloy instances.
In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z.
Springer,
pp. 324–327,
doi:10.1007/978-3-662-43652-3_33.
Jeffrey Heer, Stuart K Card & James A Landay (2005):
Prefuse: a toolkit for interactive information visualization.
In: Proceedings of the SIGCHI conference on Human factors in computing systems.
ACM,
pp. 421–430,
doi:10.1145/1054972.1055031.
Ivan Herman, Guy Melançon & M Scott Marshall (2000):
Graph visualization and navigation in information visualization: A survey.
IEEE Transactions on visualization and computer graphics 6(1),
pp. 24–43,
doi:10.1109/2945.841119.
Daniel Jackson (2012):
Software Abstractions: logic, language, and analysis.
MIT press.
Terry K Kellerman & Philip S Milne (2004):
Graphical user interface layout manager.
US Patent 6,750,887.
Stephen G Kobourov (2012):
Spring embedders and force directed graph drawing algorithms.
arXiv preprint arXiv:1201.3011.
Simon Lok & Steven Feiner (2001):
A survey of automated layout techniques for information presentations.
Proceedings of SmartGraphics 2001,
pp. 61–68,
doi:10.1.1.9.8736.
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha & Denis Kuperberg (2016):
Lightweight specification and analysis of dynamic systems with rich configurations.
In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016.
ACM,
pp. 373–383,
doi:10.1145/2950290.2950318.
Riccardo Mazza (2009):
Introduction to information visualization.
Springer Science & Business Media.
João Mendes Moreira, Alcino Cunha & Nuno Macedo (2015):
An ORCID based synchronization framework for a national CRIS ecosystem.
F1000Research 4(181),
doi:10.12688/f1000research.6499.1.
Derek Rayside, Felix Chang, Greg Dennis, Robert Seater & Daniel Jackson (2007):
Automatic visualization of relational logic models.
Electronic Communications of the EASST 7.
K. Sugiyama, S. Tagawa & M. Toda (1981):
Methods for Visual Understanding of Hierarchical System Structures.
IEEE Transactions on Systems, Man, and Cybernetics 11(2),
pp. 109–125,
doi:10.1109/TSMC.1981.4308636.
David Thevenin & Joëlle Coutaz (1999):
Plasticity of User Interfaces: Framework and Research Agenda.
In: INTERACT.
Kashyap Todi, Daryl Weir & Antti Oulasvirta (2016):
Sketchplore: Sketch and explore with a layout optimiser.
In: Proceedings of the 2016 ACM Conference on Designing Interactive Systems.
ACM,
pp. 543–555,
doi:10.1145/2851581.2890236.
Atulan Zaman, Iman Kazerani, Medha Patki, Bhargava Guntoori & Derek Rayside (2013):
Improved Visualization of Relational Logic Models.
University of Waterloo, Tech. Rep.
P. Zave (2015):
A Practical Comparison of Alloy and Spin.
Form. Asp. Comput. 27(2),
pp. 239–253,
doi:10.1007/s00165-014-0302-2.