default search action
Sven Leyffer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j56]Tyler H. Chang
, Layne T. Watson
Remark on Algorithm 1012: Computing Projections with Large Datasets. ACM Trans. Math. Softw. 50(2): 12:1-12:8 (2024) - [i11]David Kiessling, Sven Leyffer, Charlie Vanaret:
A Unified Funnel Restoration SQP Algorithm. CoRR abs/2409.09208 (2024) - [i10]Karen Medlin, Sven Leyffer, Krishnan Raghavan:
A Bilevel Optimization Framework for Imbalanced Data Classification. CoRR abs/2410.11171 (2024) - 2023
- [j55]Jongeun Kim
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics. INFORMS J. Comput. 35(6): 1383-1403 (2023) - [j54]Mirko Hahn
Binary optimal control by trust-region steepest descent. Math. Program. 197(1): 147-190 (2023) - [j53]Xinyu Fei
Binary Control Pulse Optimization for Quantum Systems. Quantum 7: 892 (2023) - [i9]Ahmed Attia, Sven Leyffer, Todd S. Munson:
Robust A-Optimal Experimental Design for Bayesian Inverse Problems. CoRR abs/2305.03855 (2023) - 2022
- [j52]Dominic Yang
Modeling design and control problems involving neural network surrogates. Comput. Optim. Appl. 83(3): 759-800 (2022) - [j51]Christian Kirches
Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 32(1): 75-99 (2022) - [j50]Ryan H. Vogt
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking. SIAM J. Sci. Comput. 44(1): 29- (2022) - [j49]Ahmed Attia
Stochastic Learning Approach for Binary Optimization: Application to Bayesian Optimal Design of Experiments. SIAM J. Sci. Comput. 44(2): 395- (2022) - [i8]Johannes J. Brust, Zichao Wendy Di, Sven Leyffer, Cosmin G. Petra:
Compact representations of structured BFGS matrices. CoRR abs/2208.00057 (2022) - 2021
- [j48]Sven Leyffer
Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation. Comput. Optim. Appl. 79(1): 193-221 (2021) - [j47]Noam Goldberg, Steffen Rebennack
MINLP formulations for continuous piecewise linear function fitting. Comput. Optim. Appl. 79(1): 223-233 (2021) - [j46]Johannes J. Brust
Compact representations of structured BFGS matrices. Comput. Optim. Appl. 80(1): 55-88 (2021) - [j45]Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer
Practical algorithms for multivariate rational approximation. Comput. Phys. Commun. 261: 107663 (2021) - [j44]Jeffrey Larson
A method for convex black-box integer global optimization. J. Glob. Optim. 80(2): 439-477 (2021) - [j43]Selin S. Aslan
Joint ptycho-tomography with deep generative priors. Mach. Learn. Sci. Technol. 2(4): 45017 (2021) - [j42]Fabian Gnegel
A solution framework for linear PDE-constrained mixed-integer problems. Math. Program. 188(2): 695-728 (2021) - [j41]Ashutosh Mahajan, Sven Leyffer
Minotaur: a mixed-integer nonlinear optimization toolkit. Math. Program. Comput. 13(2): 301-338 (2021) - [j40]Brian C. Dandurand
A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems. SIAM J. Optim. 31(1): 702-726 (2021) - [i7]Ahmed Attia, Sven Leyffer, Todd S. Munson:
Stochastic Learning Approach to Binary Optimization for Optimal Design of Experiments. CoRR abs/2101.05958 (2021) - [i6]Jongeun Kim, Sven Leyffer, Prasanna Balaprakash:
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics. CoRR abs/2102.08351 (2021) - [i5]Wenjing Wang, Mohan Krishnamoorthy, Juliane Müller, Stephen Mrenna, Holger Schulz, Xiangyang Ju, Sven Leyffer, Zachary Marshall:
BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators. CoRR abs/2103.05751 (2021) - [i4]Dominic Yang, Prasanna Balaprakash, Sven Leyffer:
Modeling Design and Control Problems Involving Neural Network Surrogates. CoRR abs/2111.10489 (2021) - 2020
- [j39]Sven Leyffer
A survey of nonlinear robust optimization. INFOR Inf. Syst. Oper. Res. 58(2): 342-373 (2020) - [j38]Sven Leyffer
An augmented Lagrangian filter method. Math. Methods Oper. Res. 92(2): 343-376 (2020) - [c11]Nathanaël Cheriere
Pufferscale: Rescaling HPC Data Services for High Energy Physics Applications. CCGRID 2020: 182-191
2010 – 2019
- 2019
- [j37]Anthony P. Austin, Zichao Wendy Di, Sven Leyffer
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-Based Approach. SIAM J. Sci. Comput. 41(3): B497-B521 (2019) - [i3]Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz:
Multivariate Rational Approximation. CoRR abs/1912.02272 (2019) - 2017
- [c10]Zhengchun Liu
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices. eScience 2017: 148-157 - 2016
- [j36]Fu Lin, Sven Leyffer
A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings. Comput. Optim. Appl. 65(1): 1-46 (2016) - [j35]Zichao (Wendy) Di, Sven Leyffer
Optimization-Based Approach for Joint X-Ray Fluorescence and Transmission Tomographic Inversion. SIAM J. Imaging Sci. 9(1): 1-23 (2016) - [c9]Fu Lin, Zichao (Wendy) Di, Sven Leyffer
A multilevel approach for a class of semidefinite programs. ACC 2016: 7153-7158 - [c8]Mike Fagan, Jeremy Schlachter, Kazutomo Yoshii, Sven Leyffer
Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality. SoCC 2016: 241-246 - [i2]Sven Leyffer, Stefan M. Wild, Mike Fagan, Marc Snir, Krishna V. Palem, Kazutomo Yoshii, Hal Finkel:
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing. CoRR abs/1610.02606 (2016) - 2015
- [j34]Noam Goldberg
Optimal response to epidemics and cyber attacks in networks. Networks 66(2): 145-158 (2015) - [j33]Noam Goldberg
An Active-Set Method for Second-Order Conic-Constrained Quadratic Programming. SIAM J. Optim. 25(3): 1455-1477 (2015) - [c7]Ashish Tripathi, Sven Leyffer
Visualizing and Improving the Robustness of Phase Retrieval Algorithms. ICCS 2015: 815-824 - [c6]Preeti Malakar, Venkatram Vishwanath, Todd S. Munson, Christopher Knight, Mark Hereld, Sven Leyffer
Optimal scheduling of in-situ analysis for large-scale scientific simulations. SC 2015: 52:1-52:11 - 2014
- [j32]Noam Goldberg
Adaptively refined dynamic program for linear spline regression. Comput. Optim. Appl. 58(3): 523-541 (2014) - [j31]Marc Snir, Robert W. Wisniewski, Jacob A. Abraham, Sarita V. Adve, Saurabh Bagchi, Pavan Balaji, James F. Belak
Addressing failures in exascale computing. Int. J. High Perform. Comput. Appl. 28(2): 129-173 (2014) - [c5]Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model. IPDPS Workshops 2014: 1581-1590 - [c4]Prasanna Balaprakash
Machine-Learning-Based Load Balancing for Community Ice Code Component in CESM. VECPAR 2014: 79-91 - 2013
- [j30]Pietro Belotti
Mixed-integer nonlinear optimization. Acta Numer. 22: 1-131 (2013) - [j29]Sven Leyffer, Ilya Safro:
Fast response to infection spread and cyber attacks on large-scale networks. J. Complex Networks 1(2): 183-199 (2013) - [j28]Pierre Bonami, Jon Lee
On branching rules for convex mixed-integer nonlinear optimization. ACM J. Exp. Algorithmics 18 (2013) - [j27]Christian Kirches
TACO: a toolkit for AMPL control optimization. Math. Program. Comput. 5(3): 227-265 (2013) - [c3]Noam Goldberg, Sven Leyffer
A New Perspective on Convex Relaxations of Sparse SVM. SDM 2013: 450-457 - [c2]Siwei Wang, Jesse Ward, Sven Leyffer
Unsupervised cell identification on multidimensional X-ray fluorescence datasets. SIGGRAPH Posters 2013: 88 - 2012
- [j26]Chungen Shen, Sven Leyffer
A nonmonotone filter method for nonlinear optimization. Comput. Optim. Appl. 52(3): 583-607 (2012) - [j25]Haw-ren Fang, Sven Leyffer
A pivoting algorithm for linear programming with linear complementarity constraints. Optim. Methods Softw. 27(1): 89-114 (2012) - [c1]Yuri Alexeev, Ashutosh Mahajan, Sven Leyffer
Heuristic static load-balancing algorithm applied to the fragment molecular orbital method. SC 2012: 56 - [i1]Sven Leyffer, Ilya Safro:
Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks. CoRR abs/1207.0133 (2012) - 2011
- [j24]Mine Altunay, Sven Leyffer
Optimal response to attacks on the open science grid. Comput. Networks 55(1): 61-73 (2011) - [j23]Andres Guerra, Alexandra M. Newman, Sven Leyffer
Concrete Structure Design using Mixed-Integer Nonlinear Programming with Complementarity Constraints. SIAM J. Optim. 21(3): 833-863 (2011) - [j22]Ray Tuminaro, Michele Benzi, Xiao-Chuan Cai, Iain Duff, Howard C. Elman, Roland Freund, Kirk E. Jordan, Tim Kelley, David E. Keyes, Misha Elena Kilmer, Sven Leyffer, Tom Manteuffel, Steve F. McCormick, David J. Silvester, Homer F. Walker:
Special Section: 2010 Copper Mountain Conference. SIAM J. Sci. Comput. 33(5): 2685 (2011) - 2010
- [j21]Kumar Abhishek, Sven Leyffer
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs. INFORMS J. Comput. 22(4): 555-567 (2010) - [j20]Sven Leyffer
Solving multi-leader-common-follower games. Optim. Methods Softw. 25(4): 601-623 (2010)
2000 – 2009
- 2009
- [j19]Sven Leyffer
A Complementarity Constraint Formulation of Convex Multiobjective Optimization Problems. INFORMS J. Comput. 21(2): 257-267 (2009) - [r1]Sven Leyffer:
Generalized Outer Approximation. Encyclopedia of Optimization 2009: 1215-1223 - 2008
- [j18]Michael P. Friedlander, Sven Leyffer
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs. SIAM J. Sci. Comput. 30(4): 1706-1729 (2008) - 2006
- [j17]Yihsu Chen
Leader-Follower Equilibria for Electric Power and NO x Allowances Markets. Comput. Manag. Sci. 3(4): 307-330 (2006) - [j16]Bernardetta Addis
A Trust-Region Algorithm for Global Optimization. Comput. Optim. Appl. 35(3): 287-304 (2006) - [j15]Sven Leyffer
Interior Methods for Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 17(1): 52-77 (2006) - [j14]Roger Fletcher, Sven Leyffer
Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints. SIAM J. Optim. 17(1): 259-286 (2006) - 2005
- [j13]Sven Leyffer
Foreword: Special Issue on Deterministic Global Optimization and Applications. Math. Program. 103(2): 203-205 (2005) - [j12]Sven Leyffer
The penalty interior-point method fails to converge. Optim. Methods Softw. 20(4-5): 559-568 (2005) - 2004
- [j11]Nick I. M. Gould
Nonlinear programming: theory and practice. Math. Program. 100(1): 1-2 (2004) - [j10]Roger Fletcher, Sven Leyffer
Solving mathematical programs with complementarity constraints as nonlinear programs. Optim. Methods Softw. 19(1): 15-40 (2004) - [j9]Jong-Shi Pang, Sven Leyffer
On the global minimization of the value-at-risk. Optim. Methods Softw. 19(5): 611-631 (2004) - [j8]Nicholas I. M. Gould
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares. SIAM J. Optim. 15(1): 17-38 (2004) - 2003
- [j7]Aslihan Altay-Salih
Constrained Nonlinear Programming for Volatility Estimation with GARCH Models. SIAM Rev. 45(3): 485-503 (2003) - 2002
- [j6]Roger Fletcher, Sven Leyffer
Nonlinear programming without a penalty function. Math. Program. 91(2): 239-269 (2002) - [j5]Roger Fletcher, Sven Leyffer
On the Global Convergence of a Filter--SQP Algorithm. SIAM J. Optim. 13(1): 44-59 (2002) - [j4]Roger Fletcher, Nicholas I. M. Gould
Global Convergence of a Trust-Region SQP-Filter Algorithm for General Nonlinear Programming. SIAM J. Optim. 13(3): 635-659 (2002) - 2001
- [j3]Sven Leyffer
Integrating SQP and Branch-and-Bound for Mixed Integer Nonlinear Programming. Comput. Optim. Appl. 18(3): 295-309 (2001)
1990 – 1999
- 1998
- [j2]Roger Fletcher, Sven Leyffer
Numerical Experience with Lower Bounds for MIQP Branch-And-Bound. SIAM J. Optim. 8(2): 604-616 (1998) - 1994
- [j1]Roger Fletcher, Sven Leyffer
Solving mixed integer nonlinear programs by outer approximation. Math. Program. 66: 327-349 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 23:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: