| 2011 | CogSci | Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. | Srivas Chennu, Howard Bowman, Brad Wyble |
| 2010 | ICANN | On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. | Li Su, Philip J. Barnard, Howard Bowman |
| 2003 | FORTE | Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. | Rodolfo Gmez, Howard Bowman |
| 2001 | FORTE | Time and Action Lock Freedom Properties for Timed Automata. | Howard Bowman |
| 2000 | IFM | Specification and Analysis of Automata-Based Designs. | Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
| 1998 | TABLEAUX | A Tableau Method for Interval Temporal Logic with Projection. | Howard Bowman, Simon J. Thompson |
| 1997 | FM | Viewpoint Consistency in Z and LOTOS: A Case Study. | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
| 1997 | FORTE | Disjunction of LOTOS Specifications. | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
| 1996 | FM | Consistency and Refinement for Partial Specification in Z. | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
| 1996 | FORTE | Comparing LOTOS and Z Refinement Relations. | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
| 1995 | SAC | Modelling distributed systems using Z. | Howard Bowman, John Derrick |
| 1994 | PODC | Consistency and Conformance in ODP (Abstract). | Howard Bowman, John Derrick |
| 1994 | PODC | Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). | Howard Bowman, John Derrick, Richard E. Jones |
| 1993 | FORTE | Time Versus Abstraction in Formal Description. | Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd |