Concepedia

Susan Stepney

SS

74

Publications

2.5K

Citations

25

H-Index

1987

Active since

Affiliations

University of York(Current)

University of Manchester

University of Southampton

Susan Stepney is an author at University of York specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringSoftware EngineeringDesignFormal VerificationAutomated ReasoningSystems EngineeringVerification

Publications per year

1987–2024

74

Publications

74

Searching for highly entangled multi-qubit states

Iain D K Brown, Susan Stepney, Anthony Sudbery et al. · Journal of Physics A Mathematical and General · 2005 · 201 citations

Engineering, Entangled States, Quantum Computing +19

When does a physical system compute?

Susan Stepney, Rob C. Wagner, Viv Kendon · Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · 2014 · 173 citations · Full text

The design of S-boxes by simulated annealing

John A. Clark, Jeremy Jacob, Susan Stepney · New Generation Computing · 2005 · 129 citations

Engineering, Simulated Annealing, Intelligent Optimization +7

An Electronic Purse: Specification, Refinement and Proof

Susan Stepney, David Cooper, Jim Woodcock · Kent Academic Repository (University of Kent) · 2000 · 106 citations · Full text

Conceptual Frameworks for Artificial Immune Systems

Susan Stepney, Robert E. Smith, Jon Timmis et al. · 2005 · 96 citations

Rows per page

1–5 of 74