| 2016 | ENASE | Zoetic Data and their Generators. | Paul A. Bailes, Colin J. M. Kemp |
| 2016 | ENASE | Software Engineering Foundations of Zoetic Data and Totally Functional Programming. | Paul A. Bailes, Colin J. M. Kemp |
| 2014 | ENASE | Towards a Discipline of Software Engineering Forensics Analysis. | Paul A. Bailes, Christine Cornish, Toby Myers, Louis Rago, Nick Tate, Mal Thatcher |
| 2014 | SoMeT | From Computer Science to Software Engineering - A Programming-level Perspective. | Paul A. Bailes, Leighton Brough, Colin J. M. Kemp |
| 2012 | ICSE | Making sense of recursion patterns. | Paul A. Bailes, Leighton Brough |
| 2012 | SEW | Self-Definition for Software Development. | Barry Wilks, Paul A. Bailes |
| 2003 | COMPSAC | Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. | Paul A. Bailes, Colin J. M. Kemp |
| 1997 | APSEC | Mapping Ada Source Code into an Abstract Program Space. | Paul A. Bailes, Paul Burnim, Murray Chapman |
| 1995 | APSEC | Re-engineering 4GL-based Information System Applications. | John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake |
| 1994 | APSEC | Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. | Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake |
| 1993 | ICCI | Why Functional Languages Really Need Parallelism. | Paul A. Bailes, Ming Gong, Andrew Moran |
| 1993 | ICCI | Preprocessing First-Class Functions for Ada. | Paul A. Bailes, Dan B. Johnston, Eric J. Salzman |
| 1980 | COLING | An Experimental Applicative Programming Language For Linguistics And String Processing. | Paul A. Bailes, Larryi H. Reeker |