[for copies, follow doi link, see the York Research database, or see individual members' home pages]

book chapters

• D. Horsman, Viv Kendon, Susan Stepney, Peter Young.
  Abstraction and representation in living organisms: when does a biological system compute?.
  in Gordana Dodig-Crnkovic, Raffaela Giovagnoli, eds, Representation and reality: humans, animals, and machines, Springer, 2016 (to appear)

refereed workshop and conference papers

• Yujie Chen, Peter Cowling, Stephen Remde, Fiona Polack.
  Efficient large-scale road inspection routing
  ICORES, Rome, Italy, February 2016, Springer, 2016 (accepted)

• Yujie Chen, Philip Mourdjis, Fiona Polack, Peter Cowling, and Stephen Remde.
  Evaluating hyperheuristics and local search operators for periodic routing problems
  EvoCOP, Porto, Portugal, March 2016, LNCS, Springer, 2016 (accepted)

• Yujie Chen, Fiona Polack, Peter Cowling, Philip Mourdjis, Stephen Remde.
  Risk driven analysis of maintenance for a large-scale drainage system
  ICORES, Rome, Italy, February 2016, Springer, 2016 (accepted)

• Simon Hickinbotham, Susan Stepney.
  Augmenting Live Coding with Evolved Patterns
  EvoMusArt, Porto, Portugal, March 2016, LNCS, Springer, 2016 (accepted)

• Philip Mourdjis, Fiona Polack, Peter Cowling, Yujie Chen, Martin Robinson.
  The effect of cooperation in pickup and multiple delivery problems
  ICORES, Rome, Italy, February 2016, Springer, 2016 (accepted)

journal papers

• Simon Hickinbotham, Edward Clark, Adam Nellis, Susan Stepney, Tim Clarke, Peter Young.
  Maximising the adjacent possible in automata chemistries
  Artificial Life Journal, 22(1) 2016 (on line early)
  doi: 10.1162/ARTL_a_00180

• Alexander P. Turner, Leo S. D. Caves, Susan Stepney, Andy M. Tyrrell, Michael A. Lones.
  Artificial Epigenetic Networks: Automatic Decomposition of Dynamical Control Tasks using Topological Self-Modification.
  IEEE Transactions on Neural Networks and Learning Systems, 2016 (on line early)
  doi: 10.1109/TNNLS.2015.2497142

books / proceedings

• Paul Andrews, Leo Caves, René Doursat, Simon Hickinbotham, Fiona Polack, Susan Stepney, Tim Taylor, Jon Timmis, editors.
  Proceedings of the European Conference on Artificial Life 2015 (ECAL 2015), York, UK, July 2015.
  MIT Press, 2015.

• Paul Andrews, Leo Caves, René Doursat, Simon Hickinbotham, Fiona Polack, Susan Stepney, Tim Taylor, Jon Timmis, editors.
  Late Breaking Proceedings of the European Conference on Artificial Life 2015, York, UK, July 2015.

• Susan Stepney, Paul S. Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2015), York, UK, July 2015.
  Luniver Press, 2015.

book chapters

• Rasha Salah El-Din, Paul Cairns, John A. Clark.
  The Human Factor in Mobile Phishing.
  in M. Dawson, M. Omar, eds, New Threats and Countermeasures in Digital Crime and Cyber Terrorism, pp.53-65, IGI Global, 2015
  doi: 10.4018/978-1-4666-8345-7.ch004

journal papers

• Kieran Alden, Paul S. Andrews, Fiona A. C. Polack, Henrique Veiga-Fernandes, Mark C. Coles, Jon Timmis.
  Using argument notation to engineer biological simulations with increased confidence
  Journal of the Royal Society Interface 12:104, 2015
  doi: 10.1098/rsif.2014.1059

• Shabir Barzanjeh, Saikat Guha, Christian Weedbrook, David Vitali, Jeffrey H. Shapiro, Stefano Pirandola.
  Microwave Quantum Illumination
  Physics Review Letters 114:080503, 2015
  doi: 10.1103/PhysRevLett.114.080503

• Lauren J.N. Brent, Daniel W. Franks, Emma A. Foster, Kenneth C. Balcomb, Michael A. Cant, Darren P. Croft.
  Ecological Knowledge, Leadership, and the Evolution of Menopause in Killer Whales
  Current Biology 25(6):746-750, 2015
  doi: 10.1016/j.cub.2015.01.037

• Darren P. Croft, Lauren J.N. Brent, Daniel W. Franks, Michael A. Cant,
  The evolution of prolonged life after reproduction
  Trends in Ecology and Evolution 30(7):407-416, 2015
  doi: 10.1016/j.tree.2015.04.011

• Tim Hoverd, Susan Stepney.
  Environment Orientation: a structured simulation approach for agent-based complex systems
  Natural Computing 14(1):83-97, 2015
  doi: 10.1007/s11047-014-9449-2

• Viv Kendon, Angelika Sebald, Susan Stepney.
  Heterotic Computing: past, present, future.
  Philosophical Transactions of the Royal Society A, 373:20140225, 2015
  doi: 10.1098/rsta.2014.0225

• Carlo Ottaviani, Gaetana Spedalieri, Samuel L. Braunstein, Stefano Pirandola.
  Continuous-variable quantum cryptography with an untrusted relay: Detailed security analysis of the symmetric configuration
  Physical Review A, 91, 022320, 2015.
  doi: 10.1103/PhysRevA.91.022320

• Matthew Patrick, Rob Alexander, Manuel Oriol, John A. Clark.
  Subdomain-based test data generation
  Journal of Systems and Software, 103:328-342, 2015.
  doi: 10.1016/j.jss.2014.11.033

• Stefano Pirandola, Jens Eisert, Christian Weedbrook, A. Furusawa, Samuel L. Braunstein.
  Advances in quantum teleportation
  Nature Photonics, 9:641-652, 2015.
  doi: 10.1038/nphoton.2015.154

• Stefano Pirandola, Carlo Ottaviani, Gaetana Spedalieri, Christian Weedbrook, Samuel L. Braunstein, Seth Lloyd, Tobias Gehring, Christian S. Jacobsen, Ulrik L. Andersen.
  High-rate measurement-device-independent quantum cryptography
  Nature Photonics, 9:397-402, 2015.
  doi: 10.1038/nphoton.2015.83

• Fiona Polack.
  Filling gaps in simulation of complex systems: the background and motivation for CoSMoS
  Natural Computing 14(1):49-62, 2015
  doi: 10.1007/s11047-014-9462-5

• Fiona Polack, Alastair Droop.
  Principled simulation of cell proliferation dynamics using the CoSMoS approach
  Natural Computing 14(1):63-82, 2015
  doi: 10.1007/s11047-014-9468-z

• Simon Poulding, Rob Alexander, John A. Clark, Mark J. Hadley.
  The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing
  Journal of Systems and Software, 103:296-310, 2015.
  doi: 10.1016/j.jss.2014.11.042

• Benjamin Russell, Susan Stepney.
  Zermelo Navigation in the Quantum Brachistochrone
  Journal of Physics A, 48:115303, 2015

refereed workshop and conference papers

• Paul S. Andrews, Susan Stepney.
  The CoSMoS Domain Experiment Model.
  CoSMoS workshop, York, UK, July 2015 pp.1–8. Luniver Press 2015

• Paul S. Andrews, Susan Stepney.
  A Metamodel for the Evolution of Evolution
  ECAL 2015, York, UK, July 2015, pp.621–628. MIT Press, 2015
  doi: 10.7551/978-0-262-33027-5-ch108

• Richard B. Greaves, Sabine Dietman, Austin Smith, Susan Stepney, Julianne D. Halley.
  Genome-wide embryonic stem cell regulatory network self-organisation: a big data CoSMoS computational modelling approach
  CoSMoS workshop, York, UK, July 2015, pp.31–66. Luniver Press 2015

• Simon Hickinbotham, Susan Stepney.
  Conservation of matter increases evolutionary activity
  ECAL 2015, York, UK, July 2015, pp.98–105. MIT Press, 2015
  doi: 10.7551/978-0-262-33027-5-ch024

• Simon Hickinbotham, Susan Stepney.
  Environmental bias forces parasitism in Tierra
  ECAL 2015, York, UK, July 2015, pp.294–301. MIT Press, 2015
  doi: 10.7551/978-0-262-33027-5-ch055

• Chris Timperley, Susan Stepney.
  Wallace: An efficient generic evolutionary framework
  ECAL 2015, York, UK, July 2015, pp.365–372. MIT Press, 2015
  doi: 10.7551/978-0-262-33027-5-ch066

books / proceedings

• Susan Stepney, Paul S. Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2014), New York, USA, July 2014.
  Luniver Press, 2014.

journal papers

• Zoe Cook, Daniel W. Franks, Elva J. H. Robinson.
  Efficiency and robustness of ant transportation networks
  Behavioural Ecology and Sociobiology, 68(3):509-517, 2014.
  doi: 10.1007/s00265-013-1665-8

• Rasha Salah El-Din, Paul Cairns, John A. Clark.
  Mobile Users' Strategies for Managing Phishing Attacks
  Journal of Management and Strategy, 5(2), 2014.
  doi: 10.5430/jms.v5n2p70

• Samuel Ellis, Daniel W. Franks, Elva J. H. Robinson.
  Resource redistribution in polydomous ant nest networks: local or global?
  Behavioural Ecology, 25(5):1183-1191, 2014.
  doi: 10.1093/beheco/aru108

• C. Horsman, Susan Stepney, Rob Wagner, Viv Kendon.
  When does a physical system compute?
  Proceedings of the Royal Society A, 470(2169) 20140182 2014.
  doi: 10.1098/rspa.2014.0182

• Michael A. Lones, Luis A. Fuente, Alexander P. Turner, Leo S. D. Caves, Susan Stepney, Stephen L. Smith, Andy M. Tyrrell.
  Artificial Biochemical Networks: evolving dynamical systems to control dynamical systems.
  IEEE Transactions on Evolutionary Computation, 18(2):145-166, 2014
  doi: 10.1109/TEVC.2013.2243732

• Songfeng Lu, Samuel L. Braunstein.
  Quantum decision tree classifier.
  Quantum Information Processing, 13:757-770 2014.
  doi: 10.1007/s11128-013-0687-5

• Richard F. Paige, Dimitrios S. Kolovos, Fiona A.C. Polack.
  A tutorial on metamodelling for grammar researchers.
  Science of Computer Programming, 96(4):396-416 2014.
  doi: 10.1016/j.scico.2014.05.007

• Manuel Gil Pérez, Juan E. Tapiador, John A. Clark, Gregorio Martínez Pérez, Antonio F. Skarmeta Gómez.
  Trustworthy placements: Improving quality and resilience in collaborative attack detection.
  Computer Networks, 58(15):70-86 2014.
  doi: 10.1016/j.comnet.2013.08.026

• Stefano Pirandola, Gaetana Spedalieri, Samuel L. Braunstein, Nicolas J. Cerf, Seth Lloyd.
  Optimality of Gaussian discord.
  Physics Review Letters, 113:140405, 2014.
  doi: 10.1103/PhysRevLett.113.140405

• Benjamin Russell, Susan Stepney.
  Applications of Finsler Geometry to Speed Limits to Quantum Information Processing.
  International Journal of Foundations of Computer Science, 25(4):489-505 2014.
  doi: 10.1109/10.1142/S0129054114400073

• Benjamin Russell, Susan Stepney.
  Zermelo Navigation and a Speed Limit to Quantum Information Processing
  Physical Review A, 90, 012303, 2014.
  doi: 10.1103/PhysRevA.90.012303

• Gaetana Spedalieri, Samuel L. Braunstein.
  Asymmetric quantum hypothesis testing with Gaussian states
  Physical Review A, 90, 052307, 2014.
  doi: 10.1103/PhysRevA.90.052307

• Michael P. Speed, Daniel W. Franks.
  Antagonistic evolution in an aposematic predator-prey signalling system
  Evolution, 68(10):2996-3007, 2014.
  doi: 10.1111/evo.12498

• Susan Stepney.
  Local and global models of physics and computation.
  International Journal of General Systems, 4(7):673-681, 2014.
  doi: 10.1080/03081079.2014.920995

refereed workshop and conference papers

• Ali Afshar Dodson, Susan Stepney, Emma Uprichard, Leo Caves.
  Using the CoSMoS approach to study Schelling’s Bounded Neighbourhood Model.
  CoSMoS Workshop, New York, USA, July 2014, pp.1–12. Luniver Press, 2014

• Paul S. Andrews, Susan Stepney.
  Using CoSMoS to Reverse Engineer a Domain Model for Aevol.
  CoSMoS Workshop, New York, USA, July 2014, pp.61–79. Luniver Press, 2014

• James Hilder, Rebecca Naylor, Artjoms Rizihs, Daniel W. Franks, Jon Timmis.
  The Pi Swarm: A Low-Cost Platform for Swarm Robotics Research and Education.
  15th Annual Conference of Advances in Autonomous Robotics Systems. LNCS 8717:151-162, Springer 2014
  doi: 10.1007/978-3-319-10401-0_14

• Zhan Huang, Rob Alexander, John Clark.
  Mutation Testing for Jason Agents.
  EMAS 2014. LNCS 8758:309-327, Springer 2014
  doi: 10.1007/978-3-319-14484-9_16

• Adam Nellis, Susan Stepney.
  Computational novelty: Phenomena, mechanisms, worlds.
  ALife XIV, New York, USA, July 2014, pp.506–513. MIT Press, 2014
  doi: 10.7551/978-0-262-32621-6-ch081

• Geoffrey Neumann, Mark Harman, Jerry Swan, John A. Clark.
  The Executable Experimental Template Pattern for the Systematic Comparison of Metaheuristics.
  GECCO 2014, Vancouver, Canada, July 2014, pp.1427-1430. AC|M, 2014
  doi: 10.1145/2598394.2609850

• Matthew Patrick, Rob Alexander, Manuel Oriol, John A. Clark.
  Probability-Based Semantic Interpretation of Mutants.
  ICSTW 2014, Cleveland, OH, USA, March 2014, pp.186-195. IEEE, 2014
  doi: 10.1109/ICSTW.2014.18

• Chris Timperley, Susan Stepney.
  Reflective Grammatical Evolution.
  ALife XIV, New York, USA, July 2014, pp.71–78. MIT Press, 2014
  doi: 10.7551/978-0-262-32621-6-ch013

books / proceedings

• Susan Stepney, Paul S. Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2013), Milan, Italy, July 2013.
  Luniver Press, 2013

book chapters

• Susan Stepney.
  Unconventional Computing.
  In Werner Dubitzky, Olaf Wolkenhauer, Kwang-Hyun Cho, Hiroki Yokota, (eds.) Encyclopedia of Systems Biology, Springer 2013

journal papers

• Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn.
  An orchestrated survey of methodologies for automated software test case generation.
  Journal of Systems and Software 86(8):1978-2001, 2013
  doi: 10.1016/j.jss.2013.02.061

• Samuel L. Braunstein, Stefano Pirandola, Karol Zyczkowski.
  Better late than never: Information retrieval from black holes.
  Physical Review Letters 110:101301-1/5, 2013
  doi: 10.1103/PhysRevLett.110.101301

• Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul Mitchell, Fiona Polack, David Chesmore.
  Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling.
  International Journal of Distributed Sensor Networks 2013:172012, 2013
  doi: 10.1155/2013/172012

• Howard Chivers, John A. Clark, Philip Nobles, Siraj A. Shaikh, Hao Chen.
  Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise.
  Information Systems Frontiers 15(1):117-34, 2013
  doi: 10.1007/s10796-010-9268-7

• John A. Clark, Haitao Dan, Robert M. Hierons.
  Semantic mutation testing.
  Science of Computer Programming 78(4):345-363, 2013
  doi: 10.1016/j.scico.2011.03.011

• Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack.
  Emergence of Frontiers in Networked Schelling Segregationist Models.
  Complex Systems 22(1), 2013

• Zoe Cook, Daniel W. Franks, Elva J. H. Robinson.
  Exploration versus exploitation in polydomous ant colonies.
  Journal of Theoretical Biology 323:249-56, 2013
  doi: 10.1016/j.jtbi.2013.01.022

• 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
  doi: 10.1016/j.biosystems.2013.03.006

• Richard Greaves, Mark Read, Jon Timmis, Paul Andrews, J. Butler, B. Gercknes, Vipin Kumar.
  In Silico investigation of novel biological pathways: the role of CD200 in regulation of T Cell priming in experimental autoimmune encephalomyelitis.
  BioSystems 112(2):107-121, 2013
  doi: 10.1016/j.biosystems.2013.03.007

• Michael A. Lones, Alexander P. Turner, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell.
  Biochemical Connectionism
  Natural Computing, 12(4):453-472, 2013
  doi: 10.1007/s11047-013-9400-y

• Nick D. L. Owens, Andy Greensted, Jon Timmis, Andy Tyrrell.
  The Receptor Density Algorithm.
  Journal of Theoretical Computer Science 481:51-73, 2013
  doi: 10.1016/j.tcs.2012.10.057

• Manas K. Patra, Samuel L. Braunstein.
  An algebraic framework for information theory: Classical information.
  IMA Journal of Mathematical Control and Information 30(2):205-238, 2013
  doi: 10.1093/imamci/dns016

• Jie Sun, Song-Feng Lu, Samuel L. Braunstein.
  On models of nonlinear evolution paths in adiabatic quantum algorithms.
  Communications in Theoretical Physics 59(1):22-26, 2013
  doi: 10.1088/0253-6102/59/1/05

• Juan E. Tapiador, John A. Clark.
  The placement-configuration problem for intrusion detection nodes in wireless sensor networks.
  Computers and Electrical Engineering 39(7):2306-2317, 2013
  doi: 10.1016/j.compeleceng.2013.02.012

• Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell.
  The Incorporation of Epigenetics in Artifical Gene Regulatory Networks.
  BioSystems 112(2):56-62, 2013
  doi: 10.1016/j.biosystems.2013.03.013

• Richard A. Williams, Richard Greaves, Mark Read, Jon Timmis, Paul S. Andrews, Vipin Kumar.
  In Silico investigation into dendrtic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitis.
  BMC Bioinformatics 14(Suppl 6):S9, 2013
  doi: 10.1186/1471-2105-14-S6-S9

refereed workshop and conference papers

• Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell.
  Adaptive Robotic Gait Control using coupled Artificial Signalling Networks, Hopf Oscillators and Inverse Kinematics.
  CEC 2013, Cancun, Mexico, June 2013. IEEE, 2013
  doi: 10.1109/CEC.2013.6557732

• James McLaughlin, John A. Clark.
  Filtered Nonlinear Cryptanalysis of Reduced-Round Serpent, and the Wrong-Key Randomization Hypothesis.
  IMACC 2013, Oxford, UK, December 2013. LNCS 8308:120-140, Springer, 2013
  doi: 10.1007/978-3-642-45239-0_8

• Matthew Patrick, Rob Alexander, Manuel Oriol, John A. Clark.
  Efficient Subdomains for Random Testing.
  SSBSE 2013, St. Petersburg, Russia, August 2013. LNCS 8084:251-256, Springer, 2013
  doi: 10.1007/978-3-642-39742-4_20

• Matthew Patrick, Rob Alexander, Manuel Oriol, John A. Clark.
  Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy.
  APSEC 203, Bangkok, December 2013. IEEE, 2013
  doi: 10.1109/APSEC.2013.23

• Benjamin Russell, Susan Stepney.
  Geometric Methods for Analysing Quantum Speed Limits: time-dependent controlled quantum systems with constrained control functions.
  12th International Conference on Unconventional Computation & Natural Computation (UCNC 2013), Milan, Italy, July 2013. LNCS 7956:198-208, Springer, 2013
  doi: 10.1007/978-3-642-39074-6_19

• Benjamin Russell, Susan Stepney.
  Numerical Analysis of Quantum Speed Limits: controlled quantum spin chain systems with constrained control functions.
  12th International Conference on Unconventional Computation & Natural Computation (UCNC 2013), Milan, Italy, July 2013. LNCS 7956:209-219, Springer, 2013
  doi: 10.1007/978-3-642-39074-6_20

• Susan Stepney.
  CoSMoS simulation experiment reproducibility and the ODD protocol.
  CoSMoS workshop, Milan, Italy, July 2013, pp.93-107. Luniver Press 2013

• Paul Taylor, Fiona Polack, Jon Timmis.
  Accelerating Immunos 99.
  ECAL 2013, Taormina, Italy, September 2013, pp.893-898, MIT Press, 2013
  doi: 10.7551/978-0-262-31709-2-ch133

• Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell.
  The Artificial Epigenetic Network.
  SSCI, Malaysia, April 2013, pp.66-72, IEEE, 2013
  doi: 10.1109/ICES.2013.6613284

• James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack.
  Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.
  MoDELS@Run.time 2013: Miami, FL, USA, September 2013, pp.76-88, 2013

• James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack.
  What do metamodels really look like?
  EESSMod 2013, Miami, USA, October 2013, 2013

books / proceedings

• Susan Stepney, Paul Andrews, Mark Read, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2012), Orleans, France, August 2012.
  Luniver Press, 2012

book chapters

• Susan Stepney.
  Nonclassical Computation: a dynamical systems perspective.
  in Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok, eds, Handbook of Natural Computing, volume 4, chapter 59, pp.1979-2025, Springer, 2012
  doi: 10.1007/978-3-540-92910-9_59

journal papers

• Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark C. Coles.
  Pairing experimentation and computational modeling to understand the role of tissue inducer cells in the development of lymphoid organs.
  Frontiers in Immunology 3:172, 2012
  doi: 10.3389/fimmu.2012.00172

• Martyn Amos, Susan Stepney, Rene Doursat, Francisco J. Vico, Steen Rasmussen.
  TRUCE: A Coordination Action for Unconventional Computation.
  Int. J. Unconventional Computing 8(4):333-337, 2012

• C. D. Beatty, D. W. Franks.
  Discriminative Predation: Simultaneous and Sequential Encounter Experiments.
  Current Zoology 58(4):649-657, 2012

• Matthias Bechmann, Angelika Sebald, Susan Stepney.
  Boolean logic gate design principles for unconventional computers: an NMR case study.
  Int. J. Unconventional Computing 8(2):139-159, 2012

• N. W. F. Bode, D. W. Franks, A. J. Wood.
  Leading from the front? Social networks in navigating groups.
  Behavioural Ecology and Sociobiology 66:835-843, 2012
  doi: 10.1007/s00265-012-1331-6

• N. W. F. Bode, D. W. Franks, A. J. Wood, D. Croft, E. Codling.
  Distinguishing social from non-social navigation in moving animal groups.
  American Naturalist 179(5):621-632, 2012
  doi: 10.1086/665005

• N. W. F. Bode, D. W. Franks, A. J. Wood.
  Social networks improve leaderless group navigation by facilitating long-distance communication.
  Current Zoology 58(2):329-341, 2012

• James Bown, Paul S. Andrews, Yusuf Deeni, Alexey Goltsov, Michael Idowu, Fiona A. C. Polack, Adam T. Sampson, Mark Shovman, Susan Stepney.
  Engineering simulations for cancer systems biology.
  Current Drug Targets 13(12):1560-1574, 2012

• Samuel L. Braunstein, Stefano Pirandola.
  Side-channel-free quantum key distribution.
  Physical Review Letters 108:130502-1/4, 2012
  doi: 10.1103/PhysRevLett.108.130502

• Emma A. Foster, Daniel W. Franks, Sonia Mazzi, Safi K. Darden, Ken C. Balcomb, John K. B. Ford, Darren P. Croft.
  Adaptive Prolonged Postreproductive Life Span in Killer Whales.
  Science 337(6100):1313, 2012
  doi: 10.1126/science.1224198

• Emma A. Foster, Daniel W. Franks, L. J. Morrell, Ken C. Balcomb, K. M. Parsons, A. Van Ginneken, Darren P. Croft.
  Social network correlates of food availability in an endangered population of Killer Whales Orcinus orca.
  Animal Behaviour 83(3):731-736, 2012
  doi: 10.1016/j.anbehav.2011.12.021

• Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi.
  Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol.
  International Journal of Foundations of Computer Science 23(2):543-553, 2012
  doi: 10.1142/S0129054112400278

• James Hilder, Nick D. L. Owens, Mark J. Neal, Peter J. Hickey, Sturat N. Cairns, David P. A. Kilgour, Jon Timmis, Andy M. Tyrrell.
  Chemical Detection using the Receptor Density Algorithm.
  IEEE Transactions Systems, Man, and Cybernetics Part C 42(6):1730-1741, 2012
  doi: 10.1109/TSMCC.2012.2218236

• A. Patel, N. Harker, L. Moreira-Santos, M. Ferreira, Kieran Alden, Jon Timmis, K. Foster, A. Garefalaki, P. Pachnis, Paul Andrews, H. Enomoto, J. Milbrandt, V. Pachnis, Mark C. Coles, D. Kioussis, H. Veiga-Fernandes.
  Differential RET Signaling Pathways Drive Development of the Enteric Lymphoid and Nervous Systems.
  Science Signalling 5(235):ra55, 2012
  doi: 10.1126/scisignal.2002734

• Mark Read, Paul S. Andrews, Jon Timmis, Vipin Kumar.
  Techniques for Grounding Agent-Based Simulations in the Real Domain: a case study in Experimental Autoimmune Encephalomyelisis.
  Journal of Mathematical and Computer Modelling of Dynamical Systems 18(1):67-86, 2012
  doi: 10.1080/13873954.2011.601419

• Gae Spedalieri, C. Lupo, S. Mancini, Samuel L. Braunstein, Stefano Pirandola.
  Quantum reading under a local energy constraint.
  Physical Review A 86:012315-1/12, 2012
  doi: 10.1103/PhysRevA.86.012315

• Susan Stepney.
  Programming Unconventional Computers: dynamics, development, self-reference.
  Entropy, 14(10):1939-1952, 2012
  doi: 10.3390/e14101939

• Christian Weedbrook, Stefano Pirandola, Raúl García-Patrón, Nicolas J. Cerf, Timothy C. Ralph, Jeffrey H. Shapiro, Seth Lloyd.
  Gaussian quantum information.
  Reviews of Modern Physics, 84:621, 2012
  doi: 10.1103/RevModPhys.84.621

refereed workshop and conference papers

• Paul S. Andrews, Susan Stepney, Jon Timmis.
  Simulation as a Scientific Instrument.
  CoSMoS workshop, Orleans, France, September 2012, pp1-10. Luniver Press 2012

• Nurulhuda Firdaus Mohd Azmi, Fiona Polack, Jon Timmis.
  Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation.
  BIONETICS 2011, York, UK, December 2011. LNICST 103:242-247, Springer 2012
  doi: 10.1007/978-3-642-32711-7_24

• John A. Clark, Juan E. Tapiador, John McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget.
  Modelling Uncertain and Time-Dependent Security Labels in MLS Systems.
  ICETE 2012, Athens, Greece, July 2010. CCIS 222:158-171, Springer 2012
  doi: 10.1007/978-3-642-25206-8_10

• Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Susan Stepney, Leo S. Caves, Andy M. Tyrrell.
  Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System.
  9th International Conference on Information Processing in Cells and Tissues (IPCAT 2012) Cambridge, UK, April 2012. LNCS 7223:38-49, Springer 2012
  doi: 10.1007/978-3-642-28792-3_7

• Richard Greaves, Mark Read, Jon Timmis, Paul Andrews, Vipin Kumar.
  Extending an estabished simulation: exploration of the possible effects using a case study in Experimental Autoimmune Encephalomyelitis.
  IPCAT 2012, Cambridge, UK, April 2012. LNCS 7223:150-161, Springer 2012
  doi: 10.1007/978-3-642-28792-3_20

• Mark Harman, Edmund Burke, John A. Clark, Xin Yao.
  Dynamic adaptive search based software engineering.
  ESEM 2012, Lund, Sweden, September 2012, pp.1-8, ACM 2012
  doi: 10.1145/2372251.2372253
  [keynote]

• Mark Harman, William B. Langdon, Yue Jia, David R. White, Andrea Arcuri, John A. Clark.
  The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs.
  ASE 2012, Essen, Germany, September 2012, pp.1-14, IEEE/ACM 2012
  doi: 10.1145/2351676.2351678
  [keynote]

• TiongHoo Lim, HuiKeng Lau, Jon Timmis, Iain Bate.
  Immune-Inspired Self Healing in Wireless Sensor Networks.
  ICARIS 2012, Taormina, Italy, August 2012. LNCS 7597:42-56, Springer 2012
  doi: 10.1007/978-3-642-33757-4_4

• Alan G. Millard, David R. White, John A. Clark.
  Searching for Pareto-optimal Randomised Algorithms.
  SSBSE 2012, Riva del Garda, Italy, September 2012, LNCS 7515:183-197, Springer 2012
  doi: 10.1007/978-3-642-33119-0_14
  [best paper prize]

• Lachlan Murray, Jon Timmis, Andy Tyrrell.
  Self-reconfigurable Modular e-pucks.
  ANTS 2012, Brussels, Belgium, September 2012. LNCS 7461:133-144, Springer 2012
  doi: 10.1007/978-3-642-32650-9_12

• Matthew Patrick, Manuel Oriol, John A. Clark.
  MESSI: Mutant Evaluation by Static Semantic Interpretation.
  Fifth International Conference on Software Testing, Verification and Validation, Montreal, Canada, April 2012. 711-719, IEEE 2012
  doi: 10.1109/ICST.2012.161

• Omer Qadir, Jon Timmis, Gianluca Tempesti, Andy Tyrrell.
  Pro?ling the Fault Tolerance for the Adaptive Protein Processing Associative Memory.
  2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012), Erlangen, Germany, June 2012, pp.246-253. IEEE 2012
  doi: 10.1109/AHS.2012.6268658

• Benjamin Russell and Susan Stepney.
  Applications of Optimal Control Theory to Constrained Analogues of the Margolus-Levitin Theorem (abstract).
  Physics and Computation 2012, Swansea, UK, August 2012.

• Susan Stepney.
  A Pattern Language for Scientific Simulations.
  CoSMoS workshop, Orleans, France, September 2012, pp77-103. Luniver Press 2012

• Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki, Viv Kendon, Thomas J. Naughton, Mario J. Perez-Jimenez, Francisco J. Romero-Campero, Angelika Sebald.
  Heterotic computing examples with optics, bacteria, and chemicals.
  11th International Conference Unconventional Computation & Natural Computation 2012 (UCNC 2012), Orleans, France, September 2012. LNCS 7445:198-209, Springer, 2012
  doi: 10.1007/978-3-642-32894-7_19

• Susan Stepney, Ada Diaconescu, Rene 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. (abstract)
  11th International Conference Unconventional Computation & Natural Computation 2012 (UCNC 2012), Orleans, France, September 2012. LNCS 7445:237-238, Springer, 2012
  doi: 10.1007/978-3-642-32894-7_25

• Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald.
  A Framework for Heterotic Computing.
  8th workshop on Quantum Physics and Logic (QPL 2011) Nijmegen, Netherlands, October 2011 EPTCS 95:263-273, 2012
  doi: 10.4204/EPTCS.95.18

• Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. Caves, Andy M. Tyrrell.
  Using Artificial Epigenetic Regulatory Networks To Control Complex Tasks Within Chaotic Systems.
  9th International Conference on Information Processing in Cells and Tissues (IPCAT 2012) Cambridge, UK, April 2012. LNCS 7223:1-11, Springer 2012
  doi: 10.1007/978-3-642-28792-3_1

• James Williams, Frank Burton, Richard Paige, Fiona Polack.
  Sensitivity Analysis in Model-Driven Engineering.
  MODELS 2012, Innsbruck, Austria, September 2012. LNCS 7590:743-758, Springer 2012
  doi: 10.1007/978-3-642-33666-9_47

technical reports

• Simon Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young
  Specification of the stringmol chemical programming language version 0.2,
  Technical report YCS-2010-458, University of York, 2012

other

• Susan Stepney.
  Unconventional Computer Programming.
  Symposium on Natural/Unconventional Computing and Its Philosophical Significance, Birmingham, UK, July 2012, pp.12-15, 2012
  [keynote]

books / proceedings

• Susan Stepney, Peter Welch, Paul Andrews, Carl Ritson, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2011), Paris, France, August 2011.
  Luniver Press, 2011

book chapters

• Mark Read, Paul Andrews, Jon Timmis.
  An Introduction to Artificial Immune Systems.
  in Grzegorz Rozenberg, Thomas Bäck, Joost Kok, eds, Handbook of Natural Computing, Springer, 2011

• Sevil Sen, John A.Clark, Juan E. Tapiador.
  An Introduction to Artificial Immune Systems.
  In A. K. Pathan, ed. Security of Self-Organizing Networks: MANET, WSN, WMN, VANET, chapter 6. CRC Press 2011

• Susan Stepney.
  Nonclassical Computation: a dynamical systems perspective.
  in Grzegorz Rozenberg, Thomas Bäck, Joost Kok, eds, Handbook of Natural Computing, volume II, chapter 52, Springer, 2011

journal papers

• Nikolai W.F. Bode, Daniel W. Franks, A. Jamie Wood.
  Limited interactions in flocks: relating model simulations to empirical data.
  Journal of the Royal Society Interface 8(55):301-304, 2011
  doi: 10.1098/rsif.2010.0397

• Nikolai W.F. Bode, A. Jamie Wood, Daniel W. Franks.
  The impact of social networks on animal collective motion.
  Animal Behaviour 82(1):29-38, 2011
  doi: 10.1016/j.anbehav.2011.04.011

• Nikolai W.F. Bode, A. Jamie Wood, Daniel W. Franks.
  Social networks and models for collective motion in animals.
  Behavioural Ecology and Sociobiology 65(2):117-130, 2011
  doi: 10.1007/s00265-010-1111-0

• Samuel L. Braunstein, Manas K. Patra.
  Black Hole Evaporation Rates without Spacetime.
  Physical Review Letters 107:071302, 2011
  doi: 10.1103/PhysRevLett.107.071302

• Darren P. Croft, Joah R. Madden, Daniel W. Franks, Richard James.
  Hypothesis testing in animal social networks.
  Trends in Ecology and Evolution 26:502-507, 2011
  doi: 10.1016/j.tree.2011.05.012

• Byung-Soo Choi, Samuel L. Braunstein.
  Quantum algorithm for the asymmetric weight decision problem and its generalization to multiple weights.
  Quantum Information Processing. 10:177-188 2011
  doi: 10.1007/s11128-010-0187-9

• Alastair Droop, Simon J. Hickinbotham
  Properties of Biological Mutation Networks and their Implications for Artificial Life.
  Artificial Life 17(4):353-364, 2011
  doi: 10.1162/artl_a_00043

• Verena Fischer, Simon J. Hickinbotham
  Evolving a Metabolic Subsumption Architecture for Cooperative Control of the E-Puck.
  Journal of Mimetic Computing 3(4):231-244, 2011
  doi: 10.1007/s12293-011-0064-9

• Daniel W. Franks, Geoff S. Oxford.
  The interrelationship between crypsis and colour polymorphism.
  Ecology Letters 14(3):295-300, 2011
  doi: 10.1111/j.1461-0248.2010.01583.x

• HuiKeng Lau, Iain Baite, Paul Cairns, Jon Timmis.
  Adaptive data-driven error detection in swarm robotics with statistical classifiers.
  Journal of Robotics and Autonmous Systems 59(12):1021-1035
  doi: 10.1016/j.robot.2011.08.008

• Seth Lloyd, Lorenzo Maccone, Raul Garcia-Patron, Vittorio Giovannetti, Yutaka Shikano, Stefano Pirandola, Lee A. Rozema, Ardavan Darabi, Yasaman Soudagar, Lynden K. Shalm, Aephraim M. Steinberg.
  Closed timelike curves via post-selection: theory and experimental demonstration.
  Physical Review Letters 106:040403, 2011
  doi: 10.1103/PhysRevLett.106.040403

• Manas K. Patra, Samuel L Braunstein.
  Quantum Fourier transform, Heisenberg groups and quasi-probability distributions.
  New Journal of Physics 13:063013, 2011
  doi: 10.1088/1367-2630/13/6/063013

• Stefano Pirandola.
  Quantum Reading of a Classical Digital Memory.
  Physical Review Letters 106:090504, 2011
  doi: 10.1103/PhysRevLett.106.090504

• Stefano Pirandola, Cosmo Lupo, Vittorio Giovannetti, Stefano Mancini, Samuel L. Braunstein.
  Quantum reading capacity.
  New Journal of Physics 13:113012, 2011
  doi: 10.1088/1367-2630/13/11/113012
  [also included in NJP's "Highlights of 2011" collection]

• Omer Qadir, Jerry Lui, Jon Timmis, Gianluca Tempesti, Andy Tyrrell.
  From Bidirectional Associative Memory to a noise-tolerant, robust Self-Organising Associative Memory.
  Artificial Intelligence 175(2):673-693
  doi: 10.1016/j.artint.2010.10.008

• Colin R. Tosh, Graeme D. Ruxton, Jens Krause, Daniel W. Franks.
  Experiments with humans indicate that decision accuracy drives the evolution of niche width.
  Proceedings of the Royal Society of London B: Biological Sciences 2011 (on line)
  doi: 10.1098/rspb.2011.0478

• David Robert White, Andrea Arcuri, John A. Clark.
  Evolutionary Improvement of Programs.
  IEEE Transactions on Evolutionary Computation 15(4):515-538, 2011
  doi: 10.1109/TEVC.2010.2083669

refereed workshop and conference papers

• Kieran Alden, Paul Andrews, Jon Timmis, H. Veiga-Fernandes, Mark Coles.
  Towards Argument-Driven Validation of an in-silico Model of Immune Tissue Organogenesis (extended abstract).
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:66-70, Springer
  doi: 10.1007/978-3-642-22371-6_7

• Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona A. C. Polack, Adam T. Sampson, Jon Timmis.
  CoSMoS process, models, and metamodels.
  CoSMoS workshop, Paris, France, August 2011, pp.1-13. Luniver Press, 2011

• Mark Blyth, Helen Petrie, John A. Clark.
  F for fake: four studies on how we fall for phish.
  CHI 2011, Vancouver, Canada, May 2011, pp.3469-78. ACM, 2011
  doi: 10.1145/1978942.1979459

• Samuel L. Braunstein, David W. Kribs, Manas K. Patra.
  Zero-error subspaces of quantum channels.
  ISIT 2011, St Petersburg, Russia, August 2011, pp.104-108. IEEE, 2011
  doi: 10.1109/ISIT.2011.6033690

• Edward Clark, Simon Hickinbotham, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young.
  Degeneracy enriches Artificial Chemistry binding systems.
  ECAL 2011, Paris, France, August 2011, pp.133-140. MIT Press, 2011

• Richard D. Coates, Simon J. Hickinbotham
  Estimating Swarm Parameters by Evolutionary Learning.
  GECCO 2011, Dublin, Ireland, July 2011, pp.1-2. ACM, 2011
  doi: 10.1145/2001858.2001860

• Richard Coates, Simon Hickinbotham
  Recovering Hidden Swarm Parameters Using a Simulated "Robofish".
  ECAL 2011, Paris, France, August 2011, pp.153-160. MIT Press, 2011

• Alastair Droop, Philip Garnett, Fiona A. C. Polack, Susan Stepney.
  Multiple model simulation: modelling cell division and differentiation in the prostate.
  CoSMoS workshop, Paris, France, August 2011, pp.79-111. Luniver Press 2011

• Alastair Droop, Simon Hickinbotham
  Application of Small-World Mutation Topologies to an Artificial Life System (abstract).
  ECAL 2011, Paris, France, August 2011, pp.208-209. MIT Press, 2011

• Martin Drozda, Iain Bate, Jon Timmis.
  Bio-inspired Error Detection for Complex Systems.
  PRDC 2011, Pasadena, USA, December 2011, pp.154-163, IEEE 2011
  doi: 10.1109/PRDC.2011.27

• Tara Gilliam, Richard C. Wilson, John A. Clark
  Segmentation and Normalisation in Grapheme Codebooks.
  ICDAR 2011, Beijing, China, September 2011, pp.613-617. IEEE 2011
  doi: 10.1109/ICDAR.2011.129

• Simon Hickinbotham, Susan Stepney, Adam Nellis, Tim Clarke, Ed Clark, Mungo Pay, Peter Young.
  Embodied genomes and metaprogramming.
  ECAL 2011, Paris, France, August 2011, pp.334-341. MIT Press, 2011

• James Hilder, Nick Owens, Peter Hickey, Stuart Cairns, David Kilgour, Jon Timmis, Andy Tyrrell
  Parameter Optimisation of the Receptor Density Algorithm.
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:226-239, Springer
  doi: 10.1007/978-3-642-22371-6_21

• Tim Hoverd, Susan Stepney.
  Energy as a driver of diversity in open-ended evolution.
  ECAL 2011, Paris, France, August 2011, pp.356-363. MIT Press, 2011

• Amelia Ritahani Ismail, Jon Timmis
  Modelling Containment Mechanisms in the Immune System for Applications in Engineering (extended abstract).
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:77-80, Springer
  doi: 10.1007/978-3-642-22371-6_9

• Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner
  Heterotic Computing.
  Unconventional Computation 2011, Turku, Finland, June 2011. LNCS 6714:113-124, Springer, 2011
  doi: 10.1007/978-3-642-21341-0_16

• HuiKeng Lau, Jon Timmis, Iain Bate
  Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots.
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:254-267, Springer
  doi: 10.1007/978-3-642-22371-6_23

• Yang Liu, Gianluca Tempesti, James A. Walker, Jon Timmis, Andrew M. Tyrrell, Paul Bremner
  A Self-scaling Instruction Generator Using Cartesian Genetic Programming .
  EuroGP 2011, Torino, Italy, April 2011. LNCS 6621:298-309, Springer, 2011
  doi: 10.1007/978-3-642-20407-4_26

• Yang Liu, Jon Timmis, Tim Clarke
  A Lymphocyte-Cytokine Network Inspired Algorithm for Data Analysis.
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:187-197, Springer
  doi: 10.1007/978-3-642-22371-6_18

• Michael A. Lones, Andy M. Tyrrell, Susan Stepney, Leo S. Caves
  Controlling legged robots with coupled Artificial Biochemical Networks.
  ECAL 2011, Paris, France, August 2011, pp.465-472. MIT Press, 2011

• Lachlan Murray, Wenguo Liu, Alan Winfield, Jon Timmis, Andy Tyrrell
  Analysing the Reliability of a Self-reconfigurable Modular Robotic System.
  Bionetics 2011, York, UK, December 2011

• Fintan Nagle, Simon Hickinbotham
  Embodied reaction logic in a simulated chemical computer.
  ECAL 2011, Paris, France, August 2011, pp.573-580. MIT Press, 2011

• Adam Nellis, Susan Stepney.
  Embodied copying for richer evolution.
  ECAL 2011, Paris, France, August 2011, pp.597-604. MIT Press, 2011

• Fiona A. C. Polack, Alastair Droop, Philip Garnett, Teodor Ghetiu, Susan Stepney.
  Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate.
  CoSMoS workshop, Paris, France, August 2011, pp.113-133. Luniver Press, 2011

• Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis.
  Process-Oriented Subsumption Architecture for Swarm-Robotic Systems.
  CPA 2011, Limerick, Ireland, June 2011, pp.303-316. IOS Press, 2011

• Simon Poulding, John A. Clark, Hélène Waeselynck
  A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.
  Search Based Software Testing 2011, at ICST 2011, Berlin, Germany, March 2011. IEEE, 2011
  [best paper]

• Omer Qadir, Jerry Lui, Gianluca Tempesti, Jon Timmis, Andy Tyrrell
  Hardware architecture for a Bidirectional Hetero-Associative Protein Processing Associative Memory.
  CEC 2011, New Orleans, USA, June 2011, pp.208-215. IEEE, 2011
  doi: 10.1109/CEC.2011.5949620

• Omer Qadir, Jon Timmis, Gianluca Tempesti, Andy Tyrrell.
  The Protein Processor Associative Memory on a Robotic Hand-Eye Corodination Task.
  Bionetics 2011, York, UK, December 2011

• Sam Ratcliff, David R. White, John A. Clark.
  Searching for Invariants using Genetic Programming and Mutation Testing.
  GECCO 2011, Dublin, Ireland, July 2011, pp.1907-14. ACM 2011
  doi: 10.1145/2001576.2001832
  [best paper]

• Asmiza Abdul Sani, Fiona A. C. Polack, Richard F. Paige.
  Model transformation specification for automated formal verification.
  MySEC 2011, Johor Bahru, Malaysia, December 2011, pp.76-81. IEEE 2011
  doi: 10.1109/MySEC.2011.6140647

• Thomas Schmickl, Ronald Thenius, Christoph Moslinger, Jon Timmis, Andy Tyrrell, Mark Read, James Hilder, Jose Halloy, Alexandro Campo, Cesare Stefani, Luigi Manfredi, Stefano Orofino, Serge Kernback, Tobias Dipper, Donny Sutantyo.
  CoCoRo: The self-aware underwater swarm.
  SASOW 2011, Ann Arbor, MI, USA, October 2011, pp.120-126. IEEE 2011
  doi: 10.1109/SASOW.2011.11

• Jan Staunton, John A. Clark.
  Finding Short Counterexamples in Promela Models Using Estimation of Distribution Algorithms.
  GECCO 2011, Dublin, Ireland, July 2011, pp.1923-30. ACM 2011
  doi: 10.1145/2001576.2001834

• Jan Staunton, John A. Clark.
  Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software.
  SSBSE 2011, Szeged, Hungary, September 2011, LNCS 6956:112-126. Springer, 2011
  doi: 10.1007/978-3-642-23716-4_12

• Susan Stepney, Tim Hoverd.
  Reflecting on Open-Ended Evolution.
  ECAL 2011, Paris, France, August 2011, pp.781-788. MIT Press, 2011

• James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack, Richard F. Paige.
  Requirements for a model comparison language.
  IWMCP 2011, Zurich, Switzerland, June 2011, pp.26-29. ACM, 2011
  doi: 10.1145/2000410.2000415

• James R. Williams, Simon Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack.
  Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels.
  SSBSE 2011, Szeged, Hungary, September 2011, LNCS 6956:112-126. Springer, 2011
  doi: 10.1007/978-3-642-23716-4_13

• Richard A. Williams, Mark Read, Jon Timmis, Paul S. Andrews, Mark Coles.
  In Silico Investigation into CD8Treg Mediated Recovery in Murine Experimental Autoimmune Encephalomyelitis (extended abstract).
  ICARIS 2011, Cambridge, UK, July 2011. LNCS 6825:51-54, Springer (in press)
  doi: 10.1007/978-3-642-22371-6_5
  [best Computational Immunology paper]

• Antonio G. Zamorano, Jon Timmis, Andy Tyrrell.
  A Flexible Decentralised Communication Architecture on a Field Programmable Gate Array for Swarm System Simulations.
  CEC 2011, New Orleans, USA, June 2011, pp.230-237. IEEE, 2011
  doi: 10.1109/CEC.2011.5949623

other

• Jon Timmis, Paul Andrews, Andrew Hone.
  Special Issue on Theoretical Aspects of Artificial Immune Systems.
  Theoretical Computer Science 412(6):500-1, 2011
  doi: 10.1016/j.tcs.2010.12.014

books / proceedings

• Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis, eds.
  Proceedings of the 9th International Conference on Unconventional Computation (UC 2010), Tokyo, Japan, June 2010.
  LNCS 6079. Springer, 2010.
  doi: 10.1007/978-3-642-13523-1

• Emma Hart, C. McEwan, Jon Timmis, Andy Hone, eds.
  Proceedings of the 9th International Conference on Artificial Immune Systems (ICARIS 2010), Edinburgh, UK, July 2010.
  LNCS 6209. Springer, 2010.
  doi: 10.1007/978-3-642-14547-6

• Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf, eds.
  Distributed, Parallel and Biologically Inspired Systems (DIPES 2010/BICC 2010), Brisbane, Australia, September 2010.
  IFIP Advances in Information and Communication Technology 329. Springer, 2010.
  doi: 10.1007/978-3-642-15234-4

• Susan Stepney, Peter Welch, Paul Andrews, Adam Sampson, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2010), Odense, Denmark, August 2010.
  Luniver Press, 2010

book chapters

• Paul S. Andrews, Jon Timmis.
  Tunable Detectors for Artificial Immune Systems: From Model to Algorithm.
  in D. Flower, M. Davies, S. Ranganathan, eds, Bioinformatics for Immunomics, Immunomics Reviews 3, Springer, 2010
  doi: 10.1007/978-1-4419-0540-6_9

• Dan W. Franks, Graeme D. Ruxton.
  Robustness of Neural Network Models.
  in Sangdun Choi, ed, Systems Biology for Signaling Networks, chapter 13, pp337-352, Springer, 2010

• Dan W. Franks, Graeme D. Ruxton.
  Methodological Issues with Modelling Ecological Learning with Artificial Neural Networks.
  in Colin R. Tosh, Graeme D. Ruxton, eds, Modelling Perception With Artificial Neural Networks, chapter 16, pp318-333, CUP, 2010

• Peter Hines, Samuel L. Braunstein.
  The structure of partial isometries.
  in Simon Gay, Ian Mackie, eds, Semantic Techniques in Quantum Computation, chapter 9, pp361-388, CUP, 2010

• Nick Owens, Susan Stepney.
  The Game of Life Rules on Penrose Tilings: still life and oscillators.
  in Andy Adamatsky, ed, Game of Life Cellular Automata, chapter 18, pp331-378, Springer, 2010
  doi: 10.1007/978-1-84996-217-9_18

• Jon Timmis.
  Artificial Immune Systems.
  In Claude Sammut, Geoffrey I. Webb, (eds.) Encyclopedia of Machine Learning (entry 348), Springer 2010

• Jon Timmis, Andy Tyrrell, M. Mokhtar, A. Ismail, Nick Owens, Ran Bi.
  An Artificial Immune System for Robot Organisms.
  in P. Levi, S. Kernback, eds, Symbiotic Multi-Robot Organisms: Reliability, Adaptability and Evolution, pp.282-305, Springer, 2010
  doi: 10.1007/978-3-642-11692-6_5

journal papers

• Nikolai W.F. Bode, Jolyon S. Faria, Daniel W. Franks, Jens Krause, A. Jamie Wood.
  How perceived threat increases synchronization in collectively moving animal groups.
  Proc. Roy. Soc. London B: Biological Sciences 277(1697):3065-3070, 2010
  doi: 10.1098/rspb.2010.0855

• Nikolai W.F. Bode, Daniel W. Franks, A. Jamie Wood.
  Making noise: emergent stochasticity in collective motion.
  Journal of Theoretical Biology 267(3):292-299, 2010
  doi: 10.1016/j.jtbi.2010.08.034

• Xun Dong, John A. Clark, Jeremy L. Jacob.
  Defending the weakest link: phishing websites detection by analysing user behaviours.
  Telecommunication Systems, 45(2-3):215-226, 2010
  doi: 10.1007/s11235-009-9247-9

• Dan W. Franks, Graeme D. Ruxton, Richard James.
  Sampling Animal Association Networks with the Gambit of the Group.
  Behavioral Ecology and Sociobiology, 64(3):493-503, 2010
  doi: 10.1007/s00265-009-0865-8

• Philip Garnett, Arno Steinacher, Susan Stepney, Richard Clayton, Ottoline Leyser.
  Computer Simulation: the imaginary friend of auxin transport biology.
  BioEssays, 32(9):828-835, 2010
  doi: 10.1002/bies.200900185

• A. MacFarlane, A. Secker, P. May, Jon Timmis.
  An Experimental Comparison of a Genetic Algorithm and a Hill-Climber for Term Selection.
  Journal of Documentation. 66(4):513-531, 2010
  doi: 10.1108/00220411011052939

• Nick Owens, Susan Stepney.
  Investigations of the Game of Life cellular automata rules on Penrose Tilings: lifetime, ash and oscillator statistics.
  Journal of Cellular Automata, 5(3):207-225, 2010
  [special issue, Automata 2008]

• Nick Owens, Jon Timmis, Andrew Greensted, Andy Tyrrell.
  Elucidation of T Cell Signalling Models.
  Journal of Theoretical Biology 262(3):452-470, 2010
  doi: 10.1016/j.jtbi.2009.10.017

• Simon Poulding, John A. Clark.
  Efficient Software Verification: Statistical Testing Using Automated Search.
  IEEE Transactions on Software Engineering 36(6):763-777, 2010
  doi: 10.1109/TSE.2010.24

• Edward J. Powley, Susan Stepney.
  Counting preimages of homogeneous configurations in 1-dimensional cellular automata.
  Journal of Cellular Automata, 5(4-5):353-381, 2010

• Marta Roselló-Merino, Matthias Bechmann, Angelika Sebald, Susan Stepney.
  Classical Computing in Nuclear Magnetic Resonance.
  Int. J. Unconventional Computing, 6(3-4):163-195, 2010

• Andrew Secker, Matthew N. Davies, Alex A. Freitas, Ed Clark, Jon Timmis, Darren R. Flower.
  Hierarchical Classification of G-Protein-Coupled-Receptors with Data-Driven Selection of Attributes and Classifiers.
  International Journal of Data Mining and Bioinformatics 4(2):191-210, 2010
  doi: 10.1504/IJDMB.2010.032150

• Jon Timmis, Paul Andrews, Emma Hart.
  On Artificial Immune Systems and Swarm Intelligence.
  Swarm Intelligence 4:247-273, 2010
  doi: 10.1007/s11721-010-0045-5

• Thomas A. Walker, Samuel L. Braunstein.
  Five-wave-packet linear optics quantum-error-correcting code.
  Physics Review A 81(6):062305, 2010
  doi: 10.1103/PhysRevA.81.062305

refereed workshop and conference papers

• Luca Albergante, Jon Timmis, Paul Andrews, Lynette Beattie, Paul M. Kaye.
  A Petri Net Model of Granulomatous Inflammation.
  ICARIS 2010, Edinburgh, UK, July 2010, LNCS 6209:1-3, Springer 2010
  doi: 10.1007/978-3-642-14547-6_1

• Matthias Bechmann, Angelika Sebald, Susan Stepney.
  From binary to continuous gates -- and back again
  ICES 2010, York, UK, September 2010. LNCS 6274:335-347, Springer, 2010
  doi: 10.1007/978-3-642-15323-5_29

• Ran Bi, Jon Timmis, Andy Tyrrell.
  The Diagnostic Dendritic Cell Algorithm for Robotic Systems.
  CEC 2010, Barcelona, Spain, July 2010, pp4280-87, IEEE Press, 2010

• Mark Blythe, John A. Clark.
  The Phish in the Pond: Scam emails as Literature.
  Critical Dialogue: Interaction, Experience and Cultural Theory Workshop, at ACM CHI 2010, Atlanta, USA, April 2010, pp1-7, 2010

• Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles.
  Optimising IDS Sensor Placement.
  ARES 2010, Krakow, Poland, February 2010, pp315-320, IEEE Press, 2010
  doi: 10.1109/ARES.2010.92

• Adam Faulconbridge, Susan Stepney, Julian Miller, Leo Caves
  RBN-World: The hunt for a rich AChem.
  ALife XII, Odense, Denmark, August 2010, pp261-268. MIT Press, 2010

• Verena Fischer, Simon J. Hickinbotham
  A metabolic subsumption architecture for cooperative control of the e-puck.
  NICSO'10: Grenada, Spain 2010, SCI 284:1-12, Springer, 2010
  doi: 10.1007/978-3-642-12538-6_1

• Philip Garnett, Susan Stepney, Francesca Day, Ottoline Leyser.
  Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation.
  CoSMoS workshop, Odense, Denmark, August 2010, pp9-32. Luniver Press 2010

• Tara Gilliam, Richard Wilson, John A. Clark.
  Scribe Identification in Medieval English Manuscripts.
  ICPR 2010, Istanbul, Turkey, August 2010, pp1880-1883, IEEE Press, 2010
  doi: 10.1109/ICPR.2010.463

• Simon 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 XII, Odense, Denmark, August 2010, pp24-31. MIT Press, 2010

• Tim Hoverd, Susan Stepney.
  Formalising Harmony Seeking Rules of Morphogenesis.
  ALife XII, Odense, Denmark, August 2010, pp386-393. MIT Press, 2010

• Mic Lones, Andy Tyrrell, Susan Stepney, Leo Caves.
  Controlling Complex Dynamics with Artificial Biochemical Networks.
  EuroGP 2010, Istanbul, Turkey, April 2010, LNCS 6021:159-170, Springer 2010
  doi: 10.1007/978-3-642-12148-7_14

• Yang Liu, Jon Timmis, Omer Qadir, Gianluca Tempesti, Andy Tyrrell.
  A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems.
  ICARIS 2010, Edinburgh, UK, July 2010, LNCS 6209:199-212, Springer 2010
  doi: 10.1007/978-3-642-14547-6_16

• Adam Nellis, Susan Stepney.
  Automatically moving between meta-levels in Artificial Chemistries.
  ALife XII, Odense, Denmark, August 2010, pp269-276. MIT Press, 2010

• Jennifer Owen, Susan Stepney, Jon Timmis, Alan Winfield.
  Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics.
  ANTS 2010, Brussels, Belgium, September 2010, LNCS 6234:432-439, Springer 2010
  doi: 10.1007/978-3-642-15461-4_41

• Fiona Polack.
  Self-organisation for Survival in Complex Computer Architectures.
  SOAR 2009, Cambridge, UK, Septemeber 2009, LNCS 6090:66-83, Springer 2010
  doi: 10.1007/978-3-642-14412-7_4
  [invited paper]

• Fiona Polack, Paul Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam Sampson.
  Reflections on the Simulation of Complex Systems for Science.
  ICECCS 2010, Oxford, UK, March 2010, pp.276-285, IEEE 2010

• Omer Qadir, J. Liu, Jon Timmis, Gianluca Tempesti, Andy Tyrrell.
  Principles of Protein Processing for a Self-Organising Associative Memory.
  CEC 2010, Barcelona, Spain, July 2010, pp3836-43, IEEE Press, 2010

• Jan Staunton, John A. Clark.
  Searching for Safety Violations Using Estimation of Distribution Algorithms.
  ICSTW 2010, Paris, France, April 2010, pp212-221, IEEE Press, 2010
  doi: 10.1109/ICSTW.2010.24
  [best student paper]

• J. E. Tapiador, John A. Clark.
  Learning Autonomic Security Reconfiguration Policies.
  TSP-10, at CIT 2010, Bradford, UK, June 2010, pp902-909, IEEE Press, 2010
  doi: 10.1109/CIT.2010.168

• Jon Timmis, Lachlan Murray, Mark Neal.
  A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems.
  Studies in Computational Intelligence, NISCO 2010, Granada, Spain, May 2010, pp319-330, Springer 2010
  doi: 10.1007/978-3-642-12538-6_27

• Jon Timmis, Andy Tyrrell.
  On Homeostasis in Collective Robotic Systems.
  ICARIS 2010, Edinburgh, UK, July 2010, LNCS 6209:307-309, Springer 2010
  doi: 10.1007/978-3-642-14547-6_25

• David Robert White, Juan E. Tapiador, Julio César Hernández Castro, John A. Clark.
  Fine-Grained Timing Using Genetic Programming.
  EuroGP 2010, Istanbul, Turkey, April 2010, LNCS 6021:325-336, Springer 2010
  doi: 10.1007/978-3-642-12148-7_28

technical reports

• Paul S. Andrews, Adam T. Sampson, Fiona Polack, Susan Stepney, Jon Timmis
  The CoSMoS Process, version 0.1: A Process for the Modelling and Simulation of Complex Systems,
  Technical report YCS-2010-453, University of York, March 2010

• Simon Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young
  Specification of the stringmol chemical programming language version 0.1,
  Technical report YCS-2010-457, University of York, 2010

• Susan Stepney
  Visualising the dynamics of Random Boolean Networks: examples of network size, mutation, canalisation,
  Technical report YCS-2010-448, University of York, February 2010

other

• Susan Stepney
  Report on 8th International Conference on Unconventional Computation 2009.
  EATCS Bulletin, 100:173-175, 2010

• Jon Timmis, Paul Andrews, Emma Hart.
  Special Issue on Artificial Immune Systems.
  Swarm Intelligence 4:245-6, 2010
  doi: 10.1007/s11721-010-0047-3

books / proceedings

• Paul Andrews, Jon Timmis, Nick Owens, Uwe Aickelin, Emma Hart, Andrew Hone, Andy Tyrrell, editors.
  Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009), York, UK, August 2009.
  LNCS 5666. Springer, 2009.
  doi: 10.1007/978-3-642-03246-2

• Susan Stepney, Peter Welch, Paul Andrews, Jon Timmis, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2009), York, UK, August 2009.
  Luniver Press, 2009

book chapters

• Sevil Sen, John A. Clark.
  Intrusion Detection in Mobile Ad Hoc Networks.
  In Sudip Misra, Isaac Woungang, Subhas C. Misra (eds) Guide to Wireless Ad Hoc Networks, chapter 17. Springer 2009
  doi: 10.1007/978-1-84800-328-6_17

• Jon Timmis.
  ImmuneComputing.
  In Robert A. Meyers (ed) Encyclopaedia of Complexity and System Science, volume LXXX, part 9, pp4776-4788 (entry 282). Springer 2009
  doi: 10.1007/978-0-387-30440-3_282

journal papers

• Takao Aoki, Go Takahashi, Tadashi Kajiya, Jun-ichi Yoshikawa, Samuel L. Braunstein, Peter van Loock, Akira Furusawa.
  Quantum error correction beyond qubits.
  Nature Physics 5:541-546, 2009
  doi: 10.1038/nphys1309

• Howard Chivers, John A. Clark, Pau-Chen Cheng.
  Risk profiles and distributed risk assessment .
  Computers and Security, 28(7):521-535, 2009
  doi: 10.1016/j.cose.2009.04.005

• Dan W. Franks, Richard James, Jason Noble, Graeme D. Ruxton.
  A foundation for developing a methodology for social network sampling.
  Behavioral Ecology and Sociobiology, 63(7):1079-1088, 2009
  doi: 10.1007/s00265-009-0729-2

• Dan W. Franks, Geoff S. Oxford.
  The evolution of exuberant visible polymorphisms.
  Evolution 63(10):2697-2706, 2009
  doi: 10.1111/j.1558-5646.2009.00748.x

• Dan W. Franks, Graeme D. Ruxton, Thomas N. Sherratt.
  Warning signals evolve to disengage Batesian mimics.
  Evolution, 63(1):256-267, 2009
  doi: 10.1111/j.1558-5646.2008.00509.x

• Peter Kaufmann, Sigrid Stagl, Dan W. Franks.
  Simulating the Diffusion of Organic Farming Practices in Two New EU Member States.
  Ecological Economics, 68(10):2580-2593, 2009
  doi: 10.1016/j.ecolecon.2009.04.001

• A. K. Pati, Samuel L. Braunstein.
  Role of entanglement in quantum computation.
  Journal of the Indian Institute of Science 89(3):295-302, 2009

• Stefano Pirandola, Samuel L. Braunstein, Seth Lloyd, Stefano Mancini.
  Confidential Direct Communications: A Quantum Approach Using Continuous Variables.
  IEEE Journal of Selected Topics in Quantum Electronics 15(6):1570-80 2009
  doi: 10.1109/JSTQE.2009.2021147

• Stefano Pirandola, R. García-Patrón, Samuel L. Braunstein, Seth Lloyd.
  Direct and reverse secret-key capacities of a quantum channel.
  Physics Review Letters 102:050503-1/4 2009
  doi: 10.1103/PhysRevLett.102.050503

• Edward J. Powley, Susan Stepney.
  Automorphisms of transition graphs for linear cellular automata.
  Journal of Cellular Automata 4(4):293-310, 2009
  [special issue, Automata 2008]

• Edward J. Powley, Susan Stepney.
  Automorphisms of transition graphs for elementary cellular automata.
  Journal of Cellular Automata 4(2):125-136, 2009
  [special issue, Automata 2007]

• Andrew Secker, Matthew N. Davies, Alex A. Freitas, Jon Timmis, Ed Clark, Darren R. Flower.
  An artificial immune system for clustering amino acids in the context of protein function classification.
  Journal of Mathematical Modelling and Algorithms, 8(2):103-123, 2009
  doi: 10.1007/s10852-009-9107-3

• Susan Stepney.
  Non-Classical Hypercomputation.
  Int. J. Unconventional Computing 5(3-4):267-276, 2009

• Juan E. Tapiador, J. C. Hernandez-Castro, John A. Clark, Susan Stepney.
  Highly entangled multi-qubit states with simple algebraic structure.
  J. Phys. A, 42:415301, 2009
  doi: 10.1088/1751-8113/42/41/415301

refereed workshop and conference papers

• Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack.
  Profile Adaptation in Adaptive Inforamtion Filtering: A Immune-Inspired Approach.
  International Conference on Soft Computing and Pattern Recognition, Malacca, Malaysia, 4-7 December 2009, pp.414-441, IEEE Press, 2009
  doi: 10.1109/SoCPaR.2009.87

• Darren Beaumont, Susan Stepney.
  Grammatical Evolution of L-Systems.
  CEC 2009, Trondheim, Norway, May 2009, pp.2446-2453. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983247

• Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers and Philip Nobles.
  A Multi-objective Optimisation Approach to IDS Sensor Placement.
  CISIS 2009, Burgos, Spain, September 2009, AISC 63:101-108, Springer, 2009
  doi: 10.1007/978-3-642-04091-7_13

• Piero Conca, Giuseppe Nicosia, Giovanni Stracquadanio, Jon Timmis.
  Nominal-Yield-Area Trade off in Automatic Synthesis of Analog Circuits: A Genetic Programming Approach using Immune-Inspired Operators.
  NASA/ESA Conference on Adaptive Hardware and Systems, San Fransisco, USA, July 2009. pp399-406, IEEE Press

• Gemma Danks, Susan Stepney, Leo Caves.
  Co-translational protein folding with L-Systems.
  ECAL 2009, Budapest, Hungary, September 2009. LNCS 5777:289-296. Springer, 2011
  doi: 10.1007/978-3-642-21283-3_36

• Adam Faulconbridge, Susan Stepney, Julian Miller, Leo Caves
  RBNWorld: Sub-symbolic Artificial Chemistry.
  ECAL 2009, Budapest, Hungary, September 2009. LNCS 5777:377-384. Springer, 2011
  doi: 10.1007/978-3-642-21283-3_47

• Anton Flugge, Jon Timmis, Paul Andrews, J. Moore, Paul Kaye.
  Modelling and Simulation of Granuloma Formation in Visceral Leishmaniasis.
  CEC 2009, Trondheim, Norway, May 2009, pp.3052-3059. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983329

• Kamran Ghani, John A. Clark
  Automatic Test Data Generation for Multiple Condition and MCDC Coverage.
  ICSEA 2009, Porto, Portugal, September 2009, pp.152-157. IEEE Press, 2009
  doi: 10.1109/ICSEA.2009.31
  [top paper prize]

• Kamran Ghani, John A. Clark
  Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing.
  SSBSE 2009, Windsor, UK, May 2009, pp.122-131. IEEE, 2009
  doi: 10.1109/SSBSE.2009.26

• Kamran Ghani, John A. Clark, Yuan Zhan
  Comparing Algorithms for Search-Based Test Data Generation of Matlab Simulink Models.
  CEC 2009, Trondheim, Norway, May 2009, pp.2940-2947. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983313

• Teodor Ghetiu, Robert D. Alexander, Paul Andrews, Fiona Polack, James Bown.
  Equivalence Arguments for Complex Systems Simulations -- A Case-Study.
  CoSMoS 2009, York, UK, August 2009. pp101-140. Luniver Press, 2009

• Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi.
  Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol.
  IPDPS 2009, Rome, Italy, May 2009, pp.1-5, IEEE Press, 2009
  doi: 10.1109/IPDPS.2009.5161121

• Simon Hickinbotham, Ed Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young
  Molecular microprograms.
  ECAL 2009, Budapest, Hungary, September 2009. LNCS 5777:297-304. Springer, 2011
  doi: 10.1007/978-3-642-21283-3_37

• Simon Hickinbotham, Ed Clark, Susan Stepney, Tim Clarke, Peter Young
  Gene Regulation in a Particle Metabolome.
  CEC 2009, Trondheim, Norway, May 2009, pp.3024-3031. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983325

• Tim Hoverd, Susan Stepney.
  Environment orientation: an architecture for simulating complex system.
  CoSMoS 2009, York, UK, August 2009. pp67-82. Luniver Press, 2009

• Raja Humza, Oliver Scholz, Maizura Mokhtar, Jon Timmis, Andy Tyrrell.
  Towards Energy Homeostasis in an Autonomous Self-Reconfigurable Modular Robotic Organism.
  ComputationWorld 2009, Athens, Greece, 15-20 November 2009 pp.21-26, IEEE Press, 2009
  doi: 10.1109/ComputationWorld.2009.83

• Amelia Rita Ismail, Jon Timmis.
  Aggregation of Swarms for Fault Tolerance in Swarm Robotics using an Immuno-engineering Approach.
  UKCI 2009, Nottingham, UK, 7-9 September 2009

• Serge Kernbach, Heiko Hamann, Jürgen Stradner, Ronald Thenius, Thomas Schmickl, Karl Crailsheim, A.C. van Rossum, Michele Sebag, Nicolas Bredeche, Yao Yao, Guy Baele, Yves Van de Peer, Jon Timmis, Maizura Mokhtar, Andy Tyrrell, A.E. Eiben, S.P. McKibbin, Wenguo Liu, Alan F.T. Winfield.
  On adaptive self-organization in artificial robot organisms.
  ComputationWorld 2009, Athens, Greece, 15-20 November 2009 pp.33-43, IEEE Press, 2009
  doi: 10.1109/ComputationWorld.2009.9

• Dimitrios S. Kolovos, Louis Rose, Richard Paige, Fiona Polack.
  Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors.
  Proc. 3rd Workshop on Modeling in Software Engineering (MISE), Vancouver, Canada, May 2009, pp.13-19, IEEE Press, 2009
  doi: 10.1109/MISE.2009.5069891

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.
  Dagstuhl Festschrift in Honour of Egon Boerger: Rigorous Object-Oriented Methods. LNCS 5115:204–218, Springer 2009
  doi: 10.1007/978-3-642-11447-2_13
  [invited paper]

• HuiKeng Lau, Iain Bate, Jon Timmis.
  An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics.
  ICARIS 2009, York, UK, August 2009. LNCS 5666:136-150, Springer, 2009
  doi: 10.1007/978-3-642-03246-2_16

• Yow Tzu Lim, Pau-Chen Cheng, Pankhaj Rohatgi, John A. Clark.
  Continuous Security Policy Learning.
  WISG'09, at CCS 2009, Chicago, USA, November 2009, pp39-48. ACM, 2009
  doi: 10.1145/1655168.1655177

• HuiKeng Lau, Jon Timmis, Ian Bate.
  Anomaly Detection Inspired by Immune Network Theory: A Proposal.
  CEC 2009, Trondheim, Norway, May 2009, pp.3045-3041. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983328

• M. Mokhtar, Ran Bi, Jon Timmis, Andy Tyrrell.
  A Modified Dendritic Cell Algorithm for On-Line Error Detection in Robotic System.
  CEC 2009, Trondheim, Norway, May 2009, pp.2055-2062. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983194

• Nick Owens, Andy Greensted, Jon Timmis, Andy Tyrrell.
  T-cell Recpetor Signalling Inspired Kernal Density Estimation and Anomaly Detection.
  ICARIS 2009, York, UK, August 2009. LNCS 5666:122-135, Springer, 2009
  doi: 10.1007/978-3-642-03246-2_15

• Richard Paige, Dimitrios S. Kolovos, Louis Rose, Nicholas Drivalos, Fiona Polack.
  The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.
  ICECCS'09, Potsdam, Germany, 2009, pp.162-171, IEEE Press, 2009
  doi: 10.1109/ICECCS.2009.14

• Andrew J. Payne, Susan Stepney.
  Representation and Structural biases in CGP.
  CEC 2009, Trondheim, Norway, May 2009, pp.1064-1071. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4983064

• Stefano Pirandola, Samuel L. Braunstein and Seth Lloyd.
  On the Security and Degradability of Gaussian Channels.
  TQC 2009, Waterloo, Canada, May 2009. LNCS 5906:47-55, Springer, 2009
  doi: 10.1007/978-3-642-10698-9_5

• Fiona Polack, Paul Andrews, Adam Sampson
  The engineering of concurrent simulations of complex systems.
  CEC 2009, Trondheim, Norway, May 2009, pp.217-224. IEEE Press, 2009
  doi: 10.1109/CEC.2009.4982951

• Mark Read, Jon Timmis, Paul Andrews, Vipin Kumar.
  Using UML to Model EAE and its Regulatory Network.
  ICARIS 2009, York, UK, August 2009. LNCS 5666:4-6, Springer, 2009
  doi: 10.1007/978-3-642-03246-2_2

• Mark Read, Jon Timmis, Paul Andrews, Vipin Kumar.
  A Domain Model of Experimental Autoimmune Encephalomyelitis.
  CoSMoS 2009, York, UK, August 2009. pp9-44. Luniver Press, 2009

• Sion Ll. Rhys, Simon M. Poulding, John A. Clark.
  Using automated search to generate test data for Matlab.
  GECCO 2009, Montreal, Canada, July 2009. pp1697-1704. ACM Press, 2009
  doi: 10.1145/1569901.1570128

• Sevil Sen, John A. Clark.
  A grammatical evolution approach to intrusion detection on mobile ad hoc networks.
  WISEC 2009, Zurich, Switzerland, March 2009, pp95-102. ACM Press 2009.
  doi: 10.1145/1514274.1514289

• Sevil Sen, John A. Clark, Juan E. Tapiador.
  Power-Aware Intrusion Detection in Mobile Ad Hoc Networks .
  ADHOCNETS 2009, Niagra Falls, Ontario, Canada, September 2009, LNICS 28:224-239. Springer 2009.
  doi: 10.1007/978-3-642-11723-7_15

• Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen.
  A Deployment Value Model for Intrusion Detection Sensors.
  ISA 2009, Seoul, Korea, June 2009. LNCS 5576:250-259, Springer, 2009
  doi: 10.1007/978-3-642-02617-1_26
  [best paper]

• Susan Stepney.
  Visualising Random Boolean Network Dynamics: mutation and canalisation.
  ECAL 2009, Budapest, Hungary, September 2009. LNCS 5777:369-376. Springer, 2011
  doi: 10.1007/978-3-642-21283-3_46

• Susan Stepney.
  Visualising Random Boolean Network Dynamics.
  GECCO 2009, Montreal, Canada, July 2009. pp1781-82. ACM Press, 2009
  doi: 10.1007/10.1145/1569901.1570157

• Jon Timmis, Mark Neal, James Thorniley.
  An adaptive neuro-endocrine system for robotic systems.
  RIISS 2009, Nashville, TN, USA, March 2009, pp.128-136. IEEE Press, 2009
  doi: 10.1109/RIISS.2009.4937917

• David R. White, Simon Poulding.
  A Rigorous Evaluation of Crossover and Mutation in Genetic Programming .
  EuroGP 2009, Tubingen, Germany, April 2009. LNCS 5481:220-231. Springer, 2009
  doi: 10.1007/978-3-642-01181-8_19

technical reports

• Yow Tzu Lim, Pau Chen Cheng, Pankaj Rohatgi, John A. Clark
  Dynamic Security Policy Learning,
  Technical report RC24865, IBM, 2009

books / proceedings

• Susan Stepney, Fiona Polack, Peter Welch, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2008), York, UK, September 2008.
  Luniver Press, 2008

• Peter H. Welch, Susan Stepney, Fiona Polack, Fred Barnes, Alistair McEwan, G. S. Stiles, J. F. Broenink, Adam Sampson, editors.
  Communicating Process Architectures (CPA 2008), York, UK, September 2008.
  IOS Press, 2008.

book chapters

• Arun K. Pati, Samuel L. Braunstein.
  Can Arbitrary Quantum Systems Undergo Self-Replication?
  In Derek Abbott, Paul C. W. Davies, Arun K. Pati, eds. Quantum Aspects of Life. Chapter 11. Imperial College Press, 2008

journal papers

• Matthew N. Davies, Andrew Secker, Alex A. Freitas, Ed Clark, Jon Timmis, Darren R. Flower.
  Optimising amino acid groupings for GPCR classification
  Bioinformatics 24(18):1980-1986, 2008
  doi: 10.1093/bioinformatics/btn382

• Matthew N. Davies, Andrew Secker, Alex A. Freitas, Jon Timmis, Ed Clark, Darren R. Flower.
  Alignment-Independent Techniques for Protein Classification
  Current Proteomics 5(4):217-223, 2008
  doi: 10.2174/157016408786733770

• Matthew N. Davies, Andrew Secker, Mark Halling-Brown, David S. Moss, Alex A. Freitas, Jon Timmis, Edward Clark, Darren R. Flower.
  GPCRTree: online hierarchical classification of GPCR function
  BMC Research Notes 1:67, 2008
  doi: 10.1186/1756-0500-1-67

• Dan W. Franks, Jason Noble, Peter Kaufmann, Sigrid Stagl.
  Extremism Propagation in Social Networks with Hubs.
  Adaptive Behaviour 16(4):264-274, 2008

• Dan W. Franks, Graeme D. Ruxton.
  How Robust are Neural Network Models of Stimulus Generalisation?
  Biosystems, 92(2):175-81 2008
  doi: 10.1016/j.biosystems.2008.02.003

• Emma Hart, Jon Timmis.
  Application Areas of AIS: The Past, Present and the Future.
  Journal of Applied Soft Computing 8(1):191-201 January 2008
  doi: 10.1016/j.asoc.2006.12.004

• Peter Hines.
  Machine semantics.
  Theoretical Computer Science 409(1):1-23 2008
  doi: 10.1016/j.tcs.2008.07.015

• Peter Hines.
  Machine Semantics---From Causality to Computational Models.
  Int. J. Unconventional Computing 4(3):249-272, 2008
  [special issue, UC 2006]

• Regine Laleau, Fiona Polack.
  Using formal metamodels to check consistency of functional views in information systems specification.
  Information and Software Technology Journal 50(7-8):797-814 June 2008
  doi: 10.1016/j.infsof.2007.10.007

• M. Owari, Samuel L. Braunstein, K. Nemoto, M. Murao.
  epsilon-convertibility of entangled states and extension of Schmidt rank in infinite-dimensional systems.
  Quantum Information and Computation 8(1,2):30-52 2008

• Stefano Pirandola, Samuel L. Braunstein, Seth Lloyd.
  Characterization of collective Gaussian attacks and security of coherent-state quantum cryptography.
  Physics Review Letters 101:200504-1/4 2008
  doi: 10.1103/PhysRevLett.101.200504

• Stefano Pirandola, Samuel L. Braunstein, Stefano Mancini, Seth Lloyd.
  Quantum direct communication with continuous variables.
  Euro Physics Letters 84:20013-1/6 2008
  doi: 10.1209/0295-5075/84/20013

• Stefano Pirandola, Stefano Mancini, Samuel L. Braunstein, David Vitali.
  Minimal qudit code for a qubit in the phase damping channel.
  Physical Review A 77:032309-1/9 2008
  doi: 10.1103/PhysRevA.77.032309

• Stefano Pirandola, Stefano Mancini, Seth Lloyd, Samuel L. Braunstein.
  Continuous-variable quantum cryptography using two-way quantum communication.
  Nature Physics 4:726-730 2008
  doi: 10.1038/nphys1018

• S. M. Roy, Samuel L. Braunstein.
  Exponentially enhanced quantum metrology.
  Physical Review Letters. 100:2220501-1/4 2008
  doi: 10.1103/PhysRevLett.100.220501

• Graeme D. Ruxton, Dan W. Franks, Alexandra C. V. Balogh, Olof Leimar.
  Evolutionary implications of the form of predator generalization for aposematic signals and mimicry in prey.
  Evolution 62(11):2913-2921, 2008
  doi: 10.1111/j.1558-5646.2008.00485.x

• Andrew Secker, Alex A. Freitas, Jon Timmis.
  AISIID: An artificial immune system for interesting information discovery on the web.
  Journal of Applied Soft Computing 8(2):885-905, March 2008
  doi: 10.1016/j.asoc.2007.07.007

• Stephen L. Smith, Jon Timmis.
  An Immune Network Inspired Evolutionary Algorithm for the Diagnosis of Parkinson's Disease.
  Biosystems 94(1-2):34-46, October-November 2008
  doi: 10.1016/j.biosystems.2008.05.024

• Susan Stepney.
  The Neglected Pillar of Material Computation.
  Physica D: Nonlinear Phenomena 237(9):1157-1164, July 2008
  doi: 10.1016/j.physd.2008.01.028

• Susan Stepney, John A. Clark.
  Searching for Quantum Programs and Quantum Protocols: a review.
  Journal of Computational and Theoretical Nanoscience 5(5):942-969, 2008

• Jon Timmis, Paul Andrews, Nick Owens, Ed Clark.
  An Interdisciplinary Perspective on Artificial Immune Systems.
  Evolutionary Intelligence 1(1):5-26, March 2008
  doi: 10.1007/s12065-007-0004-2

• Jon Timmis, Andy Hone, Thomas Stibor, Ed Clark.
  Theoretical Advances in Artificial Immune Systems.
  Theoretical Computer Science 403(1):11-32
  doi: 10.1016/j.tcs.2008.02.011

• P. van Loock, W. J. Munro, Kae Nemoto, T. P. Spiller, T. D. Ladd, Samuel L. Braunstein, G. J. Milburn.
  Hybrid quantum computation in quantum optics
  Physical Review A. 78:022303-1/5, 2008
  doi: 10.1103/PhysRevA.78.022303

• T. A. Walker, Fiona Polack, Samuel L. Braunstein.
  Error correcting Bell inequalities.
  Physical Review Letters. 101:080501-1/4 2008
  doi: 10.1103/PhysRevLett.101.080501

• Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy L. Jacob.
  The certification of the Mondex electronic purse to ITSEC Level E6.
  Formal Aspects of Computing 20(1):5-19, 2008
  doi: 10.1007/s00165-007-0060-5

• Yuan Zhan, John A. Clark.
  A Search-Based Framework for Automatic Testing of MATLAB/Simulink Models.
  Journal of Systems and Software, 81(2):262-285, 2008
  doi: 10.1016/j.jss.2007.05.039
  [special issue on Model-Based Software Testing]

refereed workshop and conference papers

• Andrea Arcuri, David R. White, John A. Clark, Xin Yao.
  Multi-objective Improvement of Software Using Co-evolution and Smart Seeding.
  SEAL 2008, Melbourne, Australia, December 2008, LNCS 5361:61-70, Springer 2008
  doi: 10.1007/978-3-540-89694-4_7

• Jonathan M. Aitken, Tim Clarke, Jon Timmis.
  The Pathways of Complement.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:364-375. Springer 2008.
  doi: 10.1007/978-3-540-85072-4_32

• Nuno Amalio, Fiona Polack, Jing Zhang.
  Autonomous objects and bottom-up composition in ZOO applied to a case study of biological reactivity.
  ABZ 2008, London, UK, September 2008. LNCS 5238:323-336, Springer 2008.
  doi: 10.1007/978-3-540-87603-8_25

• Paul S. Andrews, Fiona Polack, Adam Sampson, Jon Timmis, Lisa Soctt, Mark Coles.
  Simulating biology: towards understanding what the simulation shows.
  CoSMoS workshop, York, UK, September 2008, pp93-123. Luniver Press 2008

• 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 XI, Winchester, UK, August 2008, pp17-24. MIT Press, 2008

• Paul S. Andrews, Jon Timmis.
  Adaptable Lymphocytes for Artificial Immune Systems.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:376-386. Springer 2008.
  doi: 10.1007/978-3-540-85072-4_33

• Kester Clegg, Susan Stepney.
  Adaptive Circuit Control through Gene Expression.
  EvoHot, EuroWorkshops, Naples, Italy, March 2008, LNCS 4974:154-163, Springer 2008
  doi: 10.1007/978-3-540-78761-7_16

• Gemma Danks, Susan Stepney, Leo Caves.
  Protein folding with stochastic L-Systems.
  ALife XI, Winchester, UK, August 2008, pp150-157. MIT Press, 2008

• Xun Dong, John A. Clark, Jeremy L. Jacob.
  Modelling user-phishing interaction.
  HSI 2008, Krakow, Poland, May 2008, pp.627-632, IEEE 2008
  doi: 10.1109/HSI.2008.4581513

• Xun Dong, John A. Clark, Jeremy L. Jacob.
  Threat Modelling in User Performed Authentication.
  ICICS 2008, Birmingham, UK, October 2008, LNCS 5308:49-64, Springer 2008
  doi: 10.1007/978-3-540-88625-9_4

• Xun Dong, John A. Clark, Jeremy L. Jacob.
  User behaviour based phishing websites detection.
  IMCSIT 2008, Wisla, Poland, October 2008, pp.783-790, IEEE 2008
  doi: 10.1109/IMCSIT.2008.4747332

• Ruth Falconer, Jim Bown, Emma Hart, Jon Timmis.
  A New Paradigm for SpeckNets: Inspiration from Fungal Colonies.
  Workshop on Pervasive Adaptive Systems, SASO 2008, Venice, Italy, October 2008. pp90-95, IEEE
  doi: 10.1109/SASOW.2008.55

• Philip Garnett, Susan Stepney, Ottoline Leyser.
  Towards an executable model of auxin transport canalisation.
  CoSMoS workshop, York, UK, September 2008, pp63-91. Luniver Press 2008

• Kamran Ghani, John A. Clark.
  Strengthening Inferred Specification using Search Based Testing.
  SBST workshop, ICST 2008, Lillehammer, Norway, April 2008. IEEE 2008
  doi: 110.1109/ICSTW.2008.39

• Dimitrios S. Kolovos, Richard Paige, Fiona Polack.
  Detecting and repairing inconsistencies across heterogeneous models.
  ICST 2008, Lillehammer, Norway, April 2008, pp 356-364. IEEE Press, 2008
  doi: 10.1109/ICST.2008.23

• Dimitrios S. Kolovos, Richard Paige, Fiona Polack.
  A Framework for Composing Modular and Interoperable Model Management Tasks.
  MDTPI workshop, EC-MDA 2008, Berlin, Germany, June 2008

• Dimitrios S. Kolovos, Richard Paige, Fiona Polack.
  The Epsilon Transformation Language.
  ICMT 2008, Zurich, Switzerland, July 2008, LNCS 5063:46-60. Springer 2008
  doi: 10.1007/978-3-540-69927-9_4

• Dimitrios S. Kolovos, Richard Paige, Louis Rose, Fiona Polack.
  Unit Testing Model Management Operations.
  MoDeVVA workshop, ICST 2008, Lillehammer, Norway, April 2008. IEEE 2008
  doi: 10.1109/ICSTW.2008.50

• Dimitrios S. Kolovos, Richard Paige, Fiona Polack.
  Novel Features in Model Management Languages of the Epsilon Platform.
  MISE 2008 Workshop, ICSE 2008, Leipzig, Germany, May 2008

• Yow Tzu Lim, Pau Chen Cheng, John A. Clark, Pankaj Rohatgi.
  Policy Evolution with Grammatical Evolution .
  SEAL 2008, Melbourne, Australia, December 2008, LNCS 5361:71-80, Springer 2008
  doi: 10.1007/978-3-540-89694-4_8

• Yow Tzu Lim, Pau Chen Cheng, John A. Clark, Pankaj Rohatgi.
  Policy Evolution with Grammatical Evolution .
  ACITA 2008, London, UK, September 2008, pp.253-260, 2008
  [extended version of SEAL 2008 paper]

• Yow Tzu Lim, Pau Chen Cheng, John A. Clark, Pankaj Rohatgi.
  Policy Evolution with Genetic Programming: a Comparison of Three Approaches.
  CEC 2008, Hong Kong, June 2008. pp.1792-1800, IEEE Press, 2008
  doi: 10.1109/CEC.2008.4631032

• Yow Tzu Lim, Pau Chen Cheng, Pankaj Rohatgi, John A. Clark.
  MLS security policy evolution with genetic programming.
  GECCO 2008, Atlanta, GA, USA, July 2008, pp1571-1578. ACM Press, 2008
  doi: 10.1145/1389095.1389395

• Yang Liu, Jon Timmis, Tim Clarke.
  A Neuro-Immune Inspired Robust Real Time Visual Tracking System.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:188-199. Springer, 2008
  doi: 10.1007/978-3-540-85072-4_17

• Maizura Mokhtar, Jon Timmis, Andy Tyrrell, Ran Bi.
  An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems.
  Workshop on Pervasive Adaptive Systems, SASO 2008, Venice, Italy, October 2008. pp 126-131, IEEE
  doi: 10.1109/SASOW.2008.12

• Nick Owens, Susan Stepney.
  Investigations of the Game of Life Cellular Automata rules on Penrose Tilings: lifetime and ash statistics.
  Automata 2008, Bristol, UK, June 2008, pp 1-35. Luniver Press, 2008

• Nick D. L. Owens, Jon Timmis, Andrew Greensted, Andy Tyrrell.
  Modelling the Tunability of Early T Cell Signalling Events.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:12-23. Springer, 2008
  doi: 10.1007/978-3-540-85072-4_2

• Fiona Polack, Susan Stepney, Adam T. Sampson, Jon Timmis, Tim Hoverd.
  Complex Systems Models: Engineering Simulations.
  ALife XI, Winchester, UK, August 2008, pp482-489. MIT Press, 2008

• Edward J. Powley, Susan Stepney.
  Automorphisms of transition graphs for a linear cellular automaton.
  Automata 2008, Bristol, UK, June 2008, pp 55-66. Luniver Press, 2008

• Mark Read, Jon Timmis, Paul Andrews.
  Empirical Investigation of an Artificial Cytokine Network.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:340-351. Springer 2008.
  doi: 10.1007/978-3-540-85072-4_30

• Louis M. Rose, Richard Paige, Dimitrios S. Kolovos, Fiona Polack.
  The Epsilon Generation Language.
  EC-MDA 2008, Berlin, Germany, June 2008, LNCS 5095:1-16. Springer 2008
  doi: 10.1007/978-3-540-69100-6_1

• Louis M. Rose, Richard Paige, Dimitrios S. Kolovos, Fiona Polack.
  Constructing Models with the Human-Usable Textual Notation.
  MoDELS/UML 2008, Toulouse, France, October 2008, LNCS 5301:249-263. Springer 2008
  doi: 10.1007/978-3-540-87875-9_18

• Andrew Secker, Matthew N. Davies, Alex A. Freitas, Jon Timmis, Ed Clark, Darren R. Flower.
  An Artificial Immune System for Evolving Amino Acid Clusters Tailored to Protein Function Prediction.
  ICARIS 2008, Phuket, Thailand, August 2008. LNCS 5132:242-253. Springer 2008.
  doi: 10.1007/978-3-540-85072-4_22

• Sevil Sen, John A. Clark.
  Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks.
  PRICAI-08, Hanoi, Vietnam, December 2008. LNCS 5351:1053-1058. Springer 2008.
  doi: 10.1007/978-3-540-89197-0_106

• Stephen L. Smith, Andy Greensted, Jon Timmis.
  Hardware Acceleration of an Immune Network Inspired Evolutionary Algorithm for Medical Diagnosis.
  International Conference on Evolvable Systems, Prague, Czech Republic, September 2008. LNCS 5216:34-46. Springer 2008
  doi: 10.1007/978-3-540-85857-7_4

• Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin Johnson, Jon Timmis.
  Grand Challenge in Non-Classical Computation.
  Visions of Computer Science, London, UK, September 2008. pp407-421. BCS 2008

• Andrew Weeks, Fiona Polack, Susan Stepney.
  Investigating emergence by coarse graining Elementary Cellular Automata.
  ALife XI, Winchester, UK, August 2008, pp686-693. MIT Press, 2008

• David R. White, John A. Clark, Jeremy Jacob, Simon Poulding.
  Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators.
  GECCO 2008, Atlanta, GA, USA, July 2008, pp1775-1782. ACM Press, 2008
  doi: 10.1145/1389095.1389437

other

• Jon Timmis, Paul Andrews, Nick Owens, Ed Clark.
  Immune Systems and Computation: An Interdisciplinary Adventure.
  Unconventional Computing 2008, Vienna, Austria, August 2008. LNCS 5204:8-18. Springer 2008
  doi: 10.1007/978-3-540-85194-3_4
  [invited talk]

• Jon Timmis, Emma Hart, Andy Hone, Mark Neal, Adrian Robins, Susan Stepney, Andy Tyrrell.
  Immuno-Engineering.
  2nd IFIP International Conference on Biologically Inspired Collaborative Computing, 20th IFIP World Computer Congress, Milan, Italy, September 2008, pp3-17. Springer 2008.
  doi: 10.1007/978-0-387-09655-1_2
  [invited talk]

books / proceedings

• Andy Adamatzky, Larry Bull, Ben De Lacy Costello, Susan Stepney, Christof Teuscher, editors.
  Unconventional Computing 2007, Bristol, UK, July 2007.
  Luniver Press, 2007.

• Darren Flower, Jon Timmis, eds.
  In Silico Immunology.
  Springer, 2007
  doi: 10.1007/978-0-387-39241-7

book chapters

• Paul Andrews, Jon Timmis.
  Alternative Inspiration For Artificial Immune Systems: Exploiting Cohen’s Cognitive Immune Model.
  In Darren Flower, Jon Timmis, eds. In Silico Immunology, pp.119-137, Springer, 2007
  doi: 10.1007/978-0-387-39241-7_8

• Susan Stepney.
  Embodiment.
  In Darren Flower, Jon Timmis, eds. In Silico Immunology, pp.265-288, Springer, 2007
  doi: 10.1007/978-0-387-39241-7_13

• Jon Timmis, Paul Andrews.
  Artificial Immune Systems: A Beginners Guide.
  In Darren Flower, Jon Timmis, eds. In Silico Immunology, pp.47-62, Springer, 2007
  doi: 10.1007/978-0-387-39241-7_4

journal papers

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Engineering and Theoretical Underpinnings of Retrenchment.
  Science of Computer Programming, 67(2-3):301-329, July 2007
  doi: 10.1016/j.scico.2007.04.002

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse: the balance enquiry quandary, and generalised and (1,1) forward refinements.
  Fundamenta Informaticae 77(1-2):29-69, 2007

• Samuel L. Braunstein, Byung-Soo Choi, Subhroshekhar Ghosh, Subhamoy Maitra.
  Exact quantum algorithm to distinguish Boolean functions of different weights.
  Journal of Physics A. 40:8441-8454 2007
  doi: 10.1088/1751-8113/40/29/017

• Samuel L. Braunstein, Sibasish Ghosh, Simone Severini.
  Estimation of pure qubits on circles.
  Journal of Physics A. 40:1809-1834 2007
  doi: 10.1088/1751-8113/40/8/009
  [Included in IoP Select, February 2007]

• Samuel L. Braunstein, Arun K. Pati.
  Quantum information cannot be completely hidden in correlations: Implications for the black-hole information paradox.
  Physical Review Letters. 98:080502-1/4 2007
  doi: 10.1103/PhysRevLett.98.080502
  [Selected by Physical Review Letters as a 'Suggestions' paper for this issue]
  [Included in the Virtual Journal of Quantum Information, March 2007]
  [Included in the Virtual Journal of Nanoscale Science & Technology, March 2007]

• Byung-Soo Choi, Thomas A. Walker, Samuel L. Braunstein.
  Sure success partial search.
  Quantum Information Processing. 6:1-8 2007
  doi: 10.1007/s11128-006-0037-y

• Vincenzo Cutello, Giuseppe Nicosia, Mario Pavone, Jon Timmis.
  An Immune Algorithm for Protein Structure Prediction on Lattice Models.
  IEEE Transactions on Evolutionary Computation. 11(1):101-117 2007
  doi: 10.1109/TEVC.2006.880328

• Matthew N. Davies, David Gloriam, Andrew Secker, Alex A. Freitas, Miguel Mendao, Jon Timmis, Darren R. Flower.
  Proteomic applications of automated GPCR classification.
  Proteomics 7(6):2800-2814 2007
  doi: 10.1002/pmic.200700093

• Matthew N. Davies, Andrew Secker, Alex A. Freitas, Miguel Mendao, Jon Timmis, Darren R. Flower.
  On the hierarchical classification of G Protein-Coupled Receptors.
  Bioinformatics 23(23):3113-3118 2007
  doi: 10.1093/bioinformatics/btm506

• Rogerio de Lemos, Jon Timmis, Modupe Ayara, Simon Forrest.
  Immune-Inspired Adaptable Error Detection for Automated Teller Machines.
  IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews 37(5) 2007
  doi: 10.1109/TSMCC.2007.900662

• Dan W. Franks, Thomas N. Sherratt.
  The evolution of multicomponent mimicry .
  Journal of Theoretical Biology, 244(4):631-639 2007
  doi: 10.1016/j.jtbi.2006.09.019

• Alex A. Freitas, Jon Timmis.
  Revisiting the Foundations of Artificial Immune Systems for Data Mining.
  IEEE Transactions on Evolutionary Computation 11(4):521-540 2007
  doi: 10.1109/TEVC.2006.884042

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries.
  Proc. OCLApps 2006: OCL for (Meta-)Models in Multiple Application Domains, Genova, Italy, October 2006.
  Journal of the Electronic Communications of the EASST. 5 2007

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose.
  Update Transformations in the Small with the Epsilon Wizard Language.
  Journal of Object Technology 6(9):53-69 2007
  [Special Issue of Proc. TOOLS Europe 2007, Zurich, Switzerland, June 2007]

• Jon Timmis.
  Artificial Immune Systems -- Today and Tomorrow.
  Natural Computation. 6:1-18 2007
  doi: 10.1007/s11047-006-9029-1
  [special issue on Natural and Artificial Immune Systems]

• Heather Turner, Susan Stepney, Fiona Polack.
  Rule Migration: Exploring a design framework for emergence.
  Int. J. Unconventional Computing. 3(1):49-66 2007

• Thomas A. Walker, Samuel L. Braunstein.
  Classical broadcasting is possible with arbitrarily high fidelity and resolution.
  Physical Review Letters. 98:080501-1/4 2007
  doi: 10.1103/PhysRevLett.98.080501
  [Included in the Virtual Journal of Quantum Information, March 2007]

• Le Xu, Mo-Yuen Chow, Jon Timmis, Leroy Taylor.
  Power Distribution Outage Cause Identification With Imbalanced Data Using Artificial Immune Recognition System (AIRS) Algorithm.
  IEEE Transactions on Power Systems 22(1):198-204 2007
  doi: 10.1109/TPWRS.2006.889040

• Hidehiro Yonezawa, Samuel L. Braunstein, Akira Furusawa.
  Experimental Demonstration of Quantum Teleportation of Broadband Squeezing.
  Physical Review Letters. 99:110503 2007
  doi: 10.1103/PhysRevLett.99.110503

refereed workshop and conference papers

• Nuno Amálio, Fiona Polack, Susan Stepney.
  Frameworks based on templates for rigorous model-driven development.
  Proc. Doctoral Symposium affiliated with IFM 2005. ENTCS 191:3-23. Elsevier, 2007

• Richard Banach, Czeslaw Jeske, A. Hall, Susan Stepney.
  Retrenchment and the Atomicity Pattern.
  SEFM 07, London, UK, September 2007. IEEE Press, 2007

• Matthias Bechmann, John A. Clark, Angelika Sebald, Susan Stepney.
  Unentangling nuclear magnetic resonance computing.
  Unconventional Computing 2007, Bristol, UK, July 2007. Luniver Press, 2007.

• John A. Clark, John Murdoch, John A. McDermid, Sevil Sen, Howard R. Chivers, Olwen Worthington.
  Threat Modeling for Ad Hoc Networks.
  ACITA 2007, Maryland, USA. 2007 2007

• Kester Clegg, Susan Stepney, Tim Clarke.
  Evolutionary search applied to reconfigurable analogue control.
  FPL 2007, Amsterdam, Netherlands, August 2007. IEEE 2007

• Kester Clegg, Susan Stepney, Tim Clarke.
  Using Feedback to Regulate Gene Expression in a Developmental Control Architecture.
  GECCO'07, London, UK, July 2007, pp.966-973. ACM Press 2007
  doi: 10.1145/1276958.1277154

• Gemma Danks, Susan Stepney, Leo Caves.
  Folding Protein-Like Structures with Open L-systems.
  ECAL 2007, Lisbon, Portugal, September 2007. LNAI 4648:1100-1109, Springer 2007
  doi: 10.1007/978-3-540-74913-4_110

• George Despotou, Dimitrios S. Kolovos, Richard F. Paige, Tim P. Kelly, Fiona Polack.
  Towards a Metamodel for Dependability Cases.
  Proc. OMG Software Assurance Workshop 2007, March 2007.

• Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke.
  Extreme programming security practices.
  Proc. Extreme Programming 2007, Lake Como, Italy, June 2007. LNCS 4536:226-230. Springer 2007
  doi: 10.1007/978-3-540-73101-6_42

• T. Knight, Jon Timmis.
  Comparison of a Multi-layered Artificial Immune System and Kohonen Networks.
  CEC 2007, Singapore, September 2007. pp.3735-3742, IEEE Press, 2007
  doi: 10.1109/CEC.2007.4424957

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Agile Model Editing in the Eclipse Modeling Framework using Executable Metamodel Annotations.
  Proc. Towers of Models Workshop, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.

• Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona Polack.
  Bridging the Epsilon Wizard Language and the Eclipse Graphical Modelling Framework.
  Modelling Symposium, Eclipse Summit Europe 2007, Ludwigsburg, Germany, October 2007.

• Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona Polack.
  Implementing the Interactive Television Applications Case Study using Epsilon.
  Proc. MDD Tool Implementers Forum, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.

• Peter May, Jon Timmis, Keith Mander.
  Immune and Evolutionary Aproaches to Software Mutation Testing.
  ICARIS 2007, Santos/SP, Brazil, August 2007. LNCS 4628:336-347, Springer, 2007
  doi: 10.1007/978-3-540-73922-7_29

• Miguel Mendao, Jon Timmis, Paul Andrews, M. Davies.
  The Immune System in Pieces: Computational Lessions from Degeneracy in the Immune System.
  FOCI'07, Hawaii, USA, April 2007, pp.394-400. IEEE Press, 2007
  doi: 10.1109/FOCI.2007.371502

• John Murdoch, John A. Clark, John A. McDermid, Howard R. Chivers and Olwen Worthington.
  Aggregation of Information Leaked by a MANET.
  ACITA 2007, Maryland, USA. 2007

• Nick D. Owens, Jon Timmis, Andrew J. Greensted, Andy M. Tyrrell.
  On Immune Inspired Homeostasis for Electronic Systems.
  ICARIS 2007, Santos/SP, Brazil, August 2007. LNCS 4628:216-227, Springer, 2007
  doi: 10.1007/978-3-540-73922-7_19

• Simon Poulding, Paul Emberson, Iain Bate, John A. Clark.
  An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.
  10th IEEE High Assurance Systems Engineering Symposium. pp53-62. IEEE Press, 2007
  doi: 10.1109/HASE.2007.27

• Andrew Secker, M. Davies, Alex A. Freitas, Jon Timmis, Miguel Mendao, Darren Flower.
  An Experimental Comparison of Classification Algorithms for the Hierarchical Prediction of Protein Function.
  UK KDD Symposium 2007, Canterbury, UK, April 2007.

• Susan Stepney, Tim Clarke, Peter Young.
  PLAZZMID: an agent-based architecture inspired by bee and bacterial genomes.
  ECAL 2007, Lisbon, Portugal, September 2007. LNAI 4648:1151-1160, Springer 2007
  doi: 10.1007/978-3-540-74913-4_115

• Steve L. Smith, S. J. Murant, Jon Timmis.
  Natural Computation Inspired by Protein Binding.
  IPCAT 2007, Oxford, UK, August 2007.

• Thomas Stibor, Jon Timmis.
  An Investigation into the Compression Quality of aiNET.
  FOCI'07, Hawaii, USA, April 2007, pp.495-502. IEEE Press, 2007
  doi: 10.1109/FOCI.2007.371518

• Thomas Stibor, Jon Timmis.
  Comments on Real-Valued Negative Selection vs Real-Valued Positive Selection and One-class Support Vector Machines.
  CEC 2007, Singapore, September 2007. pp.3727-3734, IEEE Press, 2007
  doi: 10.1109/CEC.2007.4424956

• Juan M. E. Tapiador, Julio C. Hernandez-Castro, John A. Clark.
  Heuristic Search for Non-Linear Cryptanalytic Approximations.
  CEC 2007, Singapore, September 2007. pp3561-3568. IEEE Press, 2007
  doi: 10.1109/CEC.2007.4424934

• Juan M. E. Tapiador, John A. Clark, Julio C. Hernandez-Castro.
  Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes.
  Cryptography and Coding 2007, Cirencester, UK, December 2007. LNCS 4887:99-117, Springer 2007
  doi: 10.1007/978-3-540-77272-9_7

• Andy M. Tyrrell, Jon Timmis, Andy Greensted, Nick Owens.
  Evolvable Hardware, the Fundamental Technology for Homeostasis.
  IEEE Workshop on Adaptive and Evolvable Hardware (WEAH2007), part of FOCI'07, Hawaii, USA, April 2007, pp.40-45. IEEE Press, 2007

• Andrew Weeks, Susan Stepney, Fiona Polack.
  Neutral Emergence and Coarse Graining.
  ECAL 2007, Lisbon, Portugal, September 2007. LNAI 4648:1131-1140, Springer 2007
  doi: 10.1007/978-3-540-74913-4_113

other

• Philip Garnett, Susan Stepney, Ottoline Leyser.
  Integrative Hybrid Modelling of Plant Shoot Branching.
  5th International Workshop on Functional Structural Plant Models: FSPM07, New Zealand, November 2007

• T. Nguyen, Fiona Polack, Susan Stepney, Ian Toyn.
  Practical use of real numbers in Z.
  Z User Meeting 2007, in conjunction with ICECCS 2007, Waikato, New Zealand, 11-14 July 2007

• Andrew Weeks, Susan Stepney, Fiona Polack.
  Neutral Emergence: a proposal.
  Symposium on Complex Systems Engineering, RAND Corporation, Santa Monica, CA, USA, 11-12 January 2007

• Hidehiro Yonezawa, Samuel L. Braunstein, Akira Furusawa.
  Teleporting below the vacuum-noise level: Non-local transfer of squeezing and entanglement.
  Quantum Electronics and Laser Science Conference 2007, Optical Society of America, 2007

books / proceedings

• Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney, eds.
  Proceedings of the 5th International Conference on Unconventional Computation (UC 2006), York, UK, September 2006.
  LNCS 4135. Springer, 2006.
  doi: 10.1007/11839132

• John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke, eds.
  Security in Pervasive Computing (SPC) 2006, York, UK, April 2006.
  LNCS 3934. Springer, 2006.
  doi: 10.1007/11734666

book chapters

• Nuno Amálio, Fiona Polack, Susan Stepney.
  UML + Z: UML augmented with Z.
  In M. Frappier, H. Habrias, eds. Software Specification Methods: an Overview Using a Case Study, new edn, chapter 5. Hermes Science Publishing, 2006

• Fiona Polack.
  SAZ: SSADM Version 4 and Z.
  In M. Frappier, H. Habrias, eds. Software Specification Methods: an Overview Using a Case Study, new edn, chapter 2. Hermes Science Publishing, 2006

• Susan Stepney, John A. Clark.
  Evolving Quantum Programs and Protocols.
  In M. Rieth, W. Schommers, eds. Handbook of Theoretical and Computational Nanotechnology, chapter 90. American Scientific Publishers, 2006

journal papers

• Michael Batty, Samuel L. Braunstein, Andrew J. Duncan.
  Extending the promise of the Deutsch-Jozsa-Hoyer algorithm for finite groups
  LMS Journal of Computation and Mathematics. 9:40-63, January 2006

• Samuel L. Braunstein.
  Quantum metrology: Size isn't everything
  Nature. 440:617-618, March 2006.
  doi: 10.1038/440617a
  [News and Views]

• Samuel L. Braunstein, Sibasish Ghosh, Toufik Mansour, Simone Severini, Richard C. Wilson.
  Some families of density matrices for which separability is easily tested
  Physical Review A. 73:012320-1/10, January 2006
  doi: 10.1103/PhysRevA.73.012320

• Samuel L. Braunstein, Sibasish Ghosh, Simone Severini.
  The Laplacian of a graph as a density matrix: A basic combinatorial approach to separability of mixed states.
  Annals of Combinatorics 10(3):291-317, 2006
  doi: 10.1007/s00026-006-0289-3

• Netta Cohen, J. W. Handley, R. D. Boyle, Samuel L. Braunstein, Elizabeth Berry.
  Experimental signature of registration noise in pulsed terahertz systems
  Fluctuation and Noise Letters. 6(1):L77-L84, March 2006
  doi: 10.1142/S0219477506003161

• Satoshi Koike, Hiroki Takahashi, Hidehiro Yonezawa, Nobuyuki Takei, Samuel L. Braunstein, Takao Aoki, Akira Furusawa.
  Demonstration of quantum telecloning of optical coherent states
  Physical Review Letters. 96:060504-1/4, June 2006
  doi: 10.1103/PhysRevLett.96.060504

• Pieter Kok, Samuel L. Braunstein.
  Relativistic quantum information processing with bosonic and fermionic interferometers
  International Journal of Quantum Information. 4(1):119-130, February 2006
  doi: 10.1142/S0219749906001736
  [Asher Peres Memorial Issue]

• Paul Massey, John A. Clark, Susan Stepney.
  Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming.
  Evolutionary Computation Journal 14(1):22-40, 2006.
  doi: 10.1162/evco.2006.14.1.21
  [Special Issue on the Best of GECCO 2004]

• T. P. Spiller, Kae Nemoto, Samuel L. Braunstein, W. J. Munro, P. van Loock, G. J. Milburn.
  Quantum computation by communication
  New Journal of Physics. 8:30-1/2, February 2006
  doi: 10.1088/1367-2630/8/2/030

• Susan Stepney, Samuel L. Braunstein, John A. Clark, Andy M. Tyrrell, Andy Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jon Timmis, Peter Welch, Robin Milner, Derek Partridge.
  Journeys in Non-Classical Computation II: Initial journeys and waypoints.
  Int. J. Parallel, Emergent and Distributed Systems. 21(2):97-125, April 2006
  doi: 10.1080/17445760500355454

• Thomas Stibor, Claudia Eckert, Jon Timmis.
  Artificial Immune Systems for IT-Security.
  it - Information Technology, 48:168-173, 2006
  doi: 10.1524/itit.2006.48.3.168

• Jon Timmis, Martyn Amos, Wolfgang Banzhaf, Andy M. Tyrrell.
  "Going back to our Roots": Second Generation Biocomputing.
  Int. J. Unconventional Computing. 2(4):349-382, 2006

• Jing Zhang, Samuel L. Braunstein
  Continuous-variable Gaussian analog of cluster states.
  Physical Review A. 73:032318-1/5, March 2006
  doi: 10.1103/PhysRevA.73.032318

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, Fiona Polack.
  A Formal Template Language enabling Metaproof.
  FM'06, Hamilton, Canada, August 2006. LNCS 4085:252-267, Springer, 2006
  doi: 10.1007/11813040_18

• Paul Andrews, Jon Timmis.
  On Diversity and Artificial Immune Systems: Incorporating a Diversity Operator into aiNET
  Proc. WIRN/NAIS, June 2005. LNCS 3931:293-306. Springer, 2006
  doi: 10.1007/11731177_37

• Paul Andrews, Jon Timmis.
  A Computational Model of Degeneracy in a Lymph Node
  ICARIS 2006, Oeiras, Portugal, September 2006. LNCS 4163:164-177. Springer, 2006
  doi: 10.1007/11823940_13

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse: hashing injective CLEAR codes, and security properties
  ISoLA 2006, Cyprus, November 2006

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse: finite exception logs, and validating the small
  30th Annual IEEE/NASA Software Engineering Workshop, Columbia, MD, USA, April 2006, pp.234-248. IEEE Press, 2006
  doi: 10.1109/SEW.2006.28

• Hao Chen, John A. Clark, Jeremy L. Jacob.
  Human Competitive Security Protocols Synthesis (poster paper)
  GECCO 2006, Seattle, WA, USA, July 2006, pp.1855-1856. ACM Press, 2006
  doi: 10.1145/1143997.1144297

• John A. Clark, Susan Stepney.
  Fusing Natural Computational Paradigms for Cryptography
  CEC-2006, Vancouver, Canada, July 2006, pp.200-206. IEEE Press, 2006

• Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke.
  Agile Development of Secure Web Applications
  ICWE 2006, Menlo Park, CA, USA, July 2006, pp.305-312. ACM Press, 2006
  doi: 10.1145/1145581.1145641

• Peter Hines.
  Physical Systems as Constructive Logics
  UC 2006, York, UK, September 2006, LNCS 4135:101-112. Springer, 2006.
  doi: 10.1007/11839132_9

• Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly, Fiona Polack.
  Requirements for Domain-Specific Languages
  1st ECOOP Workshop on Domain-Specific Program Development (DSPD), Nantes, France, July 2006

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Epsilon Development Tools for Eclipse
  Proc. Eclipse Summit 2006, Esslingen, Germany, October 2006

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Merging Models with the Epsilon Merging Language (EML).
  Proc. ACM/IEEE 9th Intl. Conf. Model Driven Engineering Languages and Systems, Genova, Italy, October 2006. LNCS 4199:215-229. Springer, 2006
  doi: 10.1007/11880240_16

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Towards using OCL for Instance-Level Queries in Domain-Specific Languages.
  OCLApps 2006, Genova, Italy, October 2006.

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  On-Demand Merging of Traceability Links with Models.
  2nd ECMDA Traceability Workshop, Bilbao, Spain, July 2006.

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  The Epsilon Object Language (EOL).
  EC-MDA 2006, Bilbao, Spain, July 2006. LNCS 4066:128-142. Springer, 2006
  doi: 10.1007/11787044_11

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack.
  Model Comparison: A Foundation for Model Composition and Model Transformation Testings.
  GaMMa 2006, 1st International Workshop on Global Integrated Model Management, Shanghai, May 2006, pp.13-20, ACM Press, 2006
  doi: 10.1145/1138304.1138308

• P. Mohr, N. Ryan, Jon Timmis.
  Recognising regular human activity through a learning context memory
  Proc. 3rd International Workshop of Modelling and Retrieval of Context (MRC 2006). Boston, USA, July 2006

• Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack.
  Adding an Action Semantics to MOF 2.0 (short paper)
  21st ACM Symposium on Applied Computing, Dijon, France, April 2006

• Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark.
  Deviational analyses for validating regulations on real systems.
  REMO2V workshop, CAiSE'06, Luxembourg, June 2006

• Susan Stepney, Fiona Polack, Heather Turner.
  Engineering Emergence.
  ICECCS'06, Stanford, CA, USA, August 2006, pp.89-97. IEEE Press, 2006
  doi: 10.1109/ICECCS.2006.1690358
  [invited paper]

• Thomas Stibor, Jon Timmis, Claudia Eckert.
  On the Use of Hyperspheres in Artificial Immune Systems as Antibody Recognition Regions
  ICARIS 2006, Oeiras, Portugal, September 2006. LNCS 4163:215-228. Springer, 2006

• Thomas Stibor, Jon Timmis, Claudia Eckert.
  On Permutation Masks in Hamming Negative Selection
  ICARIS 2006, Oeiras, Portugal, September 2006. LNCS 4163:122-135. Springer, 2006

• Thomas Stibor, Jon Timmis, Claudia Eckert.
  The Link between r-contiguous Detectors and k-CNF Satisfiability.
  CEC-2006, Vancouver, Canada, July 2006

• Thomas Stibor, Jon Timmis, C. Eckert.
  Generalization Regions in Hamming Negative Selection.
  New Trends in Intelligent Information Processing and Web Mining, Poland, June 2006

• Jon Timmis.
  Challenges for Artificial Immune Systems
  Proc. WIRN/NAIS, June 2005. LNCS 3931:355-367. Springer, 2006

• Peter Welch, Fred Barnes, Fiona Polack.
  Communicating Complex Systems.
  ICECCS'06, Stanford, CA, USA, pp.107-117, August 2006

• Le Xu, Mo-Yuen Chow, Jon Timmis, Leroy Taylor, Andrew Watkins.
  On the Investigation of Artificial Immune Systems on Imbalanced Data Classification for Power Distribution System Fault Cause Identification.
  CEC-2006, Vancouver, Canada, July 2006

• Yuan Zhan, John A. Clark.
  The State Problem for Test Generation in Simulink.
  GECCO 2006, Seattle, WA, USA, July 2006

other

• Kester Clegg, Susan Stepney.
  Binding Analogue Feedback to Digital Genomes: Bio-inspired Regulatory Control for Analogue Devices (abstract).
  ECSIS Symposium on Intelligent Systems for Defense and Security (ISDS), Iasi, Romania, September 2006

• Susan Stepney.
  Hypercomputation and the Grand Challenge in Non-Classical Computation.
  International Interdisciplinary Workshop on Future Trends in Hypercomputation, Sheffield, UK, September 2006

books / proceedings

• Mathieu S. Capcarrere, Alex A. Freitas, Peter J. Bentley, Colin G. Johnson, Jon Timmis, editors.
  Proceedings of the 8th European Conference on Artificial Life (ECAL 2005), Canterbury, UK, September 2005.
  LNAI 3630. Springer, 2005
  doi: 10.1007/11553090

• Christian Jacob, Marcin L. Pilat, Peter J. Bentley, Jon Timmis, editors.
  Proceedings of the 4th International Conference on Artificial Immune Systems (ICARIS 2005), Banff, Canada, August 2005.
  LNCS 3627. Springer, 2004.
  doi: 10.1007/11536444

book chapters

• Samuel L. Braunstein, P. Kok.
  Quantum teleportation in Europe
  In T. Van der Pyl, A. Karlson, M. Belina-Podgaetsky, eds, Quantum Information Processing and Communications in Europe, pp.57-61. European Commission, March 2005

• Mark Neal, Jon Timmis.
  Once More Unto the Breach: Towards Artificial Homeostasis?
  In Leandro N. de Castro, F. J. Von Zuben, eds, Recent Developments in Biologically Inspired Computing, pp.340-365. Idea Group, 2005

journal papers

• Samuel L. Braunstein.
  Squeezing as an irreducible resource.
  Physical Review A 71:055801-1/4, 2005
  [Included in the Virtual Journal of Quantum Information - June 2005]

• Samuel L. Braunstein.
  A quantum optical shutter.
  Journal of Optics B 7:S28-S31, 2005

• Samuel L. Braunstein, P. van Loock.
  Quantum information with continuous variables.
  Reviews of Modern Physics 77:513-577, 2005
  [Included in the Virtual Journal of Quantum Information - July 2005]

• Iain Brown, Susan Stepney, Anthony Sudbery, Samuel L. Braunstein.
  Searching for highly entangled multi-qubit states.
  J. Phys. A, 38:1119-1131, 2005
  doi: 10.1088/0305-4470/38/5/013

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  The design of S-boxes by simulated annealing.
  New Generation Computing, 23(3):219-231, May 2005

• Thomas N. Sherratt, Dan W. Franks.
  Do unprofitable prey evolve traits that profitable prey find difficult to exploit?
  Proc. Roy. Soc. London B: Biological Sciences, 272:2441-2447, 2005.

• Susan Stepney, Samuel L. Braunstein, John A. Clark, Andy M. Tyrrell, Andy Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter Welch, Robin Milner, Derek Partridge.
  Journeys in Non-Classical Computation I: A Grand Challenge for computing research.
  Int. J. Parallel, Emergent and Distributed Systems 20(1):5-19, March 2005
  doi: 10.1080/17445760500033291

• Susan Stepney, Robert E. Smith, Jon Timmis, Andy M. Tyrrell, Mark J. Neal, Andrew N. W. Hone.
  Conceptual Frameworks for Artificial Immune Systems.
  Int. J. Unconventional Computing. 1(3):315-338, July 2005

refereed workshop and conference papers

• Nuno Amálio, Fiona Polack, Susan Stepney.
  An Object-Oriented structuring for Z based on Views.
  ZB2005, Guildford, UK, April 2005. LNCS 3455:262-278, Springer, 2005
  doi: 10.1007/11415787_16

• Paul Andrews, Jon Timmis.
  Inspiration for the Next Generation of Artificial Immune Systems.
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:126-138. Springer, 2005

• Paul Andrews, Jon Timmis.
  On Diversity and Artificial Immune Systems: Incorporating a Diversity Operator into aiNET.
  International Workshop on Natural and Artificial Immune Systems, Italy, 2005

• M. Ayara, Jon Timmis, Rogerio De Lemos, S. Forrest.
  Immunising Automated Teller Machines
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:404-417. Springer, 2005

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse : finite sequence numbers and the Tower Pattern.
  FM 2005, Newcastle, UK, July 2005. LNCS 3582:382-398, Springer 2005
  doi: 10.1007/11526841_26

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenchment and the Mondex Electronic Purse (extended abstract).
  Proc. ASM'05, Paris, France, March 2005

• Samuel L. Braunstein.
  Quantum weight decision algorithm of a Boolean function.
  Proc. NATO Advanced Research Workshop on Decoherence, Entanglement and Information Protection in Complex Quantum Systems, Les Houches, France, April 2004. pp.17-26. Kluwer, 2005

• Samuel L. Braunstein, Byung-Soo Choi, S. Maitra, D. Chakrabarti, S. Ghosh, P. Mukhopadhyay.
  Entanglement in quantum information processing.
  Proc. ERATO conference on Quantum Information Science (EQIS 2005), Japan. pp.127-128. 2005

• John A. Clark, Susan Stepney, Howard Chivers.
  Breaking the Model: finalisation and a taxonomy of security attacks.
  REFINE 2005, Surrey, UK, April 2005. ENTCS 137:225-242. Elsevier 2005
  [best paper]

• Ed Clark, Andrew N. W. Hone, Jon Timmis.
  A Markov Chain Model of the B-cell Algorithm
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:318-330 Springer, 2005

• Xiaocheng Ge, Howard Chivers, Fiona Polack, Richard F. Paige.
  Adapting security risk analysis to the design of data-base-centric Web-based information systems
  ICSSEA 2005, CNAM, Paris, November 2005.

• L. B. Goncharova, Y. Jacques, C. Martin-Vide, A. O. Tarakanov, Jon Timmis.
  Biomolecular Immune-Computer: Theoretical Basis and Experimental Simulator
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:72-85 Springer, 2005

• Emma Hart, Jon Timmis.
  Application Areas of AIS: Past, Present and Future
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:483-497. Springer, 2005

• Chen Hao, John A. Clark and Jeremy L. Jacob.
  Synthesising Efficient and Effective Security Protocols.
  Proc. Workshop on Automated Reasoning for Security Protocol Analysis 2004. ENTCS 125(1):25-41. March 2005.

• Margaret Hill, Susan Stepney, Francis Wan.
  Penrose Life: ash and oscillators.
  ECAL 2005, Canterbury, UK, September 2005. LNAI 3630:471-480. Springer, 2005
  doi: 10.1007/11553090_48

• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
  An Agile and Extensible Code Generation Framework.
  XP2005, Sheffield, June 2005, LNCS 3556:226-229. Springer 2005
  doi: 10.1007/11499053_33

• Yang Liu, John A. Clark, Susan Stepney.
  "Devices are People Too": using process patterns to elicit security requirements in novel domains.
  In Security of Pervasive Computing, SPC'05, Boppard, Germany, April 2005. LNCS 3450. Springer, 2005
  doi: 10.1007/b135497

• Paul Massey, John A. Clark, Susan Stepney.
  Evolution of a Human-Competitive Quantum Fourier Transform algorithm using genetic programming.
  GECCO'05, Washington DC, June 2005, pp.1657-1664. ACM Press, 2005
  [Silver Medallist in the "Human Competitive GP" competition]

• John Newborough, Susan Stepney.
  A generic framework for population-based algorithms, implemented on multiple FPGAs.
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:43-55. Springer, 2005
  doi: 10.1007/11536444_4

• Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
  Refinement via Consistency Checking in MDA.
  REFINE 2005, Surrey, UK, April 2005. ENTCS 137:151-161. Elsevier 2005

• Fiona Polack, Susan Stepney.
  Emergent Properties do not Refine.
  REFINE 2005, Surrey, UK, April 2005. ENTCS 137:163-181. Elsevier 2005

• Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, Fred Barnes.
  An architecture for modelling emergence in CA-like systems.
  ECAL 2005, Canterbury, UK, September 2005. LNAI 3630:433-442. Springer, 2005
  doi: 10.1007/11553090_44

• Jemima Rossmorris, Susan Stepney.
  Requirements as Conjectures: intuitive DVD menu navigation.
  ZB2005, Guildford, UK, April 2005. LNCS 3455:172-186, Springer, 2005
  doi: 10.1007/11415787_11

• Andrew Secker, Alex A. Freitas, Jon Timmis.
  Towards a danger theory inspired artificial immune system for web mining.
  In A Scime, ed, Web Mining: applications and techniques, pp.145-168. Idea Group, 2005.

• Thitima Srivatanakul, John A. Clark, Fiona Polack.
  Stressing Security Requirements: Exploiting the Flaw Hypothesis Method with Deviational Techniques.
  SREIS 2005, Paris, France, August 2005.

• Thomas Stibor, P. Mohr, Jon Timmis, Claudia Eckert.
  Is Negative Selection Appropriate for Anomaly Detection?
  GECCO'05, Washington DC, June 2005, pp.321-328. ACM Press, 2005

• Thomas Stibor, Jon Timmis, Claudia Eckert.
  A Comparative Study of Real-Valued Negative Selection to Statistical Anomaly Detection Techniques.
  ICARIS 2005, Banff, Canada, August 2005. LNCS 3627:262-275 Springer, 2005
  [best paper]

• Thomas Stibor, Jon Timmis, Claudia Eckert.
  On the Appropriateness of Negative Selection defined over Hamming Shape Space As a Network Intrustion Detection System.
  CEC 2005, Edinburgh, UK, 2005. IEEE Press, 2005

• Jon Timmis
  Challenges for Artificial Immune Systems.
  International Workshop on Natural and Artificial Immune Systems, Italy, 2005

• Heather Turner, Susan Stepney.
  Rule Migration: Exploring a design framework for modelling emergence in CA-like systems.
  ECAL Workshop on Unconventional Computing, 2005

• Heather Turner, Susan Stepney, Fiona Polack.
  A simulation environment for emergent properties (extended abstract).
  ECCS'05, Paris, France, November 2005

• Andrew Weeks, Susan Stepney.
  Artificial catalysed reaction networks for search.
  ECAL Workshop on Artificial Chemistry, 2005

• Peter Worth, Susan Stepney.
  Growing Music: musical interpretations of L-Systems.
  EvoMUSART, EuroGP, Lausanne, Switzerland, March 2005. LNCS 3449:545-550. Springer, 2005
  doi: 10.1007/b106856

• Yuan Zhan, John A Clark.
  Search-Based Mutation Testing
  GECCO'05, Washington DC, June 2005. ACM Press, 2005

technical reports

• Susan Stepney, Fiona Polack, Ian Toyn.
  Diagram Patterns and Meta-patterns to support formal modelling.
  Technical Report YCS-2005-394, University of York. October 2005

• Joss Wright, Susan Stepney, John A. Clark, Jeremy L. Jacob.
  Formalizing Anonymity: a review.
  Technical Report YCS-2005-389, University of York. 2005

other

• Susan Stepney.
  Desert Island Column.
  Automated Software Engineering, 12(1):139-141, 2005
  doi: 10.1023/B:AUSE.0000049211.24331.cf

books / proceedings

• G. Nicosia, V. Cutello, Peter J. Bentley, Jon Timmis, editors.
  Proceedings of the 3rd International Conference on Artificial Immune Systems (ICARIS 2004), Sicily, September 2004.
  LNCS 3239. Springer, 2004.

book chapters

• Jon Timmis, T. Knight, Leandro N. de Castro, Emma Hart.
  An overview of artificial immune systems.
  In R. Paton, H. Bolouri, M. Holcombe, J. H. Parish, R. Tateson, eds, Computation in Cells and Tissues: Perspectives and Tools for Thought, pp.51-86. Springer 2004.

journal papers

• K. M. R. Audenaert, Samuel L. Braunstein.
  On strong superadditivity of the entanglement of formation.
  Communications in Mathematical Physics 246:443-452, 2004

• Michael Batty, Samuel L. Braunstein, Andrew J. Duncan, S. Rees.
  Quantum algorithms in group theory.
  Contemporary Mathematics 349:1-62, 2004

• Samuel L. Braunstein, K. Nemoto.
  Quantum coherence: myth or fact.
  Physics Letters A 333:378-381, 2004

• Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney.
  Playing the Game: cheating, loopholes, and virtual identity.
  ACM Computers and Society, 34(3), September 2004

• Hao Chen, John A. Clark, Jeremy L. Jacob.
  Automatic Design of Security Protocols.
  Computational Intelligence 20(3):503-516. August 2004

• Howard Chivers, John A. Clark.
  Smart Dust – Friend or Foe? Replacing Identity with Configuration Trust.
  Computer Networks 46:723-740. 2004

• John A. Clark, Jeremy L. Jacob, S. Maitra, P. Stanica.
  Almost Boolean Functions: the Design of Boolean Functions by Spectral Inversion.
  Computational Intelligence 20(3):450-462. August 2004

• Dan W. Franks, J. Noble.
  Warning Signals and Predator-Prey Coevolution.
  Proc. Roy. Soc. London B: Biological Sciences, 271:1859-1866, 2004.

• A. Gilchrist, K. Nemoto, W. J. Munro, T. C. Ralph, S. Glancy, Samuel L. Braunstein, G. J. Milburn.
  Schrödinger cats and their power for quantum information processing.
  Journal of Optics B 6:S828-S833, 2004

• P. Kok, Samuel L. Braunstein, J. P. Dowling.
  Quantum lithography, entanglement and Heisenberg-limited parameter estimation.
  Journal of Optics B 6:S811-S815, 2004

• H. Lee, U. Yurtsever, P. Kok, G. M. Hockney, C. Adami, Samuel L. Braunstein, J. P. Dowling.
  Towards photostatistics from photon-number discriminating detectors.
  Journal of Modern Optics 51:1517-1528, 2004

• J. Noble, Dan W. Franks.
  Social Learning in a Multi-Agent System.
  Computing and Informatics, 22:101-114, 2004.

• Andrew Watkins, Jon Timmis, Lois Boggess.
  Artificial Immune Recognition System (AIRS): An Immune Inspired Supervised Machine Learning Algorithm.
  Genetic Programming and Evolvable Machines, 5(3):291-317, 2004
  doi: 10.1023/B:GENP.0000030197.83685.94

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, and Fiona Polack
  Formal Proof from UML Models.
  ICFEM 2004, Seattle, USA. LNCS 3308:418-433, Springer, 2004
  doi: 10.1007/b102837

• Richard Banach, Czeslaw Jeske, Simon Fraser, Richard Cross, Mike Poppleton, Susan Stepney, Steve King.
  Approaching the Formal Design and Development of Complex Systems: the Retrenchment Position.
  Workshop on Software and Complex Systems, 9th IEEE Intl. Conf. on Engineering of Complex Computer Systems, Florence, Italy, April 2004

• Peter J. Bentley, Jon Timmis.
  A Fractal Immune Network.
  ICARIS 2004, Sicily, September 2004. LNCS 3239:133-145. Springer, 2004.

• Leo Caves, John A. Clark, Susan Stepney.
  Acquiring a Debt Worth Repaying.
  BioGEC workshop, GECCO'04, Seattle, June 2004

• Hao Chen, John A. Clark, Jeremy L. Jacob.
  The Synthesis of Effective and Efficient Security Protocols.
  2nd International Joint Conference on Automated Reasoning, Cork, Ireland. July 2004.

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  The design of S-boxes by simulated annealing.
  CEC-2004, Portland OR, USA, June 2004, pp.1533-1537. IEEE, 2004

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  Searching for cost functions.
  CEC-2004, Portland OR, USA, June 2004, pp.1517-1524. IEEE 2004

• Dan W. Franks, J. Noble.
  Effects of the topology of social networks on information transmission.
  From Animals to Animats 8, pp.395-404, 2004.

• Xiaocheng Ge, Fiona Polack, Regine Laleau
  Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment
  CAiSE 2004, Riga, Latvia, June 2004. LNCS 3084:234-247. Springer 2004
  doi: 10.1007/b98058

• M. Harman, John A. Clark.
  Metrics are Fitness Functions too.
  10th IEEE International Metrics Symposium, Chicago, USA. September 2004

• Paul Massey, John A. Clark, Susan Stepney.
  Evolving quantum circuits and programs through genetic programming.
  GECCO'04, Seattle, June 2004. LNCS 3103:569-580. Springer, 2004
  [best in GP stream]

• P. Mohr, N. Ryan, Jon Timmis.
  Exploiting Immunological Properties for Ubiqitous Computing Systems.
  ICARIS 2004, Sicily, September 2004. LNCS 3239:277-289. Springer, 2004
  doi: 10.1007/b100486

• Thitima Srivatanakul, John A. Clark, Fiona Polack
  Effective security requirements analysis: HAZOP and use cases
  ISC 2004, Palo Alto, CA, USA, September 2004, LNCS 3225:416-427, Springer 2004
  doi: 10.1007/b100936

• Pante Stanica, Subhamoy Maitra, John A. Clark.
  Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions.
  FSE 2004, Delhi, India, February 2004, Revised Papers. LNCS 3017:161-177. Spinger 2004

• Susan Stepney.
  Teaching Post-Classical Computation.
  ITiCSE, Leeds, UK, June 2004. ACM Press, 2004
  [keynote paper]

• Susan Stepney, Robert E. Smith, Jon Timmis, Andy M. Tyrrell.
  Towards a Conceptual Framework for Artificial Immune Systems.
  ICARIS 2004, Sicily, September 2004. LNCS 3239:53-64. Springer, 2004
  doi: 10.1007/b100486

• Jon Timmis, Camilla Edmonds.
  A Comment on opt-AINet: An Immune Network Algorithm for Optimisation.
  GECCO'04, Seattle, June 2004. LNCS 3102:308-317. Springer, 2004.

• Jon Timmis, C. Edmonds, J. Kelsey.
  Assessing the Performance of Two Immune Inspired Algorithms and a Hybrid Genetic Algorithm for Function Optimisation.
  CEC-2004, Portland OR, USA, June 2004, pp.1044-1051. IEEE, 2004

• Andrew Watkins, Jon Timmis.
  Exploiting Parallelism Inherent in AIRS, an Artificial Immune Classifier.
  ICARIS 2004, Sicily, September 2004. LNCS 3239:427-438. Springer, 2004.

• Yuan Zhan, John A. Clark.
  Search Based Automatic Test Data Generation at the Architectural Level.
  GECCO'04, Seattle, June 2004. LNCS 3103:1413-1424. Springer, 2004.

technical reports

• Hao Chen, John A. Clark, Jeremy L. Jacob.
  A Search-based Approach to the Automated Design of Security Protocols
  Technical Report YCS-2004-376, University of York, May 2004.

• Thitima Srivatanakul, John A. Clark, Fiona Polack
  Writing Effective Security Abuse Cases
  Technical Report YCS-2004-375, University of York, May 2004.

• Thitima Srivatanakul, John A. Clark, Fiona Polack
  Security Zonal Analysis
  Technical Report YCS-2004-374, University of York, May 2004.

• Samuel H. Valentine, Susan Stepney, Ian Toyn.
  A Z Patterns Catalogue II: definitions and laws, v0.1.
  Technical Report YCS-2004-383, University of York. October 2004

other

• Samuel L. Braunstein.
  Quantum computation: a tutorial [Arabic translation, 3 parts].
  Tronix Magazine. 8:6-8, 9:36-37, 10, 2004

• 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
  doi: 10.1023/B:GENP.0000036058.08897.cd

books / proceedings

• Jon Timmis, Peter J. Bentley, Emma Hart, editors.
  Proceedings of the 2nd International Conference on Artificial Immune Systems (ICARIS 2003), Edinburgh, UK, September 2003.
  LNCS 2787. Springer, 2003.

journal papers

• John A. Clark, Jose Javier Dolado, Mark Harman, Rob Hierons, Bryan Jones, Mary Lumkin, Brian Mitchell, Spiros Mancoridis, Kearton Rees, Marc Roper, Martin Shepperd.
  Reformulating Software Engineering as a Search Problem.
  IEE Proceedings – Software 150(3):161-175, 2003.

• Leandro N. de Castro, Jon Timmis.
  Artificial Immune Systems as a Novel Soft Computing Paradigm.
  Soft Computing, 7(8):526-544, 2003.

• Dan W. Franks, J. Noble.
  Batesian Mimics Influence Mimicry Ring Evolution.
  Proc. Roy. Soc. London B: Biological Sciences, 271:191-196, 2003.

• K. Nemoto, Samuel L. Braunstein
  Quantum coherence in the presence of unobservable quantities.
  Physical Review A 68:042326-1/4, 2003
  [Included in the Virtual Journal of Quantum Information - November 2003]

• Mark J. Neal, Jon Timmis.
  Timidity: A Useful Mechanism for Robot Control?
  Informatica, 27(2):197-204, 2003.

• A.K. Pati, Samuel L. Braunstein
  Quantum deleting and signalling.
  Physics Letters A 315:208-212, 2003

• J. Zhang, K. Peng, Samuel L. Braunstein
  Backaction-induced spin-squeezed states in detuned quantum-nondemolition measurement.
  Physical Review A 68:035802-1/4, 2003

• J. Zhang, K. Peng, Samuel L. Braunstein
  Quantum-state transfer from light to macroscopic oscillators.
  Physical Review A 68:013808-1/5, 2003
  [Included in the Virtual Journal of Quantum Information - July 2003]

refereed workshop and conference papers

• Nuno Amálio, Fiona Polack
  Comparison of formalisation approaches of UML class constructs in Z and Object-Z
  ZB2003, Turku, Finland, June 2003. LNCS 2651. Springer, 2003.

• Nuno Amálio, Susan Stepney, Fiona Polack.
  Modular UML Semantics: Interpretations in Z based on Templates and Generics.
  FACS'03 Workshop on Formal Aspects of Component Software, Pisa. UNU/IIST Technical Report 284. 2003

• Samuel L. Braunstein, A. N. Boto, P. Kok, D. S. Abrams, C. P. Williams, J. P. Dowling.
  Quantum lithography.
  Fluctuations and Noise in Photonics and Quantum Optics, Santa Fe, USA, June 2003. Proc. SPIE, 5111:268-272, 2003.

• Hao Chen, John A. Clark, Jeremy L. Jacob.
  Automatic Design of Security Protocols.
  CEC-2003, Canberra, Australia, December 2003. IEEE, 2003.

• Howard Chivers, John A. Clark, Susan Stepney.
  Smart Devices and Software Agents: the basics of good behaviour.
  In Security of Pervasive Computing, SPC'03, Boppard, Germany. LNCS 2804. Springer, 2003

• John A. Clark.
  Nature-inspired Cryptography: Past, Present and Future.
  CEC-2003, Canberra, Australia, December 2003. IEEE, 2003.
  [invited paper]

• John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica
  Almost Boolean Functions: the Design of Boolean Functions by Spectral Inversion.
  CEC-2003, Canberra, Australia, December 2003, 3:2173-2180, IEEE, 2003.

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  Secret Agents Leave Big Footprints: how to plant a trapdoor in a cryptographic function and why you might not get away with it..
  GECCO'03, Chicago, July 2003. LNCS 2724:2022-2033. Springer, 2003

• Alex A. Freitas, Jon Timmis.
  Revisiting the Foundations of Artificial Immune Systems: A Problem Oriented Perspective.
  ICARIS 2003, Edinburgh, September 2003. LNCS 2787:229-241. Springer, 2003.

• J. Kelsey, Jon Timmis.
  Immune Inspired Somatic Contiguous Hypermutation for Function Optimisation.
  GECCO'03, Chicago, July 2003. LNCS 2723. Springer, 2003
  [best AIS paper]

• J. Kelsey, Jon Timmis, Andrew N. W. Hone.
  Chasing Chaos.
  CEC-2003, Canberra, Australia, December 2003, pp.413-419. IEEE, 2003

• T. Knight, Jon Timmis.
  A Multi-layered Immune Inspired Machine Learning Algorithm.
  In A. Lotfi and M. Garibaldi, ed, Applications and Science in Soft Computing, pp.195-202. Springer 2003.

• Peter May, Keith Mander, Jon Timmis.
  Mutation Testing: An Artificial Immune System Approach.
  UK-Softest. UK Software Testing Workshop, York, UK, September 2003.

• Peter May, Keith Mander, Jon Timmis.
  Software Vaccination: An Artificial Immune Systems Approach.
  ICARIS 2003, Edinburgh, September 2003. LNCS 2787:81-92. Springer, 2003
  doi: 10.1007/b12020

• K. Nemoto, A. Gilchrist, W. J. Munro, T. C. Ralph, Samuel L. Braunstein, G. J. Milburn.
  Quantum information processing with Schrödinger cats.
  Fluctuations and Noise in Photonics and Quantum Optics, Santa Fe, USA, June 2003. Proc. SPIE, 5111:434-443, 2003.

• K. Nemoto, W. J. Munro, G. J. Milburn, Samuel L. Braunstein.
  Quantum metrology: detection of weak forces using Schrödinger cat resources.
  QCMC'02, Cambridge MA, USA, July 2002. pp.333-336. Rinton Press, 2003.

• Matthew D. Russell, John A. Clark, Susan Stepney.
  Making the Most of Two Heuristics: Breaking Transposition Ciphers with Ants.
  CEC-2003, Canberra, Australia, December 2003, 4:2653-2658. IEEE, 2003

• Matthew D. Russell, John A. Clark, Susan Stepney.
  Using Ants to Attack a Classical Cipher. (poster paper)
  GECCO'03, Chicago, July 2003. LNCS 2723:146-147. Springer, 2003

• Andrew Secker, Alex A. Freitas, Jon Timmis.
  AISEC: An Artificial Immune System for E-mail Classification.
  CEC-2003, Canberra, Australia, December 2003, pp.131-139. IEEE, 2003

• Andrew Secker, Alex A. Freitas, Jon Timmis.
  A Danger Theory Approach to Web Mining.
  ICARIS 2003, Edinburgh, September 2003. LNCS 2787:156-167. Springer, 2003.

• Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack.
  Challenging formal specifications by mutation: a CSP security example.
  APSEC-2003: 10th Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003, pp.340-350. IEEE, 2003.

• Susan Stepney.
  Critical Critical Systems.
  FASeC'02, London, December 2002. LNCS 2629:62-70. Springer, 2003
  doi: 10.1007/b94774
  [invited paper]

• Susan Stepney, John A. Clark, Colin Johnson, Derek Partridge, Robert E. Smith.
  Artificial Immune Systems and the Grand Challenge for Non-Classical Computation.
  ICARIS 2003, Edinburgh, September 2003. LNCS 2787:204-216. Springer, 2003
  doi: 10.1007/b12020

• Susan Stepney, Fiona Polack, Ian Toyn.
  An Outline Pattern Language for Z.
  ZB2003, Turku, Finland, June 2003. LNCS 2651:2-19, Springer, 2003.

• Susan Stepney, Fiona Polack, Ian Toyn.
  Patterns to Guide Practical Refactoring.
  ZB2003, Turku, Finland, June 2003. LNCS 2651:20-39. Springer, 2003.

technical reports

• Fiona Polack
  Exploring the informal translation of OMT object models in B
  Technical Report YCS-2003-351, University of York. 2003

• Susan Stepney.
  CSP/FDR2 to Handel-C translation.
  Technical Report YCS-2003-357, University of York. June 2003.

• Susan Stepney, Ian T. Nabney.
  The DeCCo Project Papers.
  Technical Report YCS-2003-358--363, University of York. June 2003.

• Susan Stepney, Fiona Polack, Ian Toyn.
  A Z Patterns Catalogue I: specification and refactorings, v0.1.
  Technical Report YCS-2003-349, University of York. January 2003.

other

• Robin Milner, Susan Stepney.
  Nanotechnology: Computer Science opportunities and challenges.
  Submission by the UK Computing Research Committee to the Nanotechnology Working Group of the Royal Society and the Royal Academy of Engineering. August, 2003

books / proceedings

• Leandro N. de Castro, Jon Timmis.
  Artificial Immune Systems: A New Computational Approach.
  Springer 2002.

• Jon Timmis, Peter J. Bentley, editors.
  ICARIS 2002, Kent, UK, September 2002.
  University of Kent, 2002.

journal papers

• S. D. Bartlett, B. C. Sanders, Samuel L. Braunstein, K. Nemoto.
  Efficient classical simulation of continuous variable quantum information processes.
  Physical Review Letters 88:097904/1-4, 2002
  [Included in the Virtual Journal of Quantum Information - March 2002]

• Samuel L. Braunstein
  Quantum teleportation.
  Fortschritte der Physik 50:608-613, 2002

• W. J. Munro, K. Nemoto, G. J. Milburn, Samuel L. Braunstein
  Weak force detection with superposed coherent states.
  Physical Review A 66:023819-1/6, 2002
  [Included in the Virtual Journal of Quantum Information - September 2002]

• K. Nemoto, Samuel L. Braunstein
  A simulated photon-number detector in quantum information processing.
  Quantum Information and Computation 2:556-559, 2002. (special issue)

• K. Nemoto, Samuel L. Braunstein
  Equivalent efficiency of a simulated photon-number detector.
  Physical Review A 66:032306-1/4, 2002
  [Included in the Virtual Journal of Quantum Information - October 2002]

• A. K. Pati, Samuel L. Braunstein
  Speed-up and entanglement in quantum searching.
  Quantum Information and Computation 2:399-409, 2002

refereed workshop and conference papers

• M. Ayara, Jon Timmis, Rogerio de Lemos, Leandro N. de Castro, R. Duncan.
  Negative selection: How to generate detectors.
  ICARIS 2003, Canterbury, UK, pp.89-98, September 2002.

• J. Bowen, K. Bogdanov, John A. Clark, R. Hierons, M. Harman, P. Krause.
  FORTEST: Formal Methods and Testing.
  COMPSAC 2002. pp. 91-104, 2002

• John A. Clark, Jeremy L. Jacob.
  Fault Injection and a Timing Channel on an Analysis Technique.
  EUROCRYPT 2002, Amsterdam, The Netherlands, April 2002. LNCS 2332:181-196. Springer 2002

• John A. Clark, Jeremy L. Jacob, Susan Stepney, S. Maitra, William Millan.
  Evolving Boolean Functions Satisfying Multiple Criteria.
  INDOCRYPT 2002, Hyderabad, December 2002. LNCS 2551:246-259. Springer, 2002

• Leandro N. de Castro, Jon Timmis.
  Hierarchy and convergance of immune networks: Basic ideas and premilinary results.
  ICARIS 2003, Canterbury, UK, pp.231-240, September 2002.

• Leandro N. de Castro, Jon Timmis.
  An artificial immune network for multimodal optimisation.
  CEC 2002, Honolulu, Hawaii, USA, May 2002, pp.699-704. IEEE Press, 2002.

• Leandro N. de Castro, Jon Timmis.
  Artificial Immune Systems: A Novel Approach to Pattern Recognition.
  In L Alonso J Corchado and C Fyfe, eds, Artificial Neural Networks in Pattern Recognition, pp.67-84. University of Paisley 2002.

• Dan W. Franks, J. Noble.
  Conditions for the Evolution of Mimicry.
  From Animals to Animats 7, pp.353-354, 2002.

• Dan W. Franks, J. Noble.
  The Origins of Mimicry Rings.
  Proc. 8th International Conference on Artificial Life, pp.186-191, 2002.

• T. Knight, Jon Timmis.
  A Multi-Layered Immune Inspired Approach to Data Mining.
  Proc. 4th International Conference on Recent Advances in Soft Computing, Nottingham, UK, pp.266-271, December 2002.

• Regine Laleau, Fiona Polack
  Coming and Going from UML to B: a proposal to support traceability in rigorous IS development
  ZB2002, Grenoble, France, January 2002. LNCS 2272, Springer, 2002.
  

• J. Noble, Dan W. Franks.
  Social Learning Mechanisms Compared in a Simple Environment.
  Proc. 8th International Conference on Artificial Life, pp.379-385, 2002.

• Susan Stepney, Fiona Polack, I. Toyn.
  Refactoring in Maintenance and Development of Z Specifications and Proofs.
  REFINE 2002, Copenhagen, July 2002. ENTCS 70(3). Elsevier, 2002

• Jon Timmis, Rogerio De Lemos, M. Ayara, R. Duncan.
  Towards immune inspired fault tolerance in embedded systems.
  Proc. 9th International Conference on Neural Information Processing, pp.1459-1463. IEEE, November 2002.

• Ian Toyn, Susan Stepney.
  Characters + Mark-up = Z Lexis.
  ZB2002, Grenoble, France, January 2002. LNCS 2272:100-119, Springer, 2002.

• A. Watkins, Jon Timmis.
  Artificial Immune Recognition System (AIRS): Revisions and Refinements.
  ICARIS 2003, Canterbury, UK, pp.173-181, September 2002.

technical reports

• David Cooper, Susan Stepney, Jim Woodcock.
  Derivation of Z Refinement Proof Rules.
  Technical Report YCS-2002-347, University of York. December 2002.