Susan Stepney
Susan Stepney
Professor of Computer Science, University of York
Verified email at york.ac.uk - Homepage
TitleCited byYear
Object orientation in Z
S Stepney, R Barden, D Cooper
Springer-Verlag, 1992
188*1992
Z in Practice
R Barden, S Stepney, D Cooper
Prentice-Hall, Inc., 1995
1491995
Conceptual frameworks for artificial immune systems
S Stepney, RE Smith, J Timmis, AM Tyrrell, MJ Neal, ANW Hone
IJUC 1 (3), 315-338, 2005
1412005
The design of S-boxes by simulated annealing
JA Clark, JL Jacob, S Stepney
New Generation Computing 23 (3), 219-231, 2005
1282005
High integrity compilation: A case study
S Stepney
Prentice Hall PTR, 1993
1021993
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
1002005
Evolving Boolean functions satisfying multiple criteria
JA Clark, JL Jacob, S Stepney, S Maitra, W Millan
International Conference on Cryptology in India, 246-259, 2002
982002
The neglected pillar of material computation
S Stepney
Physica D: Nonlinear Phenomena 237 (9), 1157-1164, 2008
942008
Two-body relaxation in relativistic thermal plasmas
S Stepney
Monthly Notices of the Royal Astronomical Society 202 (2), 467-481, 1983
891983
Unconventional computing 2007
A Adamatzky, L Bull, BDL Costello
Luniver Press, 2007
852007
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
831998
Engineering emergence
S Stepney, FAC Polack, HR Turner
11th IEEE International Conference on Engineering of Complex Computer …, 2006
802006
Towards a conceptual framework for artificial immune systems
S Stepney, RE Smith, J Timmis, AM Tyrrell
International Conference on Artificial Immune Systems, 53-64, 2004
802004
When does a physical system compute?
C Horsman, S Stepney, RC Wagner, V Kendon
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2014
712014
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
University of York Technical Report YCS–2010 453, 2010
702010
Pair production, Comptonization and dynamics in astrophysical plasmas
PW Guilbert, S Stepney
Monthly Notices of the Royal Astronomical Society 212 (3), 523-544, 1985
681985
Testing as abstraction
S Stepney
International Conference of Z Users, 136-151, 1995
671995
Growing music: musical interpretations of L-systems
P Worth, S Stepney
Workshops on Applications of Evolutionary Computation, 545-550, 2005
662005
Journeys in non-classical computation II: initial journeys and waypoints
S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ...
The International Journal of Parallel, Emergent and Distributed Systems 21 …, 2006
602006
The certification of the Mondex electronic purse to ITSEC Level E6
J Woodcock, S Stepney, D Cooper, J Clark, J Jacob
Formal Aspects of Computing 20 (1), 5-19, 2008
562008
The system can't perform the operation now. Try again later.
Articles 1–20