Susan Stepney

Tom Collins

SN Comput. Sci., 2022

A perspective on physical reservoir computing with nanomagnetic devices.

[BibT_eX]

[DOI]

Mohammad F. KH Musameh

CoRR, 2022

Julian Francis Miller, 1955-2022.

[BibT_eX]

[DOI]

Alan Dorin

Artif. Life, 2022

Editorial Introduction for 28: 1.

[BibT_eX]

[DOI]

Alan Dorin

Artif. Life, 2022

Life as a Cyber-Bio-Physical System.

[BibT_eX]

[DOI]

Proceedings of the Genetic Programming Theory and Practice XIX [GPTP 2022], 2022

2021

Reservoir Computing in Material Substrates.

[BibT_eX]

[DOI]

Proceedings of the Reservoir Computing, 2021

The representational entity in physical computing.

[BibT_eX]

[DOI]

Viv Kendon

Nat. Comput., 2021

Reservoir computing quality: connectivity and topology.

[BibT_eX]

[DOI]

Nat. Comput., 2021

Evolving graphs with semantic neutral drift.

[BibT_eX]

[DOI]

Nat. Comput., 2021

Quantifying the Computational Capability of a Nanomagnetic Reservoir Computing Platform with Emergent Magnetization Dynamics.

[BibT_eX]

[DOI]

Richard W. S. Dawidek

Thomas J. Broomhall

Nina-Juliane Steinke

Joshaniel F. K. Cooper

Francisco Maccherozzi

CoRR, 2021

Reservoir Computing with Thin-film Ferromagnetic Devices.

[BibT_eX]

[DOI]

CoRR, 2021

Editorial: News from the New Co-Editors in Chief.

[BibT_eX]

[DOI]

Alan Dorin

Artif. Life, 2021

Non-instantaneous Information Transfer in Physical Reservoir Computing.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2021

Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2021

Tradeoffs with physical delay feedback reservoir computing.

[BibT_eX]

[DOI]

Tian Gan

Martin A. Trefzer

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

What is a Parasite? Defining reaction and network properties in an open ended automata chemistry.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Artificial Life, 2021

"A Good Algorithm Does Not Steal - It Imitates": The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2021

Computing with Open Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2021

2020

Horizontal gene transfer for recombining graphs.

[BibT_eX]

[DOI]

Penelope Faulkner Rainford

Genet. Program. Evolvable Mach., 2020

MetaChem: An Algebraic Framework for Artificial Chemistries.

[BibT_eX]

[DOI]

Artif. Life, 2020

Innovation, Variation, and Emergence in an Automata Chemistry.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Artificial Life, 2020

Socio-Physical Modelling and Declining Mobility.

[BibT_eX]

[DOI]

Penny Faulkner Rainford

Yasmin Merali

Proceedings of the 2020 Conference on Artificial Life, 2020

Designing Computational Substrates using Open-Ended Evolution.

[BibT_eX]

[DOI]

Matthew Dale

Martin Trefzer

Proceedings of the 2020 Conference on Artificial Life, 2020

2019

UCNC 2018 special issue editorial.

[BibT_eX]

[DOI]

Sergey Verlan

Nat. Comput., 2019

Erratum to: NACO special issue editorial.

[BibT_eX]

[DOI]

Jon Timmis

Nat. Comput., 2019

The Role of the Representational Entity in Physical Computing.

[BibT_eX]

[DOI]

Viv Kendon

Proceedings of the Unconventional Computation and Natural Computation, 2019

Co-Designing the Computational Model and the Computing Substrate - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2019

The Role of Structure and Complexity on Reservoir Computing Quality.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2019

A Meta-Atom Based Sub-Symbolic Artificial Chemistry.

[BibT_eX]

[DOI]

Isaac Watson

Penelope Faulkner Rainford

Proceedings of the 2019 Conference on Artificial Life, 2019

An Object Oriented Implementation of the MetaChem framework.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Artificial Life, 2019

Evolving graphs with horizontal gene transfer.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018

Introduction.

[BibT_eX]

[DOI]

Steen Rasmussen

Martyn Amos

Proceedings of the Computational Matter, 2018

UCOMP Roadmap: Survey, Challenges, Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Computational Matter, 2018

Encoding and Representation of Information Processing in Irregular Computational Matter.

[BibT_eX]

[DOI]

Proceedings of the Computational Matter, 2018

Philosophy of Computation.

[BibT_eX]

[DOI]

Chrystopher L. Nehaniv

Stefano Nichele

Proceedings of the Computational Matter, 2018

Reservoir Computing with Computational Matter.

[BibT_eX]

[DOI]

Proceedings of the Computational Matter, 2018

Computability and Complexity of Unconventional Computing Devices.

[BibT_eX]

[DOI]

Hajo Broersma

Göran Wendin

Proceedings of the Computational Matter, 2018

Semantic Neutral Drift.

[BibT_eX]

[DOI]

Penelope Faulkner Rainford

CoRR, 2018

A Substrate-Independent Framework to Characterise Reservoir Computers.

[BibT_eX]

[DOI]

CoRR, 2018

Evolving Living Technologies - Insights from the EvoEvo Project.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Modular combinations of Artificial Chemistries.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference on Artificial Life, 2018

BugZoo: a platform for studying software bugs.

[BibT_eX]

[DOI]

Claire Le Goues

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 11th International Conference, 2018

Dynamical Music with Musical Boolean Networks.

[BibT_eX]

[DOI]

George Gabriel

Proceedings of the Computational Intelligence in Music, Sound, Art and Design, 2018

Evolving Graphs by Graph Programming.

[BibT_eX]

[DOI]

Proceedings of the Genetic Programming - 21st European Conference, 2018

Engineering Simulations as Scientific Instruments: A Pattern Language

[BibT_eX]

[DOI]

Fiona A. C. Polack

Springer, ISBN: 978-3-030-01937-2, 2018

2017

Artificial Epigenetic Networks: Automatic Decomposition of Dynamical Control Tasks Using Topological Self-Modification.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2017

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

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2017

The Geometry of Speed Limiting Resources in Physical Models of Computation.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2017

Computability and Complexity of Unconventional Computing Devices.

[BibT_eX]

[DOI]

Hajo Broersma

Göran Wendin

CoRR, 2017

The natural science of computing.

[BibT_eX]

[DOI]

Dominic Horsman

Vivien M. Kendon

Commun. ACM, 2017

Book Review: Search and Construct.

[BibT_eX]

[DOI]

Artif. Life, 2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair.

[BibT_eX]

[DOI]

Claire Le Goues

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Reservoir computing in materio: A computational framework for in materio computing.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Functional grouping analysis of varying reactor types in the Spiky-RBN AChem.

[BibT_eX]

[DOI]

Michael Krastev

Proceedings of the Fourteenth European Conference Artificial Life, 2017

Tuning Jordan algebra artificial chemistries with probability spawning functions.

[BibT_eX]

[DOI]

Penelope Faulkner

Proceedings of the Fourteenth European Conference Artificial Life, 2017

Introduction to Unconventional Computing.

[BibT_eX]

[DOI]

Proceedings of the Guide to Unconventional Computing for Music, 2017

2016

Defining and simulating open-ended novelty: requirements, guidelines, and challenges.

[BibT_eX]

[DOI]

Vinícius Veloso de Melo

Theory Biosci., 2016

Report on UCNC 2016.

[BibT_eX]

[DOI]

Bull. EATCS, 2016

Report on UCNC 2015.

[BibT_eX]

[DOI]

Bull. EATCS, 2016

Maximizing the Adjacent Possible in Automata Chemistries.

[BibT_eX]

[DOI]

Artif. Life, 2016

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

[BibT_eX]

[DOI]

Simon Hickenbotham

Artif. Life, 2016

Evolving Carbon Nanotube Reservoir Computers.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2016

Reservoir computing in materio: An evaluation of configuration through evolution.

[BibT_eX]

[DOI]

Matthew Dale

Julian Francis Miller

Martin Trefzer

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Augmenting Live Coding with Evolved Patterns.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary and Biologically Inspired Music, Sound, Art and Design, 2016

Emergent Bonding Properties in the Spiky RBN AChem.

[BibT_eX]

[DOI]

Mihail Krastev

Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design.

[BibT_eX]

[DOI]

Penelope Faulkner

Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

Bio-Reflective Architectures for Evolutionary Innovation.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

2015

CoSMoS special issue editorial.

[BibT_eX]

[DOI]

Nat. Comput., 2015

Environment orientation: a structured simulation approach for agent-based complex systems.

[BibT_eX]

[DOI]

Nat. Comput., 2015

Report on UCNC 2012.

[BibT_eX]

[DOI]

Bull. EATCS, 2015

Wallace: An efficient generic evolutionary framework.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth European Conference Artificial Life, 2015

Environmental bias forces parasitism in Tierra.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth European Conference Artificial Life, 2015

Conservation of Matter Increases Evolutionary Activity.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth European Conference Artificial Life, 2015

A Metamodel for the Evolution of Evolution.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014

Artificial Biochemical Networks: Evolving Dynamical Systems to Control Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2014

Local and global models of physics and computation.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2014

Applications of Finsler Geometry to Speed Limits to Quantum Information Processing.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2014

Reflective Grammatical Evolution.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

Phenomena, Mechanisms, Worlds.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

2013

Special issue on the frontiers of natural computing.

[BibT_eX]

[DOI]

Nat. Comput., 2013

Biochemical connectionism.

[BibT_eX]

[DOI]

Nat. Comput., 2013

Atomicity failure and the retrenchment atomicity pattern.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Zermelo Navigation and a Speed Limit to Quantum Information Processing.

[BibT_eX]

[DOI]

CoRR, 2013

When does a physical system compute?

[BibT_eX]

[DOI]

Clare Horsman

Robert Christian Wagner

Viv Kendon

CoRR, 2013

The incorporation of epigenetics in artificial gene regulatory networks.

[BibT_eX]

[DOI]

Biosyst., 2013

Computational models of signalling networks for non-linear control.

[BibT_eX]

[DOI]

Biosyst., 2013

Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2013

The artificial epigenetic network.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

Nonclassical Computation - A Dynamical Systems Perspective.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Natural Computing, 2012

Preface: EmergeNET4: engineering emergence.

[BibT_eX]

[DOI]

Nat. Comput., 2012

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

[BibT_eX]

[DOI]

Matthias Bechmann

Int. J. Unconv. Comput., 2012

TRUCE: A Coordination Action for Unconventional Computation.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2012

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

[BibT_eX]

[DOI]

Francisco José Romero-Campero

Entropy, 2012

Gardening Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2012

Heterotic Computing Examples with Optics, Bacteria, and Chemicals.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Proceedings of the Unconventional Computation and Natural Computation, 2012

Using Artificial Epigenetic Regulatory Networks to Control Complex Tasks within Chaotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Processign in Cells and Tissues, 2012

Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System.

[BibT_eX]

[DOI]

Proceedings of the Information Processign in Cells and Tissues, 2012

2011

Editorial for special issue on the interaction between computation and biology.

[BibT_eX]

[DOI]

Jon Timmis

Nat. Comput., 2011

Book Review.

[BibT_eX]

[DOI]

J. Cell. Autom., 2011

A Framework for Heterotic Computing

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Heterotic Computing.

[BibT_eX]

[DOI]

Robert Christian Wagner

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

Reflecting on open-ended evolution.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

ALife: a tension between biology and software engineering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied copying for richer evolution.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Controlling legged robots with coupled artificial biochemical networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Energy as a driver of diversity in open-ended evolution.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied genomes and metaprogramming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Degeneracy enriches artificial chemistry binding systems.

[BibT_eX]

[DOI]

Edward Clark

Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

2010

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

[BibT_eX]

[DOI]

J. Cell. Autom., 2010

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

[BibT_eX]

[DOI]

Nick Owens

J. Cell. Autom., 2010

Classical Computing in Nuclear Magnetic Resonance.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2010

From Binary to Continuous Gates - and Back Again.

[BibT_eX]

[DOI]

Matthias Bechmann

Proceedings of the Evolvable Systems: From Biology to Hardware, 2010

Reflections on the Simulation of Complex Systems for Science.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Controlling Complex Dynamics with Artificial Biochemical Networks.

[BibT_eX]

[DOI]

Proceedings of the Genetic Programming, 13th European Conference, 2010

Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics.

[BibT_eX]

[DOI]

Proceedings of the Swarm Intelligence - 7th International Conference, 2010

Automatically Moving between Levels in Artificial Chemistries.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Formalising Harmony Seeking Rules of Morphogenesis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

RBN-World - The Hunt for a Rich AChem.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nick Owens

Proceedings of the Game of Life Cellular Automata., 2010

2009

Automorphisms of Transition Graphs for Linear Cellular Automata.

[BibT_eX]

[DOI]

J. Cell. Autom., 2009

Automorphisms of Transition Graphs for Elementary Cellular Automata.

[BibT_eX]

[DOI]

J. Cell. Autom., 2009

Non-Classical Hypercomputation.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

Visualising random boolean network dynamics.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation.

[BibT_eX]

[DOI]

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

Molecular Microprograms.

[BibT_eX]

[DOI]

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

RBN-World - A Sub-symbolic Artificial Chemistry.

[BibT_eX]

[DOI]

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

Cotranslational Protein Folding with L-systems.

[BibT_eX]

[DOI]

Gemma B. Danks

Leo S. D. Caves

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

Representation and structural biases in CGP.

[BibT_eX]

[DOI]

Andrew J. Payne

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Gene regulation in a particle metabolome.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Grammatical Evolution of L-systems.

[BibT_eX]

[DOI]

Darren Beaumont

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008

Towards Theory of Unconventional Computing.

[BibT_eX]

Andrew Adamatzky

Int. J. Unconv. Comput., 2008

The certification of the Mondex electronic purse to ITSEC Level E6.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Enforcing Behaviour with Anonymity.

[BibT_eX]

[DOI]

Joss Wright

Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

Immuno-engineering.

[BibT_eX]

[DOI]

Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Analogue Circuit Control through Gene Expression.

[BibT_eX]

[DOI]

Kester Dean Clegg

Proceedings of the Applications of Evolutionary Computing, 2008

Grand Challenge 7: Journeys in Non-Classical Computation.

[BibT_eX]

[DOI]

Proceedings of the Visions of Computer Science, 2008

Automorphisms of transition graphs for a linear cellular automaton.

[BibT_eX]

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.

[BibT_eX]

Nick Owens

Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

Investigating Emergence by Coarse Graining Elementary Cellular Automata.

[BibT_eX]

[DOI]

Andrew Weeks

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Complex Systems Models - Engineering Simulations.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Protein folding with stochastic L-systems.

[BibT_eX]

[DOI]

Gemma B. Danks

Leo S. D. Caves

Proceedings 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.

[BibT_eX]

[DOI]

Adam T. Sampson

John Markus Bjørndalen

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Engineering and theoretical underpinnings of retrenchment.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Rule Migration: Exploring a Design Framework for Emergence.

[BibT_eX]

[DOI]

Heather R. Turner

Fiona A. C. Polack

Int. J. Unconv. Comput., 2007

Grand Challenge in Non-Classical Computation.

[BibT_eX]

Stephen Emmott

Int. J. Unconv. Comput., 2007

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Retrenchment and the Atomicity Pattern.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Kester Dean Clegg

Tim Clarke

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Evolutionary Search Applied to Reconfigurable Analogue Control.

[BibT_eX]

[DOI]

Kester Dean Clegg

Tim Clarke

Proceedings of the FPL 2007, 2007

Neutral Emergence and Coarse Graining.

[BibT_eX]

[DOI]

Andrew Weeks

Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees.

[BibT_eX]

[DOI]

Tim Clarke

Peter Young

Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

Folding Protein-Like Structures with Open L-Systems.

[BibT_eX]

[DOI]

Gemma B. Danks

Leo S. D. Caves

Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006

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

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2006

Introduction.

[BibT_eX]

Stephen Emmott

Int. J. Unconv. Comput., 2006

Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming.

[BibT_eX]

[DOI]

Paul Massey

Evol. Comput., 2006

Retrenching the Purse: Finite Exception Logs, and Validating the Small.

[BibT_eX]

[DOI]

Richard Banach

Michael Poppleton

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Engineering Emergence.

[BibT_eX]

[DOI]

Heather R. Turner

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

A Formal Template Language Enabling Metaproof.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005

Journeys in non-classical computation I: A grand challenge for computing research.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2005

The Design of S-Boxes by Simulated Annealing.

[BibT_eX]

[DOI]

Jeremy L. Jacob

New Gener. Comput., 2005

Introduction.

[BibT_eX]

Int. J. Unconv. Comput., 2005

Conceptual Frameworks for Artificial Immune Systems.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2005

Emergent Properties Do Not Refine.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

Breaking the Model: Finalisation and a Taxonomy of Security Attacks.

[BibT_eX]

[DOI]

Howard Chivers

Proceedings of the REFINE 2005 Workshop, 2005

Frameworks Based on Templates for Rigorous Model-driven Development.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Desert Island Column.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2005

Requirements as Conjectures: Intuitive DVD Menu Navigation.

[BibT_eX]

[DOI]

Jemima Rossmorris

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An Object-Oriented Structuring for Z Based on Views.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yang Liu

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs.

[BibT_eX]

[DOI]

John Newborough

Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Evolution of a human-competitive quantum fourier transform algorithm using genetic programming.

[BibT_eX]

[DOI]

Paul Massey

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

Growing Music: Musical Interpretations of L-Systems.

[BibT_eX]

[DOI]

Peter Worth

Proceedings of the Applications of Evolutionary Computing, 2005

An Architecture for Modelling Emergence in CA-Like Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Penrose Life: Ash and Oscillators.

[BibT_eX]

[DOI]

Margaret Hill

Francis Wan

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Retrenchment and the Mondex Electronic Purse.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Playing the game: cheating, loopholes, and virtual identity.

[BibT_eX]

[DOI]

SIGCAS Comput. Soc., 2004

Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2004

Teaching post-classical computation: (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Formal Proof from UML Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Towards a Conceptual Framework for Artificial Immune Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Immune Systems, Third International Conference, 2004

Evolving Quantum Circuits and Programs Through Genetic Programming.

[BibT_eX]

[DOI]

Paul Massey

Proceedings of the Genetic and Evolutionary Computation, 2004

Searching for cost functions.

[BibT_eX]

[DOI]

Jeremy L. Jacob

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

2003

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Smart Devices and Software Agents: The Basics of Good Behaviour.

[BibT_eX]

[DOI]

Howard Chivers

Proceedings of the Security in Pervasive Computing, 2003

Artificial Immune Systems and the Grand Challenge for Non-classical Computation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Immune Systems, Second International Conference, 2003

Using Ants to Attack a Classical Cipher.

[BibT_eX]

[DOI]

Matthew D. Russell

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.

[BibT_eX]

[DOI]

Jeremy L. Jacob

Proceedings of the Genetic and Evolutionary Computation, 2003

Making the most of two heuristics: breaking transposition ciphers with ants.

[BibT_eX]

[DOI]

Matthew D. Russell

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

Challenging Formal Specifications by Mutation: a CSP security example.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Refactoring in maintenance and development of Z specifications.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Characters + Mark-up = Z Lexis.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Evolving Boolean Functions Satisfying Multiple Criteria.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2002

Critical Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000

Type-Constrained Generics for Z.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

David Cooper

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.

[BibT_eX]

[DOI]

David Cooper

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.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.

[BibT_eX]

[DOI]