Joey Huchette
Orcid: 0000-0003-3552-0316
According to our database1,
Joey Huchette
authored at least 24 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Math. Program., March, 2024
2023
Math. Program. Comput., September, 2023
Nonconvex Piecewise Linear Functions: Advanced Formulations and Simple Modeling Tools.
Oper. Res., 2023
IROS, 2023
2022
J. Glob. Optim., 2022
Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions.
CoRR, 2022
2020
Math. Program., 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
2019
Oper. Res. Lett., 2019
A Combinatorial Approach for Small and Strong Formulations of Disjunctive Constraints.
Math. Oper. Res., 2019
Proceedings of the Integer Programming and Combinatorial Optimization, 2019
2018
Optim. Methods Softw., 2018
INFOR Inf. Syst. Oper. Res., 2018
INFOR Inf. Syst. Oper. Res., 2018
2017
Math. Program. Comput., 2017
2014
Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, 2014
2013
Proceedings of the International Conference for High Performance Computing, 2013
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013
2012
Proceedings of the 2012 SC Companion: High Performance Computing, 2012