- Enforcing Behaviour with Anonymity Joss Wright, Susan Stepney
- Systems Development using Z Generics Fiona Polack
- A Sub-Symbolic Artificial Chemistry Adam Faulconbridge1
- Acquiring a Debt Worth Repaying : why Evolutionary Computation should gain yet further inspiration from Biology
- Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems
- A Formal Template Language enabling Nuno Amalio, Susan Stepney, and Fiona Polack
- Pictorial Representation of Parallel Programs Susan Stepney
- Understanding Multi-Transputer Execution Susan Stepney
- RBN-World: The Hunt for a Rich AChem Adam Faulconbridge, Susan Stepney, Julian F. Miller and Leo Caves
- UML+Z: Augmenting UML with Z Nuno AM ALIO, Fiona POLACK, and Susan STEPNEY
- Type-constrained Generics for Z Samuel H. Valentine
- Binding Analogue Feedback to Digital Genomes: Bio-inspired Regulatory Control for Analogue Devices
- [Abbas et al. 2000] A. K. Abbas, A. H. Lichtman, and J. S. Pober. Cellular and Molecular Immunology. W. B. Saunders Company, 2000.
- Patterns to Guide Practical Refactoring: examples targetting promotion in Z
- Automorphisms of transition graphs for a linear cellular automaton
- Complex Systems Models: Engineering Simulations Fiona A. C. Polack1
- Searching for Quantum Programs and Quantum Protocols: a review
- Incremental Development of a High Integrity Compiler: experience from an industrial development
- Testing as Abstraction Susan Stepney
- Automatically Moving Between Levels in Artificial Chemistries Adam Nellis and Susan Stepney
- Visualising the dynamics of Random Boolean Networks
- CSP/FDR2 to Handel-C translation Susan Stepney
- Non-Classical Hypercomputation SUSAN STEPNEY
- Noname manuscript No. (will be inserted by the editor)
- Modular UML Semantics: Interpretations in Z Based on
- Automorphisms of transition graphs for linear cellular automata
- AN ELECTRONIC PURSE Specification, Refinement, and Proof
- A Tale of Two Proofs Susan Stepney
- Noname manuscript No. (will be inserted by the editor)
- Making Smartcards Secure Susan Stepney
- Evolving Boolean Functions Satisfying Multiple John A. Clark 1 , Jeremy L. Jacob 1 , Susan Stepney 1 , Subhamoy Maitra 2 , and
- Visualising Random Boolean Network Dynamics Susan Stepney
- Paul W. Guilbert and Susan Stepney. Pair production, Comptonization and dynamics in astrophysical plasmas. Monthly Notices of the Royal Astronomical Society, 212:523-544, 1985.
- Specification of the stringmol chemical programming language version 0.1
- A Simulation Environment for Emergent Properties Heather R. Turner, Susan Stepney, and Fiona A. C. Polack
- Evolution of a Human-Competitive Quantum Fourier Transform Algorithm Using Genetic Programming
- Gene Regulation in a Particle Metabolome Simon Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke and Peter Young
- Susan Stepney and Paul W. Guilbert. Pair production at moderate optical depths. In W. Brinkmann and J. Trumper, editors, X-Ray and UV Emission from Active
- The DeCCo project papers III Z Specification of Compiler Tem-
- Making the Most of Two Heuristics: Breaking Transposition Ciphers with Ants Matthew D. Russell
- Fundamenta Informaticae 77 (2007) 141 1 Retrenching the Purse: The Balance Enquiry Quandary,
- Analogue Circuit Control through Gene Kester Clegg, Susan Stepney
- Molecular microprograms Simon Hickinbotham1
- Automated Software Engineering, 12, 139141, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.
- Proceedings of the 2009 Workshop on Complex Systems Modelling and Simulation
- Diversity From a Monoculture: Effects of Mutation-On-Copy in a String-Based Artificial Chemistry
- Formalising Harmony Seeking Rules of Morphogenesis Tim Hoverd and Susan Stepney
- The 8th International Conference on Unconventional Computation Susan Stepney
- Automorphisms of transition graphs for elementary cellular automata
- Highly entangled multi-qubit states with simple algebraic structure This article has been downloaded from IOPscience. Please scroll down to see the full text article.
- Grammatical Evolution of L-systems Darren Beaumont and Susan Stepney
- Visualising Random Boolean Network Dynamics: effects of perturbations and canalisation
- Noname manuscript No. (will be inserted by the editor)
- The Neglected Pillar of Material Computation Susan Stepney
- Protein folding with stochastic L-systems Gemma Danks1
- Investigations of Game of Life cellular automata rules on Penrose Tilings: lifetime and ash
- Immuno-engineering Jon Timmis1, Emma Hart3, Andy Hone4, Mark Neal5 Adrian Robins6, Susan
- A. Adamatzky, L. Bull, B. De Lacy Costello,
- Susan Stepney Department of Computer Science, University of York, York, YO10 5DD, UK.
- Rule Migration: Exploring a design framework for emergence
- Unentangling nuclear magnetic resonance Matthias Bechmann 1
- EVOLUTIONARY SEARCH APPLIED TO RECONFIGURABLE ANALOGUE CONTROL Kester Clegg, Susan Stepney
- Folding Protein-Like Structures with Open Gemma B. Danks, Susan Stepney, and Leo S. D. Caves
- Neutral Emergence and Coarse Graining Andrew Weeks, Susan Stepney, Fiona Polack
- Neutral Emergence: a proposal Andrew Weeks, Susan Stepney, Fiona Polack
- Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming
- Fusing Natural Computational Paradigms for Cryptography. Or, How to Create Quantum Solvable
- Engineering Emergence Susan Stepney, Fiona A. C. Polack, Heather R. Turner
- Hypercomputation and the Grand Challenge in Non-Classical Computation
- Searching for highly entangled multi-qubit states Iain D. K. Brown Susan Stepney
- A generic framework for population-based algorithms, implemented on multiple FPGAs
- Rule Migration: Exploring a design framework for modelling emergence in CA-like systems
- Artificial Catalysed Reaction Networks for Search Andrew Weeks and Susan Stepney
- Evolving Quantum Circuits and Programs through Genetic Programming
- Towards a Conceptual Framework for Artificial Immune Systems
- Critical Critical Systems Susan Stepney
- Artificial Immune Systems and the Grand Challenge for
- Artificial Immune Systems and the Grand Challenge for Non-Classical Computation
- Frameworks Based on Templates for Rigorous Model-driven Development
- Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties
- An Object-Oriented Structuring for Z based on Views
- Requirements as conjectures: intuitive DVD menu navigation
- Diagram Patterns and Meta-patterns to support formal modelling
- A Z Patterns Catalogue II definitions and laws, v0.1
- An Outline Pattern Language for Z: five illustrations and two tables
- The DeCCo project papers II Z Specification of Asp
- The DeCCo project papers IV Z Specification of Linker and Hexer
- The DeCCo project papers V Compiler Correctness Proofs
- The DeCCo project papers VI Z to Prolog DCTG translation guidelines
- Electronic Notes in Theoretical Computer Science 70 No. 3 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 20 pages
- Segregation with Communication David Cooper
- Formal Methods for Industrial Products Susan Stepney
- Typechecking Z , Samuel H. Valentine
- Annotated Z Bibliography Jonathan Bowen
- High Integrity Compilation a case study
- The use of Z Rosalind Barden, Susan Stepney and David Cooper
- Formal Specification of an Access Control System Susan Stepney and Stephen P. Lord
- Analysing Systems: determining requirements for object oriented development
- D. Hutter and M. Ullmann (Eds.): SPC 2005, LNCS 3450, pp. 3145, 2005. Springer-Verlag Berlin Heidelberg 2005
- Formalizing Anonymity: A Review University of York Technical Report YCS 389
- For ACM Computers and Society Playing the Game
- Breaking the Model: finalisation and a taxonomy of security attacks
- Access Management in Multi-Administration Networks S. P. Lord, N.H. Pope, and Susan Stepney
- RefineNet2004--1DepartmentofComputerScience MutatingthePurse
- GRAIL : Graphical Representation of Activity, Interconnection and Loading
- Susan Stepney. Pair production in thermal plasmas: a computer model. In M. L. Burns, A. K. Harding, and R. Ramaty, editors, Positron-Electron Pairs in Astrophysics,
- Relativistic thermal plasmas Susan Stepney
- P. W. Guilbert, A. C. Fabian and Susan Stepney. Electron-ion coupling in rapidly varying sources. Monthly Notices of the Royal Astronomical Society, 199:19P-21P, 1982.
- Smart Devices and Software Agents: the Basics of Good Behaviour
- The Design of S-Boxes by Simulated Annealing John A. Clark, Jeremy L. Jacob, Susan Stepney
- Formal Proof from UML Models Nuno Amalio, Susan Stepney, and Fiona Polack
- Int. Journ. of Unconventional Computing, Vol. 1, pp. 0000 2005 Old City Publishing, Inc. Reprints available directly from the publisher Published by license under the OCP Science imprint,
- Penrose Life: ash and oscillators Margaret Hill1
- Mondex spec: errata and clarifications Version of 19 August 2004
- Searching for Cost Functions John A. Clark, Jeremy L. Jacob, Susan Stepney
- Using PVS to Prove a Z Renement: A Case Study
- The DeCCo project papers I Z Specification of Pasp
- Retrenchment and the Atomicity Pattern Richard Banach,
- Using Ants to Attack a Classical Cipher Matthew Russell, John A. Clark, and Susan Stepney
- Invited Talk Teaching Post-Classical Computation
- Susan Stepney and Paul W. Guilbert. Numerical fits to important rates in high temperature astrophysical plasmas. Monthly Notices of the Royal Astronomical Society, 204:12691277, 1983.
- Emergent Properties Do Not Refine Fiona Polack, Susan Stepney1,2
- More Powerful Z Data Renement: pushing the state of the art in industrial
- Derivation of Z Refinement Proof Rules Forwards and backwards rules
- Cotranslational protein folding with L-systems Gemma B. Danks1,2
- PLAZZMID: An evolutionary agent-based architecture inspired by bacteria and bees
- Evolving Quantum Programs and Protocols Susan Stepney, John A. Clark
- Growing Music: musical interpretations of L-Systems Peter Worth, Susan Stepney
- Breaking the Model: Finalisation and a Taxonomy of Security
- Using Feedback to Regulate Gene Expression in a Developmental Control Architecture
- Representation and Structural biases in CGP Andrew J. Payne and Susan Stepney
- Grand Challenge 7 : Journeys in Non-Classical Computation
- Secret Agents Leave Big Footprints: how to plant a cryptographic trapdoor, and why
- Towards an Executable Model of Auxin Transport Canalisation
- Classical Computing in Nuclear Magnetic MARTA ROSELL O-MERINO, MATTHIAS BECHMANN,
- Investigations of Game of Life Cellular Automata rules on Penrose Tilings
- Counting preimages of homogeneous configurations in 1-dimensional cellular automata
- The Game of Life Rules on Penrose Tilings: Still Life and Oscillators
- Computer Simulation: the imaginary friend of auxin transport biology
- Proceedings of the 2010 Workshop on Complex Systems Modelling and Simulation
- Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics
- Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport
- From Binary to Continuous Gates and Back Again
- Reflections on the Simulation of Complex Systems for Science
- Controlling Complex Dynamics with Artificial Biochemical Networks
- Proceedings of the 2011 Workshop on Complex Systems Modelling and Simulation
