The Tulip 3 Framework: A Scalable Software Library for Information Visualization Applications Based on Relational Data, 2006. ,
A Model and Analysis of the AKAP Scaffold, Proc. of CS2Bio, pp.3-15, 2010. ,
PORGY: Strategy- Driven Interactive Transformation of Graphs, Echahed R, pp.54-68, 2011. ,
A Biochemical Calculus Based on Strategic Graph Rewriting, 3 rd Int. Conf. on Algebraic Biology, 2008. ,
A port graph calculus for autonomic computing and invariant verification, ENTCS, 2009. ,
Handbook of graph grammars and computing by graph trasnformation, World Scientific, vol.13, issue.1, 1997. ,
The AGG approach: Language and environment, Handbook of Graph Grammars and Computing by Graph Transformations, pp.551-603, 1997. ,
Rule-Based Modeling of Biochemical Systems with BioNetGen, In Systems Biology Methods in Molecular Biology, vol.1, issue.2, pp.133-168, 2009. ,
A strategy language for graph rewriting, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR) (2012), p.7 ,
Online dynamic graph drawing, IEEE Trans. on Visualization and Computer Graphics, vol.14, issue.7 9, pp.727-740, 2008. ,
GrGen: A Fast SPO-Based Graph Rewriting Tool, In ICGT LNCS, vol.4178, issue.2, pp.383-397, 2006. ,
Using graph transformation for practical model-driven software engineering, Model-Driven Software Development, pp.91-117, 2005. ,
Some simplified NP-Complete graph problems, Theoretical Computer Science, vol.1, pp.237-267, 1976. ,
An open graph visualization system and its applications to software engineering, Gou10] GOUDSMIT J.: An optimal implementation of the lambda-calculus. Software Technology Colloquium, pp.1203-1233, 2000. ,
Graph grammars -a formal method for dynamic structure transformation, 11 th Int. Dependency and Structure Modelling (DSM) Conf, pp.93-103, 2009. ,
Interaction nets, Proc. of the 17 th ACM Symp. on Principles of Programming Languages, pp.95-108, 1990. ,
Task taxonomy for graph visualization, AVI Work. on Beyond Time and Errors: Novel Evaluation Methods For information Visualization (BELIV), 2006. ,
Encoding linear logic with interaction combinators, Information and Computation, vol.176, issue.8, 2002. ,
Visual programming with recursion patterns in interaction nets ,
A nested process model for visualization design and validation, IEEE Trans. on Visualization and Computer Graphics, vol.15, issue.1 3, pp.921-928, 2009. ,
The FUJABA environment, ICSE, pp.742-745, 2000. ,
The Graph Programming Language GP, CAI, pp.99-122, 2009. ,
Fully automatic visualisation of overlapping sets, Computer Graphics Forum, vol.28, issue.3, pp.967-974, 2009. ,
The PRO- GRES Approach: Language and Environment. In Handbook of Graph Grammars and Computing by Graph Transformations, World Scientific, vol.2, issue.2, pp.479-546, 1997. ,
Rulebender: Integrated visualization for biochemical rulebased modeling, 1 st IEEE Symp. on Biologial Data Visualization, 2011. ,
An algorithm for subgraph isomorphism, Journal of the ACM, vol.23, issue.1, pp.31-42, 1976. ,
Visual Analysis of Large Graphs: State-of-the-Art and Future Research Challenges, Computer Graphics Forum, vol.6, issue.5, pp.1719-1749, 2011. ,
DOI : 10.1111/j.1467-8659.2011.01898.x
URL : https://hal.archives-ouvertes.fr/hal-00712779
World Lines, IEEE Transactions on Visualization and Computer Graphics, vol.16, issue.6, pp.1458-1467, 2010. ,
DOI : 10.1109/TVCG.2010.223