Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Susan Stepney
2010 – today
- 2013
[j32]Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: The incorporation of epigenetics in artificial gene regulatory networks. Biosystems 112(2): 56-62 (2013)- [j31]Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: Computational models of signalling networks for non-linear control. Biosystems 112(2): 122-130 (2013)
- [j30]Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput. 25(3): 439-464 (2013)
- [c78]Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Leo S. D. Caves, Susan Stepney, Andy M. Tyrrell: Adaptive robotic gait control using coupled artificial signalling networks, hopf oscillators and inverse kinematics. IEEE Congress on Evolutionary Computation 2013: 1435-1442
- [c77]Benjamin Russell, Susan Stepney: Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled Quantum Systems with Constrained Control Functions. UCNC 2013: 198-208
- [c76]Benjamin Russell, Susan Stepney: Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions. UCNC 2013: 209-219
- [i2]Clare Horsman, Susan Stepney, Robert C. Wagner, Viv Kendon: When does a physical system compute? CoRR abs/1309.7979 (2013)
- 2012
- [j29]Susan Stepney: Programming Unconventional Computers: Dynamics, Development, Self-Reference. Entropy 14(10): 1939-1952 (2012)
- [j28]Matthias Bechmann, Angelika Sebald, Susan Stepney: Boolean Logic Gate Design Principles in Unconventional Computers: an NMR Case Study. IJUC 8(2): 139-159 (2012)
- [j27]Martyn Amos, Susan Stepney, René Doursat, Francisco J. Vico, Steen Rasmussen: TRUCE: A Coordination Action for Unconventional Computation. IJUC 8(4): 333-337 (2012)
- [j26]Paul S. Andrews, Susan Stepney: Preface: EmergeNET4: engineering emergence. Natural Computing 11(3): 415-416 (2012)
- [c75]Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: Using Artificial Epigenetic Regulatory Networks to Control Complex Tasks within Chaotic Systems. IPCAT 2012: 1-11
- [c74]Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System. IPCAT 2012: 38-49
- [c73]Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki, Viv Kendon, Thomas J. Naughton, Mario J. Pérez-Jiménez, Francisco José Romero-Campero, Angelika Sebald: Heterotic Computing Examples with Optics, Bacteria, and Chemicals. UCNC 2012: 198-209
- [c72]Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce MacLennan, Olivier Michel, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, Lidia Yamamoto: Gardening Cyber-Physical Systems. UCNC 2012: 237-238
- [p1]Susan Stepney: Nonclassical Computation - A Dynamical Systems Perspective. Handbook of Natural Computing 2012: 1979-2025
- 2011
- [j25]
- [j24]Jon Timmis, Paul S. Andrews, Susan Stepney: Editorial for special issue on the interaction between computation and biology. Natural Computing 10(1): 187-188 (2011)
- [c71]Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner: Heterotic Computing. UC 2011: 113-124
- [c70]Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald: A Framework for Heterotic Computing. QPL 2011: 263-273
- [i1]Matthias Bechmann, Angelika Sebald, Susan Stepney: Boolean logic gate design principles in unconventional computers: an NMR case study. CoRR abs/1109.0918 (2011)
- 2010
- [j23]Marta Roselló-Merino, Matthias Bechmann, Angelika Sebald, Susan Stepney: Classical Computing in Nuclear Magnetic Resonance. IJUC 6(3-4): 163-195 (2010)
- [j22]Nick Owens, Susan Stepney: Investigations of Game of Life Cellular Automata Rules on Penrose Tilings: Lifetime, Ash, and Oscillator Statistics. J. Cellular Automata 5(3): 207-225 (2010)
- [j21]Edward J. Powley, Susan Stepney: Counting Preimages of Homogeneous Configurations in 1-Dimensional Cellular Automata. J. Cellular Automata 5(4-5): 353-381 (2010)
- [c69]Simon J. Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young: Diversity from a Monoculture - Effects of Mutation-on-Copy in a String-Based Artificial Chemistry. ALIFE 2010: 24-31
- [c68]Adam Faulconbridge, Susan Stepney, Julian F. Miller, Leo S. D. Caves: RBN-World - The Hunt for a Rich AChem. ALIFE 2010: 261-268
- [c67]Adam Nellis, Susan Stepney: Automatically Moving between Levels in Artificial Chemistries. ALIFE 2010: 269-276
- [c66]
- [c65]Jennifer Owen, Susan Stepney, Jonathan Timmis, Alan F. T. Winfield: Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics. ANTS Conference 2010: 432-439
- [c64]Michael A. Lones, Andy M. Tyrrell, Susan Stepney, Leo S. D. Caves: Controlling Complex Dynamics with Artificial Biochemical Networks. EuroGP 2010: 159-170
- [c63]Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson: Reflections on the Simulation of Complex Systems for Science. ICECCS 2010: 276-285
- [c62]Matthias Bechmann, Angelika Sebald, Susan Stepney: From Binary to Continuous Gates - and Back Again. ICES 2010: 335-347
2000 – 2009
- 2009
- [j20]
- [j19]Edward J. Powley, Susan Stepney: Automorphisms of Transition Graphs for Elementary Cellular Automata. J. Cellular Automata 4(2): 125-136 (2009)
- [j18]Edward J. Powley, Susan Stepney: Automorphisms of Transition Graphs for Linear Cellular Automata. J. Cellular Automata 4(4): 293-310 (2009)
- [c61]Andrew J. Payne, Susan Stepney: Representation and structural biases in CGP. IEEE Congress on Evolutionary Computation 2009: 1064-1071
- [c60]Darren Beaumont, Susan Stepney: Grammatical Evolution of L-systems. IEEE Congress on Evolutionary Computation 2009: 2446-2453
- [c59]Simon J. Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Peter Young: Gene regulation in a particle metabolome. IEEE Congress on Evolutionary Computation 2009: 3024-3031
- [c58]Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Cotranslational Protein Folding with L-systems. ECAL (1) 2009: 289-296
- [c57]Simon J. Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young: Molecular Microprograms. ECAL (1) 2009: 297-304
- [c56]Susan Stepney: Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation. ECAL (1) 2009: 369-376
- [c55]Adam Faulconbridge, Susan Stepney, Julian F. Miller, Leo S. D. Caves: RBN-World - A Sub-symbolic Artificial Chemistry. ECAL (1) 2009: 377-384
- [c54]
- 2008
- [j17]Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)
- [j16]
- [c53]Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, Peter H. Welch: Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. ALIFE 2008: 17-24
- [c52]Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Protein folding with stochastic L-systems. ALIFE 2008: 150-157
- [c51]Fiona A. C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis: Complex Systems Models - Engineering Simulations. ALIFE 2008: 482-489
- [c50]Andrew Weeks, Fiona Polack, Susan Stepney: Investigating Emergence by Coarse Graining Elementary Cellular Automata. ALIFE 2008: 686-693
- [c49]Nick Owens, Susan Stepney: Investigations of Game of Life cellular automata rules on Penrose Tilings: lifetime and ash statistics. Automata 2008: 1-35
- [c48]Edward J. Powley, Susan Stepney: Automorphisms of transition graphs for a linear cellular automaton. Automata 2008: 55-69
- [c47]Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis: Grand Challenge 7: Journeys in Non-Classical Computation. BCS Int. Acad. Conf. 2008: 407-421
- [c46]Kester Clegg, Susan Stepney: Analogue Circuit Control through Gene Expression. EvoWorkshops 2008: 154-163
- [e3]Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.): The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Concurrent Systems Engineering Series 66, IOS Press 2008, ISBN 978-1-58603-907-3
- 2007
- [j15]Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007)
- [j14]Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Inform. 77(1-2): 29-69 (2007)
- [j13]Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
- [c45]Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Folding Protein-Like Structures with Open L-Systems. ECAL 2007: 1100-1109
- [c44]Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
- [c43]Susan Stepney, Tim Clarke, Peter Young: PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees. ECAL 2007: 1151-1160
- [c42]Kester Clegg, Susan Stepney, Tim Clarke: Evolutionary Search Applied to Reconfigurable Analogue Control. FPL 2007: 593-596
- [c41]Kester Clegg, Susan Stepney, Tim Clarke: Using feedback to regulate gene expression in a developmental control architecture. GECCO 2007: 966-973
- [c40]Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
- 2006
- [j12]Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)
- [j11]Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation II: initial journeys and waypoints. IJPEDS 21(2): 97-125 (2006)
- [c39]Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
- [c38]
- [c37]Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
- [c36]Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
- [e2]Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney (Eds.): Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings. Lecture Notes in Computer Science 4135, Springer 2006, ISBN 3-540-38593-2
- 2005
- [j10]
- [j9]Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)
- [j8]John A. Clark, Susan Stepney, Howard Chivers: Breaking the Model: Finalisation and a Taxonomy of Security Attacks. Electr. Notes Theor. Comput. Sci. 137(2): 225-242 (2005)
- [j7]John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): 219-231 (2005)
- [j6]Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 20(1): 5-19 (2005)
- [c35]Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
- [c34]Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes: An Architecture for Modelling Emergence in CA-Like Systems. ECAL 2005: 433-442
- [c33]
- [c32]Peter Worth, Susan Stepney: Growing Music: Musical Interpretations of L-Systems. EvoWorkshops 2005: 545-550
- [c31]Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
- [c30]Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663
- [c29]John Newborough, Susan Stepney: A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs. ICARIS 2005: 43-55
- [c28]Yang Liu, John A. Clark, Susan Stepney: "Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. SPC 2005: 31-45
- [c27]Jemima Rossmorris, Susan Stepney: Requirements as Conjectures: Intuitive DVD Menu Navigation. ZB 2005: 172-186
- [c26]Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
- 2004
- [j5]Susan Stepney: Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. Genetic Programming and Evolvable Machines 5(4): 395-396 (2004)
- [c25]Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580
- [c24]Susan Stepney, Robert E. Smith, Jonathan Timmis, Andrew M. Tyrrell: Towards a Conceptual Framework for Artificial Immune Systems. ICARIS 2004: 53-64
- [c23]
- [c22]
- 2003
- [c21]Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
- [c20]Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147
- [c19]John A. Clark, Jeremy L. Jacob, Susan Stepney: Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. GECCO 2003: 2022-2033
- [c18]Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith: Artificial Immune Systems and the Grand Challenge for Non-classical Computation. ICARIS 2003: 204-216
- [c17]Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52
- [c16]Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
- [c15]Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
- 2002
- [j4]Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): 50-69 (2002)
- [c14]
- [c13]John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
- [c12]
- 2000
- [c11]Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263
- [c10]
- [c9]
- [c8]
1990 – 1999
- 1999
- [c7]Fiona Polack, Susan Stepney: Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067
- 1998
- [c6]Susan Stepney: Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. HASE 1998: 142-149
- [c5]Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307
- 1997
- [c4]David W. J. Stringer-Calvert, Susan Stepney, Ian Wand: Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588
- 1995
- [b2]Rosalind Barden, Susan Stepney, David Cooper: Z in practice. BCS practitioner series, Prentice Hall 1995, ISBN 978-0-13-124934-9, pp. I-XVIII, 1-407
- [j3]Jonathan P. Bowen, Susan Stepney, Rosalind Barden: Annotated Z bibliography. Information & Software Technology 37(5-6): 317-332 (1995)
- [c3]
- 1993
- [b1]Susan Stepney: High integrity compilation - a case study. Prentice Hall 1993, ISBN 978-0-13-381039-4, pp. I-X, 1-176
- 1992
- [c2]
- [e1]Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Workshops in Computing, Springer 1992, ISBN 3-540-19778-8
- 1991
- [j2]Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)
- [c1]
1980 – 1989
- 1987
- [j1]Susan Stepney, Stephen P. Lord: Formal Specification of an Access Control System. Softw., Pract. Exper. 17(9): 575-593 (1987)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team