Search research publications and outputs

  1. 2015
  2. Isabelle/UTP: A Mechanised Theory Engineering Framework

    Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. A Metamodel for the Evolution of Evolution

    Andrews, PAUL. S. & Stepney, S., 2015, European Conference of Artificial Life 2015. MIT Press, p. 621-628

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  4. Conservation of matter increases evolutionary activity

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 98-105

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. Embedded Dynamic Improvement

    Burles, N. J., Swan, J., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A. & Veerapen, N., 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: ACM, p. 831-832

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Environmental bias forces parasitism in Tierra

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 294-301

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Genome-wide mouse embryonic stem cell regulatory network self-organisation: a big data CoSMoS computational modelling approach.

    Greaves, R. B., Dietmann, S., Smith, A., Stepney, S. & Halley, J. D., 2015, CoSMoS workshop, York, UK, July 2015. Luniver Press, p. 31-66

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  8. Stochastic modeling, analysis and verification of mission-critical systems and processes

    Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Templar – A Framework for Template-Method Hyper-Heuristics

    Swan, J. & Burles, N. J., 2015, Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Machado, P., Heywood, M., McDermott, J., Castelli, M., Garcia-Sanchez, P., Burelli, P., Risi, S. & Sim, K. (eds.). Cham: Springer International Publishing, p. 205-216 (Lecture Notes in Computer Science; vol. 9025).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Wallace: An efficient generic evolutionary framework

    Timperley, C. S. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 365-372

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)