The following publications describe BARON, its methodology, and various applications:

Ryoo, H. S. and N. V. Sahinidis, Global optimization of nonconvex NLPs and MINLPs with applications in process design, Computers & Chemical Engineering, 19:551-566, 1995.

Dorneich, M. C. and N. V. Sahinidis, Global optimization algorithms for chip layout and compaction, Engineering Optimization, 25:131-154, 1995.

Gutierrez, R. A. and N. V. Sahinidis, A branch-and-bound approach for machine selection in just-in-time manufacturing systems, International Journal of Production Research, 34:797-818, 1996.

Sahinidis, N. V., BARON: A general purpose global optimization software package, Journal of Global Optimization, 8:201-205, 1996.

Ryoo, H. S. and N. V. Sahinidis, A branch-and-reduce approach to global optimization, Journal of Global Optimization, 8:107-139, 1996.

Liu, M. L. and N. V. Sahinidis, Process planning in a fuzzy environment, European Journal of Operational Research, 100:142-169, 1997.

Ghildyal, V., Design and development of a global optimization system, Master's thesis, Department of Mechanical & Industrial Engineering, University of Illinois, Urbana, IL, 1997.

VanAntwerp, J. G., R. D. Braatz, and N. V. Sahinidis, Globally optimal robust control for systems with nonlinear time-varying perturbations, Computers & Chemical Engineering, 21:S125--S130, 1997.

Shectman, J. P. and N. V. Sahinidis, A finite algorithm for global minimization of separable concave programs, Journal of Global Optimization, 12:1-36, 1998.

Adhya, N., M. Tawarmalani, and N. V. Sahinidis, A Lagrangian approach to the pooling problem, Industrial & Engineering Chemistry Research, 38:1956-1972, 1999.

Ryoo, H. S. and N. V. Sahinidis, Analysis of bounds for multilinear functions, Journal of Global Optimization, 19:403-424, 2001.

M. Tawarmalani and N. V. Sahinidis, Semidefinite relaxations of fractional programs via novel convexification techniques, Journal of Global Optimization, 20:137-158, 2001.

M. Tawarmalani and N. V. Sahinidis, Convex extensions and envelopes of lower semi-continuous functions, Mathematical Programming, 93:247-263, 2002.

Tawarmalani, M. and N. V. Sahinidis, Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications, 504 pages, Kluwer Academic Publishers, Dordrecht, Vol. 65 in "Nonconvex Optimization And Its Applications" series, 2002. Compare prices at addall.com.

Vaia, A. and N. V. Sahinidis, Simultaneous parameter estimation and model structure determination in FTIR spectroscopy by global MINLP optimization, Computers & Chemical Engineering, 27:763-779, 2003.

Ryoo, H. S. and N. V. Sahinidis, Global optimization of multiplicative programs, Journal of Global Optimization, 26:387-418, 2003.

Sahinidis, N. V., M. Tawarmalani, and M. Yu, Design of alternative refrigerants via global optimization, AIChE J., 49:1761-1775, 2003.

Tawarmalani, M. and N. V. Sahinidis, Global optimization of mixed-integer nonlinear programs: A theoretical and computational study, Mathematical Programming, 99:563-591, 2004.

Ahmed, S., M. Tawarmalani, and N. V. Sahinidis, A finite branch-and-bound algorithm for two-stage stochastic integer programming, Mathematical Programming, 100:355-377, 2004.

Sahinidis, N. V. and M. Tawarmalani, Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints, Journal of Global Optimization, 32:259-280, 2005.

Tawarmalani, M. and N. V. Sahinidis, A polyhedral branch-and-cut approach to global optimization, Mathematical Programming, 103:225-249, 2005.

Chang, Y. and N. V. Sahinidis, Global optimization in stabilizing controller design, Journal of Global Optimization, 38:509-526, 2007.

Bao, X., N. V. Sahinidis, and M. Tawarmalani, Multiterm polyhedral relaxations for nonconvex, quadratically-constrained quadratic programs, Optimization Methods and Software, 24:485-504, 2009.

Samudra, A. and N. V. Sahinidis, Design of secondary refrigerants: A combined optimization-enumeration approach, in M. M. El-Halwagi and A. A. Linninger (eds.): Proceedings of the 7th International Conference on the Foundations of Computer-Aided Process Design, CRC Press, pp. 879-886, 2009.

Bao, X. and N. V. Sahinidis, Finite algorithms for global minimization of separable concave programs, in T. Coleman and P. Pardalos (eds.), Workshop on Global Optimization, Fields Institute Communications, Vol. 55, American Mathematical Society, pp. 17-30, 2009.

Rios, L. M. and N. V. Sahinidis, Portfolio optimization for wealth-dependent risk preferences, Annals of Operations Research, 177, 63-90, 2010.

Bao, X., N. V. Sahinidis and M. Tawarmalani, Semidefinite relaxations for quadratically constrained quadratic programming: A review and comparisons, Mathematical Programming, 129:129-157, 2011.

Chang, Y. and N. V. Sahinidis, Steady-state process optimization with guaranteed robust stability under parametric uncertainty, AIChE Journal, 57:3395-3407, 2011.

Khajavirad, A. and N. V. Sahinidis, Convex envelopes generated from finitely many compact convex sets, Mathematical Programming, 137:371-408, 2013.

Khajavirad, A. and N. V. Sahinidis, Convex envelopes of products of convex and component-wise concave functions, Journal of Global Optimization, 52:391-409, 2012.

Amaran, S. and N. V. Sahinidis, Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints, Top, 20:154–172, 2012.

Samudra, A. and N. V. Sahinidis, Optimization-based framework for computer-aided molecular design, AIChE Journal, 59:3686-3701, 2013.

Zorn, K. and N. V. Sahinidis, Global optimization of general nonconvex problems with intermediate bilinear substructures, Optimization Methods and Software, 29:442-462, 2013.

Zorn, K. and N. V. Sahinidis, Computational experience with applications of bilinear cutting planes, Industrial & Engineering Chemistry Research, 52:7514-7525, 2013.

Khajavirad, A., J. J. Michalek and N. V. Sahinidis, Relaxations of factorable functions with convex-transformable intermediates, Mathematical Programming, 144:107-140, 2014.

Zorn, K. and N. V. Sahinidis, Global optimization of general nonconvex problems with intermediate polynomial substructures, Journal of Global Optimization, 59:673-693, 2014.

Bao, X., A. Khajavirad, N. V. Sahinidis, and M. Tawarmalani, Global optimization of nonconvex problems with multilinear intermediates, Mathematical Programming Computation, 7:1-37, 2015.

Puranik, Y. M. Kılınç, N. V. Sahinidis, T. Li, A. Gopalakrishnan, B. Besancon, and Th. Roba, Global optimization of an industrial gas network operation, AIChE Journal, 62:3215-3224, 2016.

Puranik, Y. and N. V. Sahinidis, Domain reduction techniques for global NLP and MINLP optimization, Constraints, 22:338-376, 2017.

Puranik, Y. and N. V. Sahinidis, Bounds tightening based on optimality conditions for nonconvex box-constrained optimization, Journal of Global Optimization, 67:59-77, 2017.

Puranik, Y. and N. V. Sahinidis, Deletion presolve for accelerating infeasibility diagnosis in optimization models, INFORMS Journal on Computing, 29:754-766, 2017.

Kılınç, M. and N. V. Sahinidis, State-of-the-art in mixed-integer nonlinear programming, in T. Terlaky, M. Anjos and S. Ahmed (eds.), Advances and Trends in Optimization with Engineering Applications, MOS-SIAM Book Series on Optimization, SIAM, Philadelphia, 2017, pp. 273-292.

Zhou, K., M. Kılınç, X. Chen, and N. V. Sahinidis, An efficient strategy for the activation of MIP relaxations in a multicore global MINLP solver, Journal of Global Optimization, 70:497-516, 2017.

Kılınç, M. and N. V. Sahinidis, Exploiting integrality in the global optimization of mixed-integer nonlinear programming problems in BARON, Optimization Methods and Software, 33:540-562, 2018.

Khajavirad, A. and N. V. Sahinidis, A hybrid LP/NLP paradigm for global optimization relaxations, Mathematical Programming Computation, 10:383-421, 2018.

Nohra, C. J. and N. V. Sahinidis, Global optimization of nonconvex problems with convex-transformable intermediates, Journal of Global Optimization, 72:255-276, 2018.

Puranik, Y., A. Samudra, N. V. Sahinidis, A. B. Smith and B. Sayyar-Rodsari, Infeasibility resolution for multi-purpose batch process scheduling, Computers & Chemical Engineering, 116, 69-79, 2018.

Cozad, A. and N. V. Sahinidis, A global MINLP approach to symbolic regression, Mathematical Programming, 170, 97-119, 2018.

Liu, J., N. Ploskas and N. V. Sahinidis, Global optimization of nonconvex problems with convex-transformable intermediates, Journal of Global Optimization, 74, 611-637, 2019.

Furini, F., E. Traversi, P. Belotti, A. Frangioni, A. Gleixner, N. Gould, L. Liberti, A. Lodi, R. Misener, H. Mittelmann, N. V. Sahinidis, S. Vigerske, A. Wiegele, QPLIB: A library of quadratic programming instances, Mathematical Programming Computation, 11, 237-265, 2019.

Del Pia, A., A. Khajavirad and N. V. Sahinidis, On the impact of running intersection inequalities for globally solving polynomial optimization problems, Mathematical Programming Computation, 12, 165-191, 2020.

Zhang, Y., N. V. Sahinidis, C. Nohra and G. Rong, Optimality-based domain reduction for inequality-constrained NLP and MINLP problems, Journal of Global Optimization, 77, 425-454, 2020.

Nohra, C. J., A. U. Raghunathan and N. V. Sahinidis, Spectral relaxations and branching strategies for global optimization of mixed-integer quadratic programs, SIAM Journal on Optimization, 31, 142-171, 2021.

Nohra, C. J., A. U. Raghunathan and N. V. Sahinidis, SDP-quality bounds via convex quadratic relaxations for global optimization of mixed-integer quadratic programs, Mathematical Programming, 196, 203-233, 2022.