Isabelle Mainz

According to our database, Isabelle Mainz authored at least 4 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.

Isabelle Mainz

PhD thesis, 2020

2018

Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.

Bernard Boigelot, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention.

Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2014

Acceleration of Affine Hybrid Transformations.

Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2014