Isabelle Mainz

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Symbolic Representation

Convex Polyhedra

Experimental Study

Top Venues

Publications

Bernard Boigelot, Isabelle Mainz
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. ATVA (2018)
Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. ICALP (2017)
Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention. CoRR (2017)
Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
Acceleration of Affine Hybrid Transformations. ATVA (2014)