Mathematical modeling and global optimization of large-scale extended pooling problems with the (EPA) complex emissions constraints. - Ruth Misener; Chrysanthos E. Gounaris; Christodoulos A. Floudas (Comput. Chem. Eng., 2010)

APOGEE: Global optimization of standard, generalized, and extended pooling problems via linear and logarithmic partitioning schemes. - Ruth Misener; Jeffrey P. Thompson; Christodoulos A. Floudas (Comput. Chem. Eng., 2011)

Global optimization of a MINLP process synthesis model for thermochemical based conversion of hybrid coal, biomass, and natural gas to liquid fuels. - Richard C. Baliban; Josephine A. Elia; Ruth Misener; Christodoulos A. Floudas (Comput. Chem. Eng., 2012)

A Generalization of the Classical αBB Convex Underestimation via Diagonal and Nondiagonal Quadratic Terms. - Anders Skjäl; Tapio Westerlund; Ruth Misener; Christodoulos A. Floudas (J. Optim. Theory Appl., 2012)

Global optimization of mixed-integer quadratically-constrained quadratic programs (MIQCQP) through piecewise-linear and edge-concave relaxations. - Ruth Misener; Christodoulos A. Floudas (Math. Program., 2012)

GloMIQO: Global mixed-integer quadratic optimizer. - Ruth Misener; Christodoulos A. Floudas (J. Glob. Optim., 2013)

Global superstructure optimisation of red blood cell production in a parallelised hollow fibre bioreactor. - Ruth Misener; María Fuentes Garí; Maria Rende; Eirini Velliou; Nicki Panoskaltsis; Efstratios N. Pistikopoulos; Athanasios Mantalaris (Comput. Chem. Eng., 2014)

ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations. - Ruth Misener; Christodoulos A. Floudas (J. Glob. Optim., 2014)

A Framework for Globally Optimizing Mixed-Integer Signomial Programs. - Ruth Misener; Christodoulos A. Floudas (J. Optim. Theory Appl., 2014)

A systematic framework for the design, simulation and optimization of personalized healthcare: Making and healing blood. - María Fuentes Garí; Eirini Velliou; Ruth Misener; Eleni Pefani; Maria Rende; Nicki Panoskaltsis; Athanasios Mantalaris; Efstratios N. Pistikopoulos (Comput. Chem. Eng., 2015)

Bayesian Optimization with Dimension Scheduling: Application to Biological Systems. - Doniyor Ulmasov; Caroline Baroukh; Benoît Chachuat; Marc Peter Deisenroth; Ruth Misener (CoRR, 2015)

Dynamically generated cutting planes for mixed-integer quadratically constrained quadratic programs and their incorporation into GloMIQO 2. - Ruth Misener; James B. Smadbeck; Christodoulos A. Floudas (Optim. Methods Softw., 2015)

Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference. - Miten Mistry; Ruth Misener (Comput. Chem. Eng., 2016)

Global optimization advances in Mixed-Integer Nonlinear Programming, MINLP, and Constrained Derivative-Free Optimization, CDFO. - Fani Boukouvala; Ruth Misener; Christodoulos A. Floudas (Eur. J. Oper. Res., 2016)

A Personalized Framework for Dynamic Modeling of Disease Trajectories in Chronic Lymphocytic Leukemia. - Symeon Savvopoulos; Ruth Misener; Nicki Panoskaltsis; Efstratios N. Pistikopoulos; Athanasios Mantalaris (IEEE Trans. Biomed. Eng., 2016)

Designing Energy-Efficient Heat Recovery Networks using Mixed-Integer Nonlinear Optimisation. - Radu Baltean-Lugojan; Christodoulos A. Floudas; Ruth Misener; Miten Mistry (SEA, 2017)

Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches. - Simon Olofsson; Marc Peter Deisenroth; Ruth Misener (ICML, 2018)

Heuristics with performance guarantees for the minimum number of matches problem in heat recovery network design. - Dimitrios Letsios; Georgia Kouyialis; Ruth Misener (Comput. Chem. Eng., 2018)

Reprint of: Heuristics with performance guarantees for the minimum number of matches problem in heat recovery network design. - Dimitrios Letsios; Georgia Kouyialis; Ruth Misener (Comput. Chem. Eng., 2018)

Satisfiability modulo theories for process systems engineering. - Miten Mistry; Andrea Callia D'Iddio; Michael Huth 001; Ruth Misener (Comput. Chem. Eng., 2018)

Optimization with Gradient-Boosted Trees and Risk Control. - Miten Mistry; Dimitrios Letsios; Ruth Misener; Gerhard Krennrich; Robert M. Lee (CoRR, 2018)

Exact Lexicographic Scheduling and Approximate Rescheduling. - Dimitrios Letsios; Ruth Misener (CoRR, 2018)

GPdoemd: a python package for design of experiments for model discrimination. - Simon Olofsson; Ruth Misener (CoRR, 2018)

Argumentation for Explainable Scheduling (Full Paper with Proofs). - Kristijonas Cyras; Dimitrios Letsios; Ruth Misener; Francesca Toni (CoRR, 2018)

Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). - Pierre Bonami; Ambros M. Gleixner; Jeff T. Linderoth; Ruth Misener (Dagstuhl Reports, 2018)

Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions to NP-hardness. - Radu Baltean-Lugojan; Ruth Misener (J. Glob. Optim., 2018)

Argumentation for Explainable Scheduling. - Kristijonas Cyras; Dimitrios Letsios; Ruth Misener; Francesca Toni (AAAI, 2019)

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. - Jeremy T. Bradley; Dimitrios Letsios; Ruth Misener; Natasha Page (COCOA, 2019)

GPdoemd: A Python package for design of experiments for model discrimination. - Simon Olofsson; Lukas Hebing; Sebastian Niedenführ; Marc Peter Deisenroth; Ruth Misener (Comput. Chem. Eng., 2019)

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. - Dimitrios Letsios; Jeremy T. Bradley; Suraj G; Ruth Misener; Natasha Page (CoRR, 2019)

A multilevel analysis of the Lasserre hierarchy. - Juan S. Campos; Ruth Misener; Panos Parpas (Eur. J. Oper. Res., 2019)

QPLIB: a library of quadratic programming instances. - Fabio Furini; Emiliano Traversi; Pietro Belotti; Antonio Frangioni; Ambros M. Gleixner; Nick Gould; Leo Liberti; Andrea Lodi 001; Ruth Misener; Hans D. Mittelmann; Nikolaos V. Sahinidis; Stefan Vigerske; et al. (Math. Program. Comput., 2019)

Bayesian Multiobjective Optimisation With Mixed Analytical and Black-Box Functions: Application to Tissue Engineering. - Simon Olofsson; Mohammad Mehrian; Roberto Calandra; Liesbet Geris; Marc Peter Deisenroth; Ruth Misener (IEEE Trans. Biomed. Eng., 2019)

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. - Elena Botoeva; Panagiotis Kouvaros; Jan Kronqvist; Alessio Lomuscio; Ruth Misener (AAAI, 2020)

AI-assisted Schedule Explainer for Nurse Rostering. - Kristijonas Cyras; Amin Karamlou; Myles Lee; Dimitrios Letsios; Ruth Misener; Francesca Toni (AAMAS, 2020)

Approximation algorithms for process systems engineering. - Dimitrios Letsios; Radu Baltean-Lugojan; Francesco Ceccon; Miten Mistry; Johannes Wiebe; Ruth Misener (Comput. Chem. Eng., 2020)

Design of Experiments for Verifying Biomolecular Networks. - Ruby Sedgwick; John P. Goertz; Molly M. Stevens; Ruth Misener; Mark van der Wilk (CoRR, 2020)

SUSPECT: MINLP special structure detector for Pyomo. - Francesco Ceccon; John D. Siirola; Ruth Misener (Optim. Lett., 2020)

Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations. - Jan Kronqvist; Ruth Misener; Calvin Tsay (CPAIOR, 2021)

Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks. - Calvin Tsay; Jan Kronqvist; Alexander Thebelt; Ruth Misener (NeurIPS, 2021)

Process systems engineering - The generation next?. - Efstratios N. Pistikopoulos; Ana Barbosa-Póvoa; Jay H. Lee; Ruth Misener; Alexander Mitsos; Gintaras V. Reklaitis; Venkat Venkatasubramanian; Fengqi You; Rafiqul Gani (Comput. Chem. Eng., 2021)

ENTMOOT: A framework for optimization over ensemble tree models. - Alexander Thebelt; Jan Kronqvist; Miten Mistry; Robert M. Lee; Nathan Sudermann-Merx; Ruth Misener (Comput. Chem. Eng., 2021)

Design of Dynamic Experiments for Black-Box Model Discrimination. - Simon Olofsson; Eduardo S. Schultz; Adel Mhamdi; Alexander Mitsos; Marc Peter Deisenroth; Ruth Misener (CoRR, 2021)

Multi-Objective Constrained Optimization for Energy Applications via Tree Ensembles. - Alexander Thebelt; Calvin Tsay; Robert M. Lee; Nathan Sudermann-Merx; David Walz; Tom Tranter; Ruth Misener (CoRR, 2021)

Exact lexicographic scheduling and approximate rescheduling. - Dimitrios Letsios; Miten Mistry; Ruth Misener (Eur. J. Oper. Res., 2021)

Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded. - Miten Mistry; Dimitrios Letsios; Gerhard Krennrich; Robert M. Lee; Ruth Misener (INFORMS J. Comput., 2021)

Approximate and robust bounded job start scheduling for Royal Mail delivery offices. - Dimitrios Letsios; Jeremy T. Bradley; Suraj G; Ruth Misener; Natasha Page (J. Sched., 2021)

SnAKe: Bayesian Optimization with Pathwise Exploration. - Jose Pablo Folch; Shiqiang Zhang; Robert M. Lee; Behrang Shafei; David Walz; Calvin Tsay; Mark van der Wilk; Ruth Misener (NeurIPS, 2022)

Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces. - Alexander Thebelt; Calvin Tsay; Robert M. Lee; Nathan Sudermann-Merx; David Walz; Behrang Shafei; Ruth Misener (NeurIPS, 2022)

Solving the pooling problem at scale with extensible solver GALINI. - Francesco Ceccon; Ruth Misener (Comput. Chem. Eng., 2022)

Maximizing information from chemical engineering data sets: Applications to machine learning. - Alexander Thebelt; Johannes Wiebe; Jan Kronqvist; Calvin Tsay; Ruth Misener (CoRR, 2022)

P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints. - Jan Kronqvist; Ruth Misener; Calvin Tsay (CoRR, 2022)

OMLT: Optimization & Machine Learning Toolkit. - Francesco Ceccon; Jordan Jalving; Joshua Haddad; Alexander Thebelt; Calvin Tsay; Carl D. Laird; Ruth Misener (J. Mach. Learn. Res., 2022)

A robust approach to warped Gaussian process-constrained optimization. - Johannes Wiebe; I. Cecílio; J. Dunlop; Ruth Misener (Math. Program., 2022)

Optimizing over trained GNNs via symmetry breaking. - Shiqiang Zhang; Juan S. Campos; Christian Feldmann; David Walz; Frederik Sandfort; Miriam Mathea; Calvin Tsay; Ruth Misener (NeurIPS, 2023)

Gaussian Processes for Monitoring Air-Quality in Kampala. - Clara Stoddart; Lauren Shrack; Richard Sserunjogi; Usman Abdul-Ganiy; Engineer Bainomugisha; Deo Okure; Ruth Misener; Jose Pablo Folch; Ruby Sedgwick (CoRR, 2023)

Practical Path-based Bayesian Optimization. - Jose Pablo Folch; James Odgers; Shiqiang Zhang; Robert M. Lee; Behrang Shafei; David Walz; Calvin Tsay; Mark van der Wilk; Ruth Misener (CoRR, 2023)

Combining multi-fidelity modelling and asynchronous batch Bayesian Optimization. - Jose Pablo Folch; Robert M. Lee; Behrang Shafei; David Walz; Calvin Tsay; Mark van der Wilk; Ruth Misener (Comput. Chem. Eng., 2023)

Data augmentation driven by optimization for membrane separation process synthesis. - Bernardetta Addis; Christophe Castel; Amalia Macali; Ruth Misener; Veronica Piccialli (Comput. Chem. Eng., 2023)

Formulating data-driven surrogate models for process optimization. - Ruth Misener; Lorenz T. Biegler (Comput. Chem. Eng., 2023)

Verifying message-passing neural networks via topology-based bounds tightening. - Christopher Hojny; Shiqiang Zhang; Juan S. Campos; Ruth Misener (ICML, 2024)

Transition Constrained Bayesian Optimization via Markov Decision Processes. - Jose Pablo Folch; Calvin Tsay; Robert M. Lee; Behrang Shafei; Weronika Ormaniec; Andreas Krause 001; Mark van der Wilk; Ruth Misener; Mojmir Mutny (NeurIPS, 2024)

Augmenting optimization-based molecular design with graph neural networks. - Shiqiang Zhang; Juan S. Campos; Christian Feldmann; Frederik Sandfort; Miriam Mathea; Ruth Misener (Comput. Chem. Eng., 2024)

Mixed-Output Gaussian Process Latent Variable Models. - James Odgers; Chrysoula Kappatou; Ruth Misener; Sarah Filippi (CoRR, 2024)

Transfer Learning Bayesian Optimization to Design Competitor DNA Molecules for Use in Diagnostic Assays. - Ruby Sedgwick; John P. Goertz; Molly M. Stevens; Ruth Misener; Mark van der Wilk (CoRR, 2024)

System-Aware Neural ODE Processes for Few-Shot Bayesian Optimization. - Jixiang Qing; Becky D. Langdon; Robert M. Lee; Behrang Shafei; Mark van der Wilk; Calvin Tsay; Ruth Misener (CoRR, 2024)

BoFire: Bayesian Optimization Framework Intended for Real Experiments. - Johannes P. Dürholt; Thomas S. Asche; Johanna Kleinekorte; Gabriel Mancino-Ball; Benjamin Schiller; Simon Sung; Julian Keupp; Aaron Osburg; Toby Boyne; Ruth Misener; Rosona Eldred; Wagner Steuer Costa; et al. (CoRR, 2024)

Limeade: Let integer molecular encoding aid. - Shiqiang Zhang; Christian Feldmann; Frederik Sandfort; Miriam Mathea; Juan S. Campos; Ruth Misener (CoRR, 2024)

Dependence in constrained Bayesian optimization. - Shiqiang Zhang; Robert M. Lee; Behrang Shafei; David Walz; Ruth Misener (Optim. Lett., 2024)

Weighted Sum of Gaussian Process Latent Variable Models. - James Odgers; Ruby Sedgwick; Chrysoula Kappatou; Ruth Misener; Sarah Filippi (AISTATS, 2025)

System-Aware Neural ODE Processes for Few-Shot Bayesian Optimization. - Jixiang Qing; Rebecca D. Langdon; Robert M. Lee; Behrang Shafei; Mark van der Wilk; Calvin Tsay; Ruth Misener (Trans. Mach. Learn. Res., 2025)

BARK: A Fully Bayesian Tree Kernel for Black-box Optimization. - Toby Boyne; Jose Pablo Folch; Robert M. Lee; Behrang Shafei; Ruth Misener (CoRR, 2025)

Global optimization of graph acquisition functions for neural architecture search. - Yilin Xie; Shiqiang Zhang; Jixiang Qing; Ruth Misener; Calvin Tsay (CoRR, 2025)

The Catechol Benchmark: Time-series Solvent Selection Data for Few-shot Machine Learning. - Toby Boyne; Juan S. Campos; Becky D. Langdon; Jixiang Qing; Yilin Xie; Shiqiang Zhang; Calvin Tsay; Ruth Misener; Daniel W. Davies; Kim E. Jelfs; Sarah Boyall; Thomas M. Dixon; et al. (CoRR, 2025)