![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Stephen Wright
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2009
- [b1]Stephen Wright:
Formal construction of Instruction Set Architectures. University of Bristol, UK, 2009
Journal Articles
- 2017
- [j6]Stephen Wright:
Model-based development of MAV altitude control via ground-based equipment. Int. J. Model. Identif. Control. 28(4): 361-369 (2017) - 2016
- [j5]Stephen Wright:
The transmission of knowledge and justification. Synth. 193(1): 293-311 (2016) - 2013
- [j4]Stephen Wright:
Does Klein's infinitism offer a response to Agrippa's trilemma? Synth. 190(6): 1113-1130 (2013) - 2011
- [j3]Stephen Wright, Kerstin Eder:
Using Event-B to construct instruction set architectures. Formal Aspects Comput. 23(1): 73-89 (2011) - 2002
- [j2]Stephen Wright, Nicholas J. Ward
, Anthony G. Cohn:
Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities. Presence Teleoperators Virtual Environ. 11(6): 578-590 (2002) - 1997
- [j1]Stephen Wright:
Stability of Augmented System Factorizations in Interior-Point Methods. SIAM J. Matrix Anal. Appl. 18(1): 191-222 (1997)
Conference and Workshop Papers
- 2024
- [c8]Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak:
On Penalty Methods for Nonconvex Bilevel Optimization and First-Order Stochastic Approximation. ICLR 2024 - 2023
- [c7]Like Hui, Mikhail Belkin, Stephen Wright:
Cut your Losses with Squentropy. ICML 2023: 14114-14131 - [c6]Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak:
A Fully First-Order Method for Stochastic Bilevel Optimization. ICML 2023: 18083-18113 - 2022
- [c5]Bo Liu, Mao Ye, Stephen Wright, Peter Stone, Qiang Liu:
BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach. NeurIPS 2022 - 2021
- [c4]Lorenzo Maldini, Stephen Wright
:
Systematic Assessment of Formal Methods Based Models Quality Criteria. MEDI Workshops 2021: 31-45 - 2017
- [c3]John D. Downie, Sergejs Makovejs, Nikolay Kaliteevskiy, Jason E. Hurley, Stephen Wright, Christopher R. Towery:
Transmission Performance of Large Aeff Ultra-Low-Loss Terrestrial Fibre in 200 Gb/s EDFA and Raman-Assisted Systems. ECOC 2017: 1-3 - 2011
- [c2]Fangfang Yuan, Stephen Wright, Kerstin Eder, David May:
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. ICFEM 2011: 585-600 - 2008
- [c1]Stephen Wright:
Using EventB to Create a Virtual Machine Instruction Set Architecture. ABZ 2008: 265-279
Parts in Books or Collections
- 2013
- [p1]Stephen Wright, Kerstin Eder
:
Experience of Deploying Event-B in Industrial Microprocessor Development. Industrial Deployment of System Engineering Methods 2013: 107-122
Informal and Other Publications
- 2024
- [i7]Charles Dickens, Connor Pryor, Changyu Gao, Alon Albalak, Eriq Augustine, William Yang Wang, Stephen Wright, Lise Getoor:
A Mathematical Framework, a Taxonomy of Modeling Paradigms, and a Suite of Learning Techniques for Neural-Symbolic Systems. CoRR abs/2407.09693 (2024) - 2023
- [i6]Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak:
A Fully First-Order Method for Stochastic Bilevel Optimization. CoRR abs/2301.10945 (2023) - [i5]Like Hui, Mikhail Belkin, Stephen Wright:
Cut your Losses with Squentropy. CoRR abs/2302.03952 (2023) - [i4]Rudy Geelen, Laura Balzano, Stephen Wright, Karen Willcox:
Learning physics-based reduced-order models from data using nonlinear manifolds. CoRR abs/2308.02802 (2023) - [i3]Shubham Kumar Bharti, Stephen Wright, Adish Singla, Xiaojin Zhu:
Optimally Teaching a Linear Behavior Cloning Agent. CoRR abs/2311.15399 (2023) - 2022
- [i2]Rudy Geelen, Stephen Wright, Karen Willcox:
Operator inference for non-intrusive model reduction with nonlinear manifolds. CoRR abs/2205.02304 (2022) - [i1]Mao Ye, Bo Liu, Stephen Wright, Peter Stone, Qiang Liu:
BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach. CoRR abs/2209.08709 (2022)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-16 19:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint