Publications

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

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

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

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

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

Marc Aiguier, Isabelle Bloch, Romain Pascual (2024). Ultraproducts in abstract categorical logic. arXiv preprint.

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

Pascale Le Gall, Romain Pascual (2023). Transformations de graphes décorés. In Informatique Mathématique Une photographie en 2023.

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould (2023). Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. In AFADL'23.

Romain Pascual (2022). Inference of graph transformation rules for the design of geometric modeling operations. Ph.D. thesis.

Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual (2022). Preserving consistency in geometric modeling with graph transformations. In MSCS.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall (2022). Inferring topological operations on generalized maps: Application to subdivision schemes. In GVC.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall (2022). A First Step Towards the Inference of Geological Topological Operations. In Eurographics 2022 (Poster).

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari (2021). Topological consistency preservation with graph transformation schemes. In SCP.