Jean B. Lasserre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1992–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. | Jianting Yang, Srecko urasinovic, Jean B. Lasserre, Victor Magron, Jun Zhao |
| 2008 | SAC | Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm. | Jean B. Lasserre, Monique Laurent, Philipp Rostalski |
| 2007 | IPCO | Simple Explicit Formula for Counting Lattice Points of Polyhedra. | Jean B. Lasserre, Eduardo S. Zeron |
| 2003 | ICCSA | A Discrete Farkas Lemma. | Jean B. Lasserre |
| 2003 | ICCSA | The Integer Hull of a Convex Rational Polytope. | Jean B. Lasserre |
| 2001 | IPCO | An Explicit Exact SDP Relaxation for Nonlinear 0-1 Programs. | Jean B. Lasserre |
| 1992 | IPCO | Generic Scheduling Polyhedra and a New Mixed-Integer Formulation for Single-Machine Scheduling. | Jean B. Lasserre, Maurice Queyranne |