| 2025 | AAAI | Text2midi: Generating Symbolic Music from Captions. | Keshav Bhandari, Abhinaba Roy, Kyra Wang, Geeta Puri, Simon Colton, Dorien Herremans |
| 2025 | EvoMUSART | Yin-Yang: Developing Motifs with Long-Term Structure and Controllability. | Keshav Bhandari, Geraint A. Wiggins, Simon Colton |
| 2025 | ICLR | Aria-MIDI: A Dataset of Piano MIDI Files for Symbolic Music Modeling. | Louis Bradshaw, Simon Colton |
| 2025 | IJCNN | ImprovNet - Generating Controllable Musical Improvisations with Iterative Corruption Refinement. | Keshav Bhandari, Sungkyun Chang, Tongyu Lu, Fareza R. Enus, Louis Bradshaw, Dorien Herremans, Simon Colton |
| 2024 | EvoMUSART | Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation. | Keshav Bhandari, Simon Colton |
| 2023 | AAAI | A Tool for Generating Controllable Variations of Musical Themes Using Variational Autoencoders with Latent Space Regularisation. | Berker Banar, Nick Bryan-Kinns, Simon Colton |
| 2023 | EvoMUSART | Automatically Adding to Artistic Cultures. | Simon Colton, Berker Banar |
| 2023 | EvoMUSART | Extending Generative Neo-Riemannian Theory for Event-Based Soundtrack Production. | Simon Colton, Sara Cardinale |
| 2022 | MMSP | Identifying Critical Decision Points in Musical Compositions using Machine Learning. | Berker Banar, Simon Colton |
| 2022 | NeSy | Towards Educating Artificial Neural Systems. | Simon Colton |
| 2021 | GECCO | Expressivity of parameterized and data-driven representations in quality diversity search. | Alexander Hagg, Sebastian Berns, Alexander Asteroth, Simon Colton, Thomas Bck |
| 2018 | FDG | Curious users of casual creators. | Mark J. Nelson, Swen E. Gaudl, Simon Colton, Sebastian Deterding |
| 2017 | CHI | Mixed-Initiative Approaches to On-Device Mobile Game Design. | Mark J. Nelson, Simon Colton, Edward Jack Powley, Swen E. Gaudl, Peter Ivey, Rob Saunders, Blanca Prez Ferrer, Michael Cook |
| 2013 | IDA | Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices. | Matic Perovsek, Bojan Cestnik, Tanja Urbancic, Simon Colton, Nada Lavrac |
| 2012 | ECAI | Computational Creativity: The Final Frontier? | Simon Colton, Geraint A. Wiggins |
| 2008 | AISC | A Global Workspace Framework for Combining Reasoning Systems. | John William Charnley, Simon Colton |
| 2006 | CADE | Automatic Construction and Verification of Isotopy Invariants. | Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton |
| 2006 | ECAI | Automatic Generation of Implied Constraints. | John William Charnley, Simon Colton, Ian Miguel |
| 2006 | ILP | Boosting Descriptive ILP for Predictive Learning in Bioinformatics. | Ning Jiang, Simon Colton |
| 2004 | CADE | Automatic Generation of Classification Theorems for Finite Algebras. | Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland |
| 2004 | ECAI | Lakatos-Style Automated Theorem Modification. | Simon Colton, Alison Pease |
| 2003 | CADE | The Homer System. | Simon Colton, Sophie Huczynska |
| 2003 | ILP | ILP for Mathematical Discovery. | Simon Colton, Stephen H. Muggleton |
| 2002 | AISC | Making Conjectures about Maple Functions. | Simon Colton |
| 2002 | AISC | Employing Theory Formation to Guide Proof Planning. | Andreas Meier, Volker Sorge, Simon Colton |
| 2002 | CADE | The HR Program for Theorem Generation. | Simon Colton |
| 2002 | ISAIM | The NumbersWithNames Program. | Simon Colton, Louise A. Dennis |
| 2002 | ISAIM | Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. | Simon Colton, Geoff Sutcliffe |
| 2001 | CP | Constraint Generation via Automated Theory Formation. | Simon Colton, Ian Miguel |
| 2000 | AAAI | Automatic Invention of Integer Sequences. | Simon Colton, Alan Bundy, Toby Walsh |
| 2000 | CADE | Workshop: The Role of Automated Deduction in Mathematics. | Simon Colton, Volker Sorge, Ursula Martin |
| 2000 | ICML | Automatic Identification of Mathematical Concepts. | Simon Colton, Alan Bundy, Toby Walsh |
| 1999 | IJCAI | Automatic Concept Formation in Pure Mathematics. | Simon Colton, Alan Bundy, Toby Walsh |
| 1998 | AAAI | HR - Automatic Concept Formation in Finite Algebras. | Simon Colton |