Steve F. King

Available identifiers

Publication	Date of Publication	Type
Robust Function-on-Function Regression	2024-11-01	Paper
A modular \(SU(5)\) littlest seesaw	2024-07-05	Paper
Software Specification	2022-02-14	Paper
Non-universal \(Z^{\prime}\) from \(\operatorname{SO}(10)\) GUTs with vector-like family and the origin of neutrino masses	2018-09-07	Paper
Theories of Matter, Space and Time: Classical theories	2018-01-30	Paper
Test-data generation for control coverage by proof	2016-08-05	Paper
Exploring the CP-violating NMSSM: EDM constraints and phenomenology	2016-03-07	Paper
Gauge non-singlet inflation in SUSY GUTs	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	2012-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2771710	2002-03-12	Paper
Brane mediated supersymmetry breaking	2001-07-25	Paper
`The standard logic for \(Z\)': A clarification	2000-05-07	Paper
Exits in the refinement calculus	1995-05-11	Paper

This page was built for person: Steve F. King