Isabelle Mainz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ATVA | Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. | Bernard Boigelot, Isabelle Mainz |
| 2017 | ICALP | An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. | Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo |
| 2014 | ATVA | Acceleration of Affine Hybrid Transformations. | Bernard Boigelot, Frdric Herbreteau, Isabelle Mainz |