Stability of Augmented System Factorizations in Interior-Point Methods. - Stephen Wright (SIAM J. Matrix Anal. Appl., 1997)

Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities. - Stephen Wright; Nicholas J. Ward; Anthony G. Cohn 001 (Presence Teleoperators Virtual Environ., 2002)

Using EventB to Create a Virtual Machine Instruction Set Architecture. - Stephen Wright (ABZ, 2008)

Formal construction of Instruction Set Architectures. - Stephen Wright (2009)

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. - Fangfang Yuan; Stephen Wright; Kerstin Eder; David May 001 (ICFEM, 2011)

Using Event-B to construct instruction set architectures. - Stephen Wright; Kerstin Eder (Formal Aspects Comput., 2011)

Experience of Deploying Event-B in Industrial Microprocessor Development. - Stephen Wright; Kerstin Eder (Industrial Deployment of System Engineering Methods, 2013)

Does Klein's infinitism offer a response to Agrippa's trilemma? - Stephen Wright (Synth., 2013)

The transmission of knowledge and justification. - Stephen Wright (Synth., 2016)

Transmission Performance of Large Aeff Ultra-Low-Loss Terrestrial Fibre in 200 Gb/s EDFA and Raman-Assisted Systems. - John D. Downie; Sergejs Makovejs; Nikolay Kaliteevskiy; Jason E. Hurley; Stephen Wright; Christopher R. Towery (ECOC, 2017)

Model-based development of MAV altitude control via ground-based equipment. - Stephen Wright (Int. J. Model. Identif. Control., 2017)

Systematic Assessment of Formal Methods Based Models Quality Criteria. - Lorenzo Maldini; Stephen Wright (MEDI Workshops, 2021)

BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach. - Bo Liu 042; Mao Ye 006; Stephen Wright; Peter Stone 001; Qiang Liu 001 (NeurIPS, 2022)

Operator inference for non-intrusive model reduction with nonlinear manifolds. - Rudy Geelen; Stephen Wright; Karen Willcox (CoRR, 2022)

Cut your Losses with Squentropy. - Like Hui; Mikhail Belkin; Stephen Wright (ICML, 2023)

A Fully First-Order Method for Stochastic Bilevel Optimization. - Jeongyeol Kwon; Dohyun Kwon 002; Stephen Wright; Robert D. Nowak (ICML, 2023)

Learning physics-based reduced-order models from data using nonlinear manifolds. - Rudy Geelen; Laura Balzano; Stephen Wright; Karen Willcox (CoRR, 2023)

Optimally Teaching a Linear Behavior Cloning Agent. - Shubham Kumar Bharti; Stephen Wright; Adish Singla; Xiaojin Zhu 001 (CoRR, 2023)

On Penalty Methods for Nonconvex Bilevel Optimization and First-Order Stochastic Approximation. - Jeongyeol Kwon; Dohyun Kwon 002; Stephen Wright; Robert D. Nowak (ICLR, 2024)

On the Complexity of Teaching a Family of Linear Behavior Cloning Learners. - Shubham Kumar Bharti; Stephen Wright; Adish Singla; Xiaojin (Jerry) Zhu (NeurIPS, 2024)