Alexandre Marchal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2015–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Combination of Boxes and Polyhedra Abstractions for Constraint Solving. | Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet |
| 2018 | ITP | A Coq Tactic for Equality Learning in Linear Arithmetic. | Sylvain Boulm, Alexandre Marchal |
| 2018 | SYNASC | The Verified Polyhedron Library: an Overview. | Sylvain Boulm, Alexandre Marchal, David Monniaux, Michal Prin, Hang Yu |
| 2017 | SAS | Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. | Alexandre Marchal, David Monniaux, Michal Prin |
| 2017 | VMCAI | Efficient Elimination of Redundancies in Polyhedra by Raytracing. | Alexandre Marchal, Michal Prin |
| 2016 | VMCAI | Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. | Alexandre Marchal, Alexis Fouilh, Tim King, David Monniaux, Michal Prin |
| 2015 | ITP | Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra. | Sylvain Boulm, Alexandre Marchal |