David Merchat

According to our database, David Merchat authored at least 3 papers between 2003 and 2006.

Collaborative distances:

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

2006

Some ways to reduce the space dimension in polyhedra computations.

Nicolas Halbwachs, David Merchat, Laure Gonnord

Formal Methods Syst. Des., 2006

2005

Réduction du nombre de variables en analyse de relations linéaires.

David Merchat

PhD thesis, 2005

2003

Cartesian Factoring of Polyhedra in Linear Relation Analysis.

Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux

Proceedings of the Static Analysis, 10th International Symposium, 2003