Steve F. King

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust Function-on-Function Regression Technometrics	2024-11-01	Paper
A modular \(SU(5)\) littlest seesaw Journal of High Energy Physics	2024-07-05	Paper
Software Specification Theories of Programming	2022-02-14	Paper
Non-universal \(Z^{\prime}\) from \(\operatorname{SO}(10)\) GUTs with vector-like family and the origin of neutrino masses Nuclear Physics B	2018-09-07	Paper
Theories of Matter, Space and Time: Classical theories	2018-01-30	Paper
Test-data generation for control coverage by proof Formal Aspects of Computing	2016-08-05	Paper
Exploring the CP-violating NMSSM: EDM constraints and phenomenology Nuclear Physics B	2016-03-07	Paper
Gauge non-singlet inflation in SUSY GUTs Journal of High Energy Physics	2014-06-24	Paper
Simpler reasoning about system properties: a proof-by-refinement technique	2013-12-04	Paper
A fuller flavour treatment of \(N_2\)-dominated leptogenesis Nuclear Physics B	2012-09-03	Paper
scientific article; zbMATH DE number 1706226 (Why is no real title available?)	2002-03-12	Paper
Brane mediated supersymmetry breaking Nuclear Physics B	2001-07-25	Paper
`The standard logic for \(Z\)': A clarification Formal Aspects of Computing	2000-05-07	Paper
Exits in the refinement calculus Formal Aspects of Computing	1995-05-11	Paper

Research outcomes over time

This page was built for person: Steve F. King