Victor Magron

104 papers A* 3B 7C 2Journal 80Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Induced norm analysis of linear systems for nonnegative input signals.
Autom.
Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, Victor Magron, Tomomichi Hagiwara
2025 J jnl
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients.
Comput. Optim. Appl.
Jie Wang, Victor Magron
2025 J jnl
Certified bounds on optimization problems in quantum theory.
CoRR
Younes Naceur, Jie Wang, Victor Magron, Antonio Acín
2025 J jnl
Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis.
J. Autom. Reason.
Grigory Devadze, Victor Magron, Stefan Streif
2025 J jnl
Convergence rates for sums-of-squares hierarchies with correlative sparsity.
Math. Program.
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
2025 J jnl
Mixtures Closest to a Given Measure: A Semidefinite Programming Approach.
CoRR
Srecko Ðurasinovic, Jean-Bernard Lasserre, Victor Magron
2025 — conf
On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers.
ECC
Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
2025 J jnl
On the Complexity of p-Order Cone Programs.
CoRR
Víctor Blanco, Victor Magron, Miguel Martínez-Antón
2025 J jnl
On the complexity of p-order cone programs.
J. Complex.
Víctor Blanco, Victor Magron, Miguel Martínez-Antón
2025 J jnl
Slow Convergence of the Moment-SOS Hierarchy for an Elementary Polynomial Optimization Problem.
SIAM J. Appl. Algebra Geom.
Didier Henrion, Adrien Le Franc, Victor Magron
2025 A* conf
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization.
ICLR
Jianting Yang, Srecko Ðurasinovic, Jean B. Lasserre, Victor Magron, Jun Zhao
2024 J jnl
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks.
Math. Program.
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
2024 — conf
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification.
ECC
Yoshio Ebihara, Xin Dai, Tsuyoshi Yuno, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
2024 J jnl
State polynomials: positivity, optimization and nonlinear Bell inequalities.
Math. Program.
Igor Klep, Victor Magron, Jurij Volcic, Jie Wang
2024 J jnl
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization.
CoRR
Jianting Yang, Srecko Ðurasinovic, Jean-Bernard Lasserre, Victor Magron, Jun Zhao
2023 J jnl
A Sparse Version of Reznick's Positivstellensatz.
Math. Oper. Res.
Ngoc Hoang Anh Mai, Victor Magron, Jean B. Lasserre
2023 J jnl
A hierarchy of spectral relaxations for polynomial optimization.
Math. Program. Comput.
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron
2023 J jnl
Convergence rates for sums-of-squares hierarchies with correlative sparsity.
CoRR
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
2023 J jnl
Correlations constrained by composite measurements.
Quantum
John H. Selby, Ana Belén Sainz, Victor Magron, Lukasz Czekaj, Michal Horodecki
2023 J jnl
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems.
IEEE Trans. Autom. Control.
Jie Wang, Corbinian Schlosser, Milan Korda, Victor Magron
2023 J jnl
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification.
CoRR
Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
2023 — conf
Peak Estimation of Time Delay Systems Using Occupation Measures.
CDC
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
2023 J jnl
Peak Estimation of Time Delay Systems using Occupation Measures.
CoRR
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
2023 B conf
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.
ISSAC
Przemyslaw Koprowski, Victor Magron, Tristan Vaccon
2023 J jnl
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.
CoRR
Victor Magron, Przemyslaw Koprowski, Tristan Vaccon
2023 J jnl
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives.
INFORMS J. Comput.
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
2023 J jnl
SONC optimization and exact nonnegativity certificates via second-order cone programming.
J. Symb. Comput.
Victor Magron, Jie Wang
2023 — book
Sparse Polynomial Optimization - Theory and Practice
Sparse Polynomial Optimization
Victor Magron, Jie Wang
2023 J jnl
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients.
SIAM J. Optim.
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
2022 J jnl
A sublevel moment-SOS hierarchy for polynomial optimization.
Comput. Optim. Appl.
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
2022 J jnl
CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization.
ACM Trans. Math. Softw.
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
2022 B conf
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients.
ISSAC
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
2022 J jnl
Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients.
CoRR
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
2022 J jnl
Exploiting Constant Trace Property in Large-scale Polynomial Optimization.
ACM Trans. Math. Softw.
Ngoc Hoang Anh Mai, Jean B. Lasserre, Victor Magron, Jie Wang
2022 J jnl
Exploiting Sparsity in Complex Polynomial Optimization.
J. Optim. Theory Appl.
Jie Wang, Victor Magron
2022 — conf
L2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming.
ECC
Yoshio Ebihara, Hayato Motooka, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
2022 J jnl
On the complexity of Putinar-Vasilescu's Positivstellensatz.
J. Complex.
Ngoc Hoang Anh Mai, Victor Magron
2022 J jnl
Positivity certificates and polynomial optimization on non-compact semialgebraic sets.
Math. Program.
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron
2022 J jnl
Sparse Polynomial Optimization: Theory and Practice.
CoRR
Victor Magron, Jie Wang
2022 J jnl
Sparse noncommutative polynomial optimization.
Math. Program.
Igor Klep, Victor Magron, Janez Povh
2022 J jnl
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers.
CoRR
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
2022 J jnl
Stability of Linear Systems Under Extended Weakly-Hard Constraints.
IEEE Control. Syst. Lett.
Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio
2022 J jnl
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant.
CoRR
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh
2021 J jnl
Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension.
SIAM J. Optim.
Jie Wang, Victor Magron, Jean-Bernard Lasserre
2021 J jnl
Exploiting term sparsity in noncommutative polynomial optimization.
Comput. Optim. Appl.
Jie Wang, Victor Magron
2021 J jnl
Minimizing Rational Functions: A Hierarchy of Approximations via Pushforward Measures.
SIAM J. Optim.
Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm
2021 J jnl
On exact Reznick, Hilbert-Artin and Putinar's representations.
J. Symb. Comput.
Victor Magron, Mohab Safey El Din
2021 A* conf
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification.
NeurIPS
Tong Chen, Jean B. Lasserre, Victor Magron, Edouard Pauwels
2021 C conf
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions.
ACC
Jie Wang, Martina Maggio, Victor Magron
2021 — conf
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers.
CDC
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
2021 J jnl
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients.
CoRR
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
2021 J jnl
TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity.
SIAM J. Optim.
Jie Wang, Victor Magron, Jean-Bernard Lasserre
2021 J jnl
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization.
CoRR
Victor Magron, Jie Wang
2021 B conf
The Constant Trace Property in Noncommutative Optimization.
ISSAC
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron
2021 — book
The quest of modeling, certification and efficiency in polynomial optimization. (La quête de modélisation, de certification et d'efficacité en optimisation polynomiale).
Victor Magron
2021 J jnl
l2 induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks.
Eur. J. Control
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
2020 B conf
A second order cone characterization for sums of nonnegative circuits.
ISSAC
Jie Wang, Victor Magron
2020 J jnl
CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization.
CoRR
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
2020 J jnl
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis.
CoRR
Grigory Devadze, Victor Magron, Stefan Streif
2020 J jnl
Computing the Hausdorff Boundary Measure of Semialgebraic Sets.
SIAM J. Appl. Algebra Geom.
Jean B. Lasserre, Victor Magron
2020 J jnl
Optimal control of linear PDEs using occupation measures and SDP relaxations.
IMA J. Math. Control. Inf.
Victor Magron, Christophe Prieur
2020 J jnl
Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks.
CoRR
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
2020 J jnl
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming.
CoRR
Victor Magron, Jie Wang
2020 A* conf
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks.
NeurIPS
Tong Chen, Jean B. Lasserre, Victor Magron, Edouard Pauwels
2019 J jnl
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials.
J. Symb. Comput.
Victor Magron, Mohab Safey El Din, Markus Schweighofer
2019 J jnl
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
IEEE Trans. Computers
Victor Magron, Alexandre Rocca, Thao Dang
2019 B conf
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.
ISSAC
Victor Magron, Henning Seidler, Timo de Wolff
2019 J jnl
Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials.
CoRR
Victor Magron, Henning Seidler, Timo de Wolff
2019 J jnl
In SDP Relaxations, Inaccurate Solvers Do Robust Optimization.
SIAM J. Optim.
Jean-Bernard Lasserre, Victor Magron
2019 J jnl
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems.
SIAM J. Control. Optim.
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
2018 J jnl
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations.
CoRR
Victor Magron, Alexandre Rocca, Thao Dang
2018 J jnl
Interval Enclosures of Upper Bounds of Roundoff Errors Using Semidefinite Programming.
ACM Trans. Math. Softw.
Victor Magron
2018 — conf
Occupation measure methods for modelling and analysis of biological hybrid systems.
ADHS
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
2018 B conf
On Exact Polya and Putinar's Representations.
ISSAC
Victor Magron, Mohab Safey El Din
2018 J jnl
On Exact Polya and Putinar's Representations.
CoRR
Victor Magron, Mohab Safey El Din
2018 J jnl
On Exact Polya, Hilbert-Artin and Putinar's Representations.
CoRR
Victor Magron, Mohab Safey El Din
2018 J jnl
Optimal Data Fitting: A Moment Approach.
SIAM J. Optim.
Jean-Bernard Lasserre, Victor Magron
2018 J jnl
RealCertify: a Maple package for certifying non-negativity.
CoRR
Victor Magron, Mohab Safey El Din
2018 J jnl
Realcertify: a maple package for certifying non-negativity.
ACM Commun. Comput. Algebra
Victor Magron, Mohab Safey El Din
2017 J jnl
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials.
CoRR
Victor Magron, Mohab Safey El Din, Markus Schweighofer
2017 C conf
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
ARITH
Alexandre Rocca, Victor Magron, Thao Dang
2017 J jnl
Certified Roundoff Error Bounds Using Semidefinite Programming.
ACM Trans. Math. Softw.
Victor Magron, George A. Constantinides, Alastair F. Donaldson
2017 J jnl
Occupation measure methods for modelling and analysis of biological hybrid automata.
CoRR
Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca
2016 J jnl
Certified Lower Bounds of Roundoff Errors using Semidefinite Programming.
CoRR
Victor Magron, Mountassir Farid
2016 J jnl
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations.
CoRR
Alexandre Rocca, Victor Magron, Thao Dang
2015 J jnl
A Sums-of-Squares Extension of Policy Iterations.
CoRR
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015 J jnl
A formal proof of the Kepler conjecture.
CoRR
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
2015 J jnl
Certification of real inequalities: templates and sums of squares.
Math. Program.
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2015 J jnl
Certified Roundoff Error Bounds Using Semidefinite Programming.
CoRR
Victor Magron, George A. Constantinides, Alastair F. Donaldson
2015 J jnl
Error bounds for polynomial optimization over the hypercube using putinar type representations.
Optim. Lett.
Victor Magron
2015 J jnl
Formal Proofs for Nonlinear Optimization.
J. Formaliz. Reason.
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2015 B conf
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization.
SAS
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015 J jnl
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization.
CoRR
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015 J jnl
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets.
SIAM J. Optim.
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2014 J jnl
Approximating Pareto Curves using Semidefinite Relaxations.
CoRR
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2014 J jnl
Approximating Pareto curves using semidefinite relaxations.
Oper. Res. Lett.
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2014 J jnl
Formal Proofs for Nonlinear Optimization.
CoRR
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2014 — conf
NLCertify: A Tool for Formal Nonlinear Optimization.
ICMS
Victor Magron
2014 J jnl
NLCertify: A Tool for Formal Nonlinear Optimization.
CoRR
Victor Magron
2014 J jnl
Polynomial Template Generation using Sum-of-Squares Programming.
CoRR
Assalé Adjé, Victor Magron
2013 — conf
Certification of Bounds of Non-linear Functions: The Templates Method.
MKM/Calculemus/DML
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013 J jnl
Certification of Bounds of Non-linear Functions: the Templates Method.
CoRR
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013 — conf
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation.
ECC
Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
2013 — —
Formal Proofs for Global Optimization - Templates and Sums of Squares. (Preuves formelles pour l'optimisation globale - Méthodes de gabarits et sommes de carrés).
Victor Magron