Dr. Romain Pascual


Room 202, Building 50.34
Phone: +49 721 608-44024
Fax:      +49 721 608-44021
romain pascualXwx3∂kit edu

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe

Research Interests

  • Theoretical Computer Science
  • Formal Methods
  • Graph rewriting
  • Consistency preservation


  • JerboaStudio: An extension of the Jerboa platform allowing for the synthesis of geometric modeling operations.


Title Author(s) Source
Transformations de graphes décorésPascale Le Gall and Romain PascualInformatique Mathématique Une photographie en 2023
Title Author(s) Source
Inference of graph transformation rules for the design of geometric modeling operationsRomain PascualUniversité Paris-Saclay
Inferring topological operations on generalized maps: Application to subdivision schemesRomain Pascual, Hakim Belhaouari, Agnès Arnould, and Pascale Le GallGraphics and Visual Computing 6
Preserving consistency in geometric modeling with graph transformationsAgnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, and Romain PascualMathematical Structures in Computer Science 32(3)
Topological consistency preservation with graph transformation schemesRomain Pascual, Pascale Le Gall, Agnès Arnould, and Hakim BelhaouariScience of Computer Programming 214