Inferring topological operations on generalized maps: Application to subdivision schemes. - Romain Pascual; Hakim Belhaouari; Agnès Arnould; Pascale Le Gall (Graph. Vis. Comput., 2022)

Topological consistency preservation with graph transformation schemes. - Romain Pascual; Pascale Le Gall; Agnès Arnould; Hakim Belhaouari (Sci. Comput. Program., 2022)

Inférence de règles de transformations de graphe pour la conception d'opérations de modélisation géométrique. (Inference of graph transformation rules for the design of geometric modeling operations). - Romain Pascual (2022)

Preserving consistency in geometric modeling with graph transformations. - Agnès Arnould; Hakim Belhaouari; Thomas Bellet; Pascale Le Gall; Romain Pascual (Math. Struct. Comput. Sci., 2022)

Formal Foundations of Consistency in Model-Driven Development. - Romain Pascual; Bernhard Beckert; Mattias Ulbrich; Michael Kirsten; Wolfram Pfeifer (ISoLA (3), 2024)

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. - Kevin Feichtinger; Karl Kegel; Romain Pascual; Uwe Aßmann; Bernhard Beckert; Ralf H. Reussner (MoDELS (Companion), 2024)

A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis. - Karl Kegel; Andreas Domanowski; Kevin Feichtinger; Romain Pascual; Uwe Aßmann (MoDELS (Companion), 2024)

Ultraproducts in abstract categorical logic. - Marc Aiguier; Isabelle Bloch; Romain Pascual (CoRR, 2024)

A Note on Los's Theorem for Kripke-Joyal Semantics. - Marc Aiguier; Romain Pascual (CoRR, 2024)

Instantiation of Jerboa Rule Schemes, a Set-based Explanation. - Romain Pascual (CoRR, 2024)

Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case. - Charles Lepaire; Hakim Belhaouari; Romain Pascual; Philippe Meseure (J. WSCG, 2024)