Login / Signup
Romain Pascual
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Proof Theory
Maintaining Consistency
Graph Transformation
Numerical Data
Top Venues
Math. Struct. Comput. Sci.
CoRR
Sci. Comput. Program.
Graph. Vis. Comput.
</>
Publications
</>
Marc Aiguier
,
Isabelle Bloch
,
Romain Pascual
Ultraproducts in abstract categorical logic.
CoRR
(2024)
Romain Pascual
,
Hakim Belhaouari
,
Agnès Arnould
,
Pascale Le Gall
Inferring topological operations on generalized maps: Application to subdivision schemes.
Graph. Vis. Comput.
6 (2022)
Agnès Arnould
,
Hakim Belhaouari
,
Thomas Bellet
,
Pascale Le Gall
,
Romain Pascual
Preserving consistency in geometric modeling with graph transformations.
Math. Struct. Comput. Sci.
32 (3) (2022)
Romain Pascual
,
Pascale Le Gall
,
Agnès Arnould
,
Hakim Belhaouari
Topological consistency preservation with graph transformation schemes.
Sci. Comput. Program.
214 (2022)