Pablo Bendersky
Juan Pablo Galeotti
Diego Garbervetsky
2014
The DynAlloy Visualizer
arXiv preprint arXiv:1401.0973
10.4204/EPTCS.139.6
N. Burlutskiy
M. Petridis
A. Fish
N. Ali
2014
Enabling the visualization for reasoning about temporal data
2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
179–180
10.1109/VLHCC.2014.6883044
Alcino Cunha
Nuno Macedo
2018
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
LNCS
10817
Springer
307–321
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
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Springer
324–327
10.1007/978-3-662-43652-3_33
Jeffrey Heer
Stuart K Card
James A Landay
2005
Prefuse: a toolkit for interactive information visualization
Proceedings of the SIGCHI conference on Human factors in computing systems
ACM
421–430
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
24–43
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
61–68
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
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016
ACM
373–383
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
10.12688/f1000research.6499.1
Oracle
2017
A Visual Guide to Layout Managers
https://docs.oracle.com/javase/tutorial/uiswing/layout/visual.html
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
109–125
10.1109/TSMC.1981.4308636
David Thevenin
Joëlle Coutaz
1999
Plasticity of User Interfaces: Framework and Research Agenda
INTERACT
Kashyap Todi
Daryl Weir
Antti Oulasvirta
2016
Sketchplore: Sketch and explore with a layout optimiser
Proceedings of the 2016 ACM Conference on Designing Interactive Systems
ACM
543–555
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
239–253
10.1007/s00165-014-0302-2