Sven Leyffer
Orcid: 0000-0001-8839-5876
According to our database1,
Sven Leyffer
authored at least 75 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
ACM Trans. Math. Softw., June, 2024
2023
Math. Program., January, 2023
INFORMS J. Comput., 2023
2022
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking.
SIAM J. Sci. Comput., 2022
Stochastic Learning Approach for Binary Optimization: Application to Bayesian Optimal Design of Experiments.
SIAM J. Sci. Comput., 2022
Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints.
SIAM J. Optim., 2022
Comput. Optim. Appl., 2022
2021
A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems.
SIAM J. Optim., 2021
Math. Program. Comput., 2021
Math. Program., 2021
Mach. Learn. Sci. Technol., 2021
Comput. Phys. Commun., 2021
BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators.
CoRR, 2021
Stochastic Learning Approach to Binary Optimization for Optimal Design of Experiments.
CoRR, 2021
Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation.
Comput. Optim. Appl., 2021
Comput. Optim. Appl., 2021
2020
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020
2019
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-Based Approach.
SIAM J. Sci. Comput., 2019
2017
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices.
Proceedings of the 13th IEEE International Conference on e-Science, 2017
2016
Optimization-Based Approach for Joint X-Ray Fluorescence and Transmission Tomographic Inversion.
SIAM J. Imaging Sci., 2016
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing.
CoRR, 2016
A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings.
Comput. Optim. Appl., 2016
Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality.
Proceedings of the 29th IEEE International System-on-Chip Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
SIAM J. Optim., 2015
Proceedings of the International Conference for High Performance Computing, 2015
Proceedings of the International Conference on Computational Science, 2015
2014
Comput. Optim. Appl., 2014
Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
2013
ACM J. Exp. Algorithmics, 2013
J. Complex Networks, 2013
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2013
Proceedings of the 13th SIAM International Conference on Data Mining, 2013
2012
Optim. Methods Softw., 2012
Heuristic static load-balancing algorithm applied to the fragment molecular orbital method.
Proceedings of the SC Conference on High Performance Computing Networking, 2012
2011
Concrete Structure Design using Mixed-Integer Nonlinear Programming with Complementarity Constraints.
SIAM J. Optim., 2011
2010
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs.
INFORMS J. Comput., 2010
2009
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
A Complementarity Constraint Formulation of Convex Multiobjective Optimization Problems.
INFORMS J. Comput., 2009
2008
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs.
SIAM J. Sci. Comput., 2008
2006
SIAM J. Optim., 2006
Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints.
SIAM J. Optim., 2006
Leader-Follower Equilibria for Electric Power and NO<sub> <i>x</i> </sub> Allowances Markets.
Comput. Manag. Sci., 2006
2005
Math. Program., 2005
2004
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares.
SIAM J. Optim., 2004
Solving mathematical programs with complementarity constraints as nonlinear programs.
Optim. Methods Softw., 2004
2003
SIAM Rev., 2003
2002
Global Convergence of a Trust-Region SQP-Filter Algorithm for General Nonlinear Programming.
SIAM J. Optim., 2002
2001
Comput. Optim. Appl., 2001
1998
SIAM J. Optim., 1998
1994
Math. Program., 1994