Numerical fits to important rates in high temperature astrophysical plasmas S Stepney, PW Guilbert Monthly Notices of the Royal Astronomical Society 204 (4), 1269-1277, 1983 | 228 | 1983 |
Object orientation in Z S Stepney, R Barden, D Cooper Springer-Verlag, 1992 | 208* | 1992 |
The design of S-boxes by simulated annealing JA Clark, JL Jacob, S Stepney New Generation Computing 23, 219-231, 2005 | 205 | 2005 |
An electronic purse: Specification, refinement and proof S Stepney, D Cooper, J Woodcock Oxford University, 2000 | 193 | 2000 |
Searching for highly entangled multi-qubit states IDK Brown, S Stepney, A Sudbery, SL Braunstein Journal of Physics A: Mathematical and General 38 (5), 1119, 2005 | 182 | 2005 |
Z in Practice R Barden, S Stepney, D Cooper Prentice-Hall, Inc., 1995 | 166 | 1995 |
Mechanical computing H Yasuda, PR Buskohl, A Gillman, TD Murphey, S Stepney, RA Vaia, ... Nature 598 (7879), 39-48, 2021 | 163 | 2021 |
When does a physical system compute? D Horsman, S Stepney, RC Wagner, V Kendon Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2014 | 158 | 2014 |
Conceptual frameworks for artificial immune systems RE Smith, J Timmis, S Stepney, M Neal International Journal of Unconventional Computing 1 (3), 315-338, 2005 | 152 | 2005 |
The neglected pillar of material computation S Stepney Physica D: Nonlinear Phenomena 237 (9), 1157-1164, 2008 | 126 | 2008 |
Two-body relaxation in relativistic thermal plasmas S Stepney Monthly Notices of the Royal Astronomical Society 202 (2), 467-481, 1983 | 121 | 1983 |
Defining and simulating open-ended novelty: requirements, guidelines, and challenges W Banzhaf, B Baumgaertner, G Beslon, R Doursat, JA Foster, B McMullin, ... Theory in Biosciences 135, 131-161, 2016 | 119 | 2016 |
Evolving Boolean functions satisfying multiple criteria JA Clark, JL Jacob, S Stepney, S Maitra, W Millan Progress in Cryptology—INDOCRYPT 2002: Third International Conference on …, 2002 | 118 | 2002 |
Journeys in non-classical computation I: A grand challenge for computing research S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ... International Journal of Parallel, Emergent and Distributed Systems 20 (1), 5-19, 2005 | 113 | 2005 |
High integrity compilation: A case study S Stepney Prentice Hall PTR, 1993 | 109 | 1993 |
Engineering emergence S Stepney, FAC Polack, HR Turner 11th IEEE International Conference on Engineering of Complex Computer …, 2006 | 106 | 2006 |
Towards a conceptual framework for artificial immune systems S Stepney, RE Smith, J Timmis, AM Tyrrell Artificial Immune Systems: Third International Conference, ICARIS 2004 …, 2004 | 91 | 2004 |
Growing music: musical interpretations of L-systems P Worth, S Stepney Workshops on Applications of Evolutionary Computation, 545-550, 2005 | 88 | 2005 |
More powerful Z data refinement: pushing the state of the art in industrial refinement S Stepney, D Cooper, J Woodcock International Conference of Z Users, 284-307, 1998 | 84 | 1998 |
The CoSMoS process, version 0.1: A process for the modelling and simulation of complex systems PS Andrews, FAC Polack, AT Sampson, S Stepney, J Timmis Technical Report YCS-2010-453, Department of Computer Science, University of …, 2010 | 80 | 2010 |