Susan Stepney

According to our database1, Susan Stepney authored at least 174 papers between 1987 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Erratum to: NACO special issue editorial.
Natural Computing, 2019

The Role of the Representational Entity in Physical Computing.
Proceedings of the Unconventional Computation and Natural Computation, 2019

Co-Designing the Computational Model and the Computing Substrate - (Invited Paper).
Proceedings of the Unconventional Computation and Natural Computation, 2019

The Role of Structure and Complexity on Reservoir Computing Quality.
Proceedings of the Unconventional Computation and Natural Computation, 2019

Evolving graphs with horizontal gene transfer.
Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018
Evolving Living Technologies - Insights from the EvoEvo Project.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

BugZoo: a platform for studying software bugs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.
Proceedings of the Graph Transformation - 11th International Conference, 2018

Dynamical Music with Musical Boolean Networks.
Proceedings of the Computational Intelligence in Music, Sound, Art and Design, 2018

Evolving Graphs by Graph Programming.
Proceedings of the Genetic Programming - 21st European Conference, 2018

Engineering Simulations as Scientific Instruments: A Pattern Language
Springer, ISBN: 978-3-030-01937-2, 2018

2017
Artificial Epigenetic Networks: Automatic Decomposition of Dynamical Control Tasks Using Topological Self-Modification.
IEEE Trans. Neural Netw. Learning Syst., 2017

A conceptual and computational framework for modelling and understanding the non-equilibrium gene regulatory networks of mouse embryonic stem cells.
PLoS Computational Biology, 2017

The Geometry of Speed Limiting Resources in Physical Models of Computation.
Int. J. Found. Comput. Sci., 2017

The natural science of computing.
Commun. ACM, 2017

Book Review: Search and Construct.
Artificial Life, 2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair.
Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Reservoir computing in materio: A computational framework for in materio computing.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Functional grouping analysis of varying reactor types in the Spiky-RBN AChem.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Tuning Jordan algebra artificial chemistries with probability spawning functions.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Introduction to Unconventional Computing.
Proceedings of the Guide to Unconventional Computing for Music, 2017

2016
Defining and simulating open-ended novelty: requirements, guidelines, and challenges.
Theory in Biosciences, 2016

Report on UCNC 2016.
Bulletin of the EATCS, 2016

Report on UCNC 2015.
Bulletin of the EATCS, 2016

Maximizing the Adjacent Possible in Automata Chemistries.
Artificial Life, 2016

Editorial/Introduction to the Artificial Life 2015 Conference Special Issue.
Artificial Life, 2016

Evolving Carbon Nanotube Reservoir Computers.
Proceedings of the Unconventional Computation and Natural Computation, 2016

Reservoir computing in materio: An evaluation of configuration through evolution.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Augmenting Live Coding with Evolved Patterns.
Proceedings of the Evolutionary and Biologically Inspired Music, Sound, Art and Design, 2016

2015
CoSMoS special issue editorial.
Natural Computing, 2015

Environment orientation: a structured simulation approach for agent-based complex systems.
Natural Computing, 2015

Report on UCNC 2012.
Bulletin of the EATCS, 2015

Wallace: An efficient generic evolutionary framework.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

Environmental bias forces parasitism in Tierra.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

Conservation of Matter Increases Evolutionary Activity.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

A Metamodel for the Evolution of Evolution.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014
Artificial Biochemical Networks: Evolving Dynamical Systems to Control Dynamical Systems.
IEEE Trans. Evolutionary Computation, 2014

Local and global models of physics and computation.
Int. J. General Systems, 2014

Applications of Finsler Geometry to Speed Limits to Quantum Information Processing.
Int. J. Found. Comput. Sci., 2014

2013
Special issue on the frontiers of natural computing.
Natural Computing, 2013

Biochemical connectionism.
Natural Computing, 2013

Atomicity failure and the retrenchment atomicity pattern.
Formal Asp. Comput., 2013

The incorporation of epigenetics in artificial gene regulatory networks.
Biosystems, 2013

Computational models of signalling networks for non-linear control.
Biosystems, 2013

Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions.
Proceedings of the Unconventional Computation and Natural Computation, 2013

Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled Quantum Systems with Constrained Control Functions.
Proceedings of the Unconventional Computation and Natural Computation, 2013

The artificial epigenetic network.
Proceedings of the 2013 IEEE International Conference on Evolvable Systems, 2013

Adaptive robotic gait control using coupled artificial signalling networks, hopf oscillators and inverse kinematics.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012
Nonclassical Computation - A Dynamical Systems Perspective.
Proceedings of the Handbook of Natural Computing, 2012

Preface: EmergeNET4: engineering emergence.
Natural Computing, 2012

Boolean Logic Gate Design Principles in Unconventional Computers: an NMR Case Study.
IJUC, 2012

TRUCE: A Coordination Action for Unconventional Computation.
IJUC, 2012

Programming Unconventional Computers: Dynamics, Development, Self-Reference.
Entropy, 2012


Heterotic Computing Examples with Optics, Bacteria, and Chemicals.
Proceedings of the Unconventional Computation and Natural Computation, 2012

Using Artificial Epigenetic Regulatory Networks to Control Complex Tasks within Chaotic Systems.
Proceedings of the Information Processign in Cells and Tissues, 2012

Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System.
Proceedings of the Information Processign in Cells and Tissues, 2012

2011
Editorial for special issue on the interaction between computation and biology.
Natural Computing, 2011

Book Review.
J. Cellular Automata, 2011

A Framework for Heterotic Computing
Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Heterotic Computing.
Proceedings of the Unconventional Computation - 10th International Conference, 2011

Reflecting on open-ended evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

ALife: a tension between biology and software engineering.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied copying for richer evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Controlling legged robots with coupled artificial biochemical networks.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Energy as a driver of diversity in open-ended evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied genomes and metaprogramming.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Degeneracy enriches artificial chemistry binding systems.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

2010
Counting Preimages of Homogeneous Configurations in 1-Dimensional Cellular Automata.
J. Cellular Automata, 2010

Investigations of Game of Life Cellular Automata Rules on Penrose Tilings: Lifetime, Ash, and Oscillator Statistics.
J. Cellular Automata, 2010

Classical Computing in Nuclear Magnetic Resonance.
IJUC, 2010

From Binary to Continuous Gates - and Back Again.
Proceedings of the Evolvable Systems: From Biology to Hardware, 2010

Reflections on the Simulation of Complex Systems for Science.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Controlling Complex Dynamics with Artificial Biochemical Networks.
Proceedings of the Genetic Programming, 13th European Conference, 2010

Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics.
Proceedings of the Swarm Intelligence - 7th International Conference, 2010

Automatically Moving between Levels in Artificial Chemistries.
Proceedings of the Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Formalising Harmony Seeking Rules of Morphogenesis.
Proceedings of the Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Diversity from a Monoculture - Effects of Mutation-on-Copy in a String-Based Artificial Chemistry.
Proceedings of the Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

RBN-World - The Hunt for a Rich AChem.
Proceedings of the Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

The Game of Life Rules on Penrose Tilings: Still Life and Oscillators.
Proceedings of the Game of Life Cellular Automata., 2010

2009
Automorphisms of Transition Graphs for Linear Cellular Automata.
J. Cellular Automata, 2009

Automorphisms of Transition Graphs for Elementary Cellular Automata.
J. Cellular Automata, 2009

Non-Classical Hypercomputation.
IJUC, 2009

Visualising random boolean network dynamics.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Molecular Microprograms.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

RBN-World - A Sub-symbolic Artificial Chemistry.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Cotranslational Protein Folding with L-systems.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Representation and structural biases in CGP.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Gene regulation in a particle metabolome.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Grammatical Evolution of L-systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008
Towards Theory of Unconventional Computing.
IJUC, 2008

The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Asp. Comput., 2008

Enforcing Behaviour with Anonymity.
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

Immuno-engineering.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Analogue Circuit Control through Gene Expression.
Proceedings of the Applications of Evolutionary Computing, 2008

Grand Challenge 7: Journeys in Non-Classical Computation.
Proceedings of the Visions of Computer Science, 2008

Automorphisms of transition graphs for a linear cellular automaton.
Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

Investigations of Game of Life cellular automata rules on Penrose Tilings: lifetime and ash statistics.
Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

Investigating Emergence by Coarse Graining Elementary Cellular Automata.
Proceedings of the Artificial Life XI: Proceedingshe of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Complex Systems Models - Engineering Simulations.
Proceedings of the Artificial Life XI: Proceedingshe of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Protein folding with stochastic L-systems.
Proceedings of the Artificial Life XI: Proceedingshe of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems.
Proceedings of the Artificial Life XI: Proceedingshe of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007
Engineering and theoretical underpinnings of retrenchment.
Sci. Comput. Program., 2007

Rule Migration: Exploring a Design Framework for Emergence.
IJUC, 2007

Grand Challenge in Non-Classical Computation.
IJUC, 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.
Fundam. Inform., 2007

Frameworks Based on Templates for Rigorous Model-driven Development.
Electr. Notes Theor. Comput. Sci., 2007

Retrenchment and the Atomicity Pattern.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Using feedback to regulate gene expression in a developmental control architecture.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Evolutionary Search Applied to Reconfigurable Analogue Control.
Proceedings of the FPL 2007, 2007

Neutral Emergence and Coarse Graining.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

Folding Protein-Like Structures with Open L-Systems.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006
Journeys in non-classical computation II: initial journeys and waypoints.
IJPEDS, 2006

Introduction.
IJUC, 2006

Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming.
Evolutionary Computation, 2006

Retrenching the Purse: Finite Exception Logs, and Validating the Small.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Engineering Emergence.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

A Formal Template Language Enabling Metaproof.
Proceedings of the FM 2006: Formal Methods, 2006

Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005
Journeys in non-classical computation I: A grand challenge for computing research.
Parallel Algorithms Appl., 2005

Introduction.
IJUC, 2005

Conceptual Frameworks for Artificial Immune Systems.
IJUC, 2005

Emergent Properties Do Not Refine.
Electr. Notes Theor. Comput. Sci., 2005

Breaking the Model: Finalisation and a Taxonomy of Security Attacks.
Electr. Notes Theor. Comput. Sci., 2005

Desert Island Column.
Autom. Softw. Eng., 2005

Requirements as Conjectures: Intuitive DVD Menu Navigation.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An Object-Oriented Structuring for Z Based on Views.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

"Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example.
Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs.
Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Evolution of a human-competitive quantum fourier transform algorithm using genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.
Proceedings of the FM 2005: Formal Methods, 2005

Growing Music: Musical Interpretations of L-Systems.
Proceedings of the Applications of Evolutionary Computing, 2005

An Architecture for Modelling Emergence in CA-Like Systems.
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Penrose Life: Ash and Oscillators.
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Retrenchment and the Mondex Electronic Purse.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
Playing the game: cheating, loopholes, and virtual identity.
SIGCAS Computers and Society, 2004

Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms.
Genetic Programming and Evolvable Machines, 2004

Teaching post-classical computation: (extended abstract).
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Formal Proof from UML Models.
Proceedings of the Formal Methods and Software Engineering, 2004

Towards a Conceptual Framework for Artificial Immune Systems.
Proceedings of the Artificial Immune Systems, Third International Conference, 2004

Evolving Quantum Circuits and Programs Through Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation, 2004

The design of s-boxes by simulated annealing.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Searching for cost functions.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

2003
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Outline Pattern Language for Z: Five Illustrations and Two Tables.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Smart Devices and Software Agents: The Basics of Good Behaviour.
Proceedings of the Security in Pervasive Computing, 2003

Artificial Immune Systems and the Grand Challenge for Non-classical Computation.
Proceedings of the Artificial Immune Systems, Second International Conference, 2003

Using Ants to Attack a Classical Cipher.
Proceedings of the Genetic and Evolutionary Computation, 2003

Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It.
Proceedings of the Genetic and Evolutionary Computation, 2003

Challenging Formal Specifications by Mutation: a CSP security example.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Refactoring in maintenance and development of Z specifications.
Electr. Notes Theor. Comput. Sci., 2002

Characters + Mark-up = Z Lexis.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Evolving Boolean Functions Satisfying Multiple Criteria.
Proceedings of the Progress in Cryptology, 2002

Critical Critical Systems.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000
Type-Constrained Generics for Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Typechecking Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Formal Methods for Industrial Products.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Segregation with Communication.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1999
Systems Development Using Z Generics.
Proceedings of the FM'99 - Formal Methods, 1999

1998
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Incremental Development of a High Integrity Compiler: Experience from an Industrial Development.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Using PVS to Prove a Z Refinement: A Case Study.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995
Annotated Z bibliography.
Information & Software Technology, 1995

Testing as Abstraction.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Z in practice.
BCS practitioner series, Prentice Hall, ISBN: 978-0-13-124934-9, 1995

1993
High integrity compilation - a case study.
Prentice Hall, ISBN: 978-0-13-381039-4, 1993

1992
A survey of object orientation in Z.
Software Engineering Journal, 1992

Support for Using Z.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991
A Demonstrably Correct Compiler.
Formal Asp. Comput., 1991

The Use of Z.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1987
Formal Specification of an Access Control System.
Softw., Pract. Exper., 1987


  Loading...