Topology-based geometric modeling tackles the issue of representing objects with data
structures that encode the topological subdivision of modeled objects in vertices, edges …

Labeled graphs are particularly well adapted to represent objects in the context of topology-
based geometric modeling. Thus, graph transformation theory is used to implement …

Many software systems have to deal with the representation and the manipulation of
geometric objects: video games, CGI movie effects, computer-aided design, computer …

The design of correct topological modeling operations is known to be a time-consuming and
challenging task. However, these operations are intuitively understood via simple drawings …

We aim to accelerate the original vision of the semantic web by revisiting design decisions
that have defined the semantic web up until now. We propose a shift in direction that more …

The context of this paper is the use of formal methods for topology-based geometric
modelling. Topology-based geometric modelling deals with objects of various dimensions …

In the context of topology-based geometric modeling, operations transform objects regarding
both their topological structure (ie cell subdivision: vertex, edge, face, etc.) and their …

In this thesis, we present a formalization of geometric modeling operations as rules from the
theory of graph transformation. First, we investigate the construction of a dedicated rule …

Estimations of petroleum reserves rest on finite volumes computational simulations of the
reservoir fluid dynamics. These simulations are operated on 3D meshed reservoir models …

This paper focuses on homology computation over 'cellular'structures that allow multi-
incidence between cells. We deal here with combinatorial maps, more precisely chains of …