default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSven 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, Sven Leyffer, Thomas C. H. Lux, Hussain M. J. Almohri:
Remark on Algorithm 1012: Computing Projections with Large Datasets. ACM Trans. Math. Softw. 50(2): 12:1-12:8 (2024)- [i10]David Kiessling, Sven Leyffer, Charlie Vanaret:
A Unified Funnel Restoration SQP Algorithm. CoRR abs/2409.09208 (2024) - 2023
- [j55]Jongeun Kim, Sven Leyffer, Prasanna Balaprakash:
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics. INFORMS J. Comput. 35(6): 1383-1403 (2023) - [j54]Mirko Hahn, Sven Leyffer, Sebastian Sager:
Binary optimal control by trust-region steepest descent. Math. Program. 197(1): 147-190 (2023) - [j53]Xinyu Fei, Lucas T. Brady, Jeffrey Larson, Sven Leyffer, Siqian Shen:
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, Prasanna Balaprakash, Sven Leyffer:
Modeling design and control problems involving neural network surrogates. Comput. Optim. Appl. 83(3): 759-800 (2022) - [j51]Christian Kirches, Jeffrey Larson, Sven Leyffer, Paul Manns:
Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 32(1): 75-99 (2022) - [j50]Ryan H. Vogt, Sven Leyffer, Todd S. Munson:
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking. SIAM J. Sci. Comput. 44(1): 29- (2022) - [j49]Ahmed Attia, Sven Leyffer, Todd S. Munson:
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, Paul Manns, Malte Winckler:
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, Youngdae Kim, Vitaliy Krasko, Sven Leyffer:
MINLP formulations for continuous piecewise linear function fitting. Comput. Optim. Appl. 79(1): 223-233 (2021) - [j46]Johannes J. Brust, Zichao (Wendy) Di, Sven Leyffer, Cosmin G. Petra:
Compact representations of structured BFGS matrices. Comput. Optim. Appl. 80(1): 55-88 (2021) - [j45]Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz:
Practical algorithms for multivariate rational approximation. Comput. Phys. Commun. 261: 107663 (2021) - [j44]Jeffrey Larson, Sven Leyffer, Prashant Palkar, Stefan M. Wild:
A method for convex black-box integer global optimization. J. Glob. Optim. 80(2): 439-477 (2021) - [j43]Selin S. Aslan, Zhengchun Liu, Viktor V. Nikitin, Tekin Bicer, Sven Leyffer, Doga Gürsoy:
Joint ptycho-tomography with deep generative priors. Mach. Learn. Sci. Technol. 2(4): 45017 (2021) - [j42]Fabian Gnegel, Armin Fügenschuh, Michael Hagel, Sven Leyffer, Marcus Stiemer:
A solution framework for linear PDE-constrained mixed-integer problems. Math. Program. 188(2): 695-728 (2021) - [j41]Ashutosh Mahajan, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Todd S. Munson:
Minotaur: a mixed-integer nonlinear optimization toolkit. Math. Program. Comput. 13(2): 301-338 (2021) - [j40]Brian C. Dandurand, Kibaek Kim, Sven Leyffer:
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, Matt Menickelly, Todd S. Munson, Charlie Vanaret, Stefan M. Wild:
A survey of nonlinear robust optimization. INFOR Inf. Syst. Oper. Res. 58(2): 342-373 (2020) - [j38]Sven Leyffer, Charlie Vanaret:
An augmented Lagrangian filter method. Math. Methods Oper. Res. 92(2): 343-376 (2020) - [c11]Nathanaël Cheriere, Matthieu Dorier, Gabriel Antoniu, Stefan M. Wild, Sven Leyffer, Robert B. Ross:
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, Stefan M. Wild:
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, Rajkumar Kettimuthu, Sven Leyffer, Prashant Palkar, Ian T. Foster:
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices. eScience 2017: 148-157 - 2016
- [j36]Fu Lin, Sven Leyffer, Todd S. Munson:
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, Stefan M. Wild:
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, Krishna V. Palem, Marc Snir, Stefan M. Wild, Christian C. Enz:
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, Sven Leyffer, Ilya Safro:
Optimal response to epidemics and cyber attacks in networks. Networks 66(2): 145-158 (2015) - [j33]Noam Goldberg, Sven Leyffer:
An Active-Set Method for Second-Order Conic-Constrained Quadratic Programming. SIAM J. Optim. 25(3): 1455-1477 (2015) - [c7]Ashish Tripathi, Sven Leyffer, Todd S. Munson, Stefan M. Wild:
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, Michael E. Papka:
Optimal scheduling of in-situ analysis for large-scale scientific simulations. SC 2015: 52:1-52:11 - 2014
- [j32]Noam Goldberg, Youngdae Kim, Sven Leyffer, Thomas D. Veselka:
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, Pradip Bose, Franck Cappello, Bill Carlson, Andrew A. Chien, Paul Coteus, Nathan DeBardeleben, Pedro C. Diniz, Christian Engelmann, Mattan Erez, Saverio Fazzari, Al Geist, Rinku Gupta, Fred Johnson, Sriram Krishnamoorthy, Sven Leyffer, Dean Liberty, Subhasish Mitra, Todd S. Munson, Rob Schreiber, Jon Stearley, Eric Van Hensbergen:
Addressing failures in exascale computing. Int. J. High Perform. Comput. Appl. 28(2): 129-173 (2014) - [c5]Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig:
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model. IPDPS Workshops 2014: 1581-1590 - [c4]Prasanna Balaprakash, Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig:
Machine-Learning-Based Load Balancing for Community Ice Code Component in CESM. VECPAR 2014: 79-91 - 2013
- [j30]Pietro Belotti, Christian Kirches, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Ashutosh Mahajan:
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, Sven Leyffer, Andreas Wächter:
On branching rules for convex mixed-integer nonlinear optimization. ACM J. Exp. Algorithmics 18 (2013) - [j27]Christian Kirches, Sven Leyffer:
TACO: a toolkit for AMPL control optimization. Math. Program. Comput. 5(3): 227-265 (2013) - [c3]Noam Goldberg, Sven Leyffer, Todd S. Munson:
A New Perspective on Convex Relaxations of Sparse SVM. SDM 2013: 450-457 - [c2]Siwei Wang, Jesse Ward, Sven Leyffer, Stefan M. Wild, Chris Jacobsen, Stefan Vogt:
Unsupervised cell identification on multidimensional X-ray fluorescence datasets. SIGGRAPH Posters 2013: 88 - 2012
- [j26]Chungen Shen, Sven Leyffer, Roger Fletcher:
A nonmonotone filter method for nonlinear optimization. Comput. Optim. Appl. 52(3): 583-607 (2012) - [j25]Haw-ren Fang, Sven Leyffer, Todd S. Munson:
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, Graham Fletcher, Dmitri G. Fedorov:
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, Jeffrey T. Linderoth, Zhen Xie:
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, Jeff T. Linderoth:
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs. INFORMS J. Comput. 22(4): 555-567 (2010) - [j20]Sven Leyffer, Todd S. Munson:
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, Benjamin F. Hobbs, Sven Leyffer, Todd S. Munson:
Leader-Follower Equilibria for Electric Power and NO x Allowances Markets. Comput. Manag. Sci. 3(4): 307-330 (2006) - [j16]Bernardetta Addis, Sven Leyffer:
A Trust-Region Algorithm for Global Optimization. Comput. Optim. Appl. 35(3): 287-304 (2006) - [j15]Sven Leyffer, Gabriel López-Calva, Jorge Nocedal:
Interior Methods for Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 17(1): 52-77 (2006) - [j14]Roger Fletcher, Sven Leyffer, Danny Ralph, Stefan Scholtes:
Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints. SIAM J. Optim. 17(1): 259-286 (2006) - 2005
- [j13]Sven Leyffer, Jorge J. Moré:
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, Sven Leyffer, Philippe L. Toint:
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, Sven Leyffer, Philippe L. Toint:
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares. SIAM J. Optim. 15(1): 17-38 (2004) - 2003
- [j7]Aslihan Altay-Salih, Mustafa Ç. Pinar, Sven Leyffer:
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, Philippe L. Toint:
On the Global Convergence of a Filter--SQP Algorithm. SIAM J. Optim. 13(1): 44-59 (2002) - [j4]Roger Fletcher, Nicholas I. M. Gould, Sven Leyffer, Philippe L. Toint, Andreas Wächter:
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-10-22 20:12 CEST 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:
