International audienceIn this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our proposal is motivated by the need of describing specific operations to be done on topological representations of ob jects in computer graphics, especially for simulation of complex structured systems where rearrangements of compartments are sub ject to change. We also define application of such meta-rules and prove that it preserves some necessary conditions for G-maps
In this thesis, we present a formalization of geometric modeling operations as rules from the theory...
This paper is concerned with hierarchical graph models and graph transformation rules, specifically ...
International audienceLabeled graphs are particularly well adapted to represent objects in the conte...
International audienceIn this paper we present meta-rules to express an infinite class of semantical...
This PhD thesis is in line with the study of geometric modeling by the means of formal methods. We p...
Dans cette thèse, qui s’inscrit dans l’étude de la modélisation géométrique via les méthodes formell...
International audienceIn this article, we present a rule-based language dedicated to topological ope...
International audienceThe context of this paper is the use of formal methods for topology-based geom...
International audienceThe design of correct topological modeling operations is known to be a time-co...
The context of this paper is the use of formal methods for topology-based geometric modelling. Topol...
International audienceTopology-based geometric modeling tackles the issue of representing objects wi...
In this thesis, we present a formalization of geometric modeling operations as rules from the theory...
This paper is concerned with hierarchical graph models and graph transformation rules, specifically ...
International audienceLabeled graphs are particularly well adapted to represent objects in the conte...
International audienceIn this paper we present meta-rules to express an infinite class of semantical...
This PhD thesis is in line with the study of geometric modeling by the means of formal methods. We p...
Dans cette thèse, qui s’inscrit dans l’étude de la modélisation géométrique via les méthodes formell...
International audienceIn this article, we present a rule-based language dedicated to topological ope...
International audienceThe context of this paper is the use of formal methods for topology-based geom...
International audienceThe design of correct topological modeling operations is known to be a time-co...
The context of this paper is the use of formal methods for topology-based geometric modelling. Topol...
International audienceTopology-based geometric modeling tackles the issue of representing objects wi...
In this thesis, we present a formalization of geometric modeling operations as rules from the theory...
This paper is concerned with hierarchical graph models and graph transformation rules, specifically ...
International audienceLabeled graphs are particularly well adapted to represent objects in the conte...