Acceleration of Affine Hybrid Transformations. - Bernard Boigelot; Frédéric Herbreteau; Isabelle Mainz (ATVA, 2014)

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. - Bernard Boigelot; Isabelle Mainz; Victor Marsault; Michel Rigo (ICALP, 2017)

Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. - Bernard Boigelot; Isabelle Mainz (ATVA, 2018)

Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. - Isabelle Mainz (2020)