19982020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Artificial Intelligence, Doctor of Philosophy, University of Edinburgh

Award Date: 1 Jul 2001

Pure Mathematics, Master of Science with Distinction, University of Liverpool

Award Date: 1 Sep 1996

Mathematics, Bachelor of Science (Honours), Durham University

Award Date: 1 Jun 1994

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Adapting and enhancing evolutionary art for casual creation

Colton, S., McCormack, J., Berns, S., Petrovskaya, E. & Cook, M., 2020, Artificial Intelligence in Music, Sound, Art and Design: 9th International Conference, EvoMUSART 2020 Held as Part of EvoStar 2020 Seville, Spain, April 15–17, 2020 Proceedings. Romero, J., Ekárt, A., Martins, T. & Correia, J. (eds.). Cham Switzerland: Springer, p. 17-34 18 p. (Lecture Notes in Computer Science ; vol. 12103).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Camera Obscurer: generative art for design inspiration

Singh, D., Rajcic, N., Colton, S. & McCormack, J., 2019, Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019 Held as Part of EvoStar 2019 Leipzig, Germany, April 24–26, 2019 Proceedings. Ekárt, A., Liapis, A. & Castro Pena, M. L. (eds.). Cham Switzerland: Springer, p. 51-68 18 p. (Lecture Notes in Computer Science ; vol. 11453).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

The use of automated theory formation in support of hazard analysis

Ireland, A., Llano, M. T. & Colton, S., 2018, NASA Formal Methods : 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17–19, 2018 Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Cham Switzerland: Springer, p. 237-243 7 p. (Lecture Notes in Computer Science ; vol. 10811 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Automated fictional ideation via knowledge base manipulation

Llano, M. T., Colton, S., Hepworth, R. & Gow, J., 11 Jan 2016, In : Cognitive Computation. 8, 2, p. 153-174 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
12 Citations (Scopus)

Semi-automated design space exploration for formal modelling

Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016 Linz, Austria, May 23–27, 2016 Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Cham Switzerland: Springer, p. 282-289 8 p. (Lecture Notes in Computer Science ; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review