We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming language. The main purpose of animation was initially for the debugging and profiling of Grrr code, but recently it has been extended for the purpose of teaching algorithms to undergraduate students. The animation is r...

In recent years, there has been a significant increase in the use of graph-formatted data. Socials networks, among others, represent relationships among users and present interesting information for researches and other third-parties. The problem appears when someone wants to publicly release this information, especially in the case of social or healthcare networks. In these cases, it is essent...

The problem of deciding whether two graphs are isomorphic is fundamental in graph theory. Moreover, the flexibility with which other combinatorial objects can be modeled by graphs has meant that efficient programs for deciding whether graphs are isomorphic have also been used to study a variety of other combinatorial structures. Not only is the graph isomorphism problem a very practical one, it...