| 2013 | CloudCom | Richer Requirements for Better Clouds. | Tom Kirkham, Brian Matthews, Keith G. Jeffery, Karim Djemame, Django Armstrong |
| 2013 | DATA | Data Curation Framework for Facilities Science. | Vasily Bunakov, Brian Matthews |
| 2009 | SRDS | DToken: A Lightweight and Traceable Delegation Architecture for Distributed Systems. | Erica Y. Yang, Brian Matthews |
| 2008 | COMPSAC | The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. | F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, Robert Harrison, Vladimir Villaseor Herrera, A. Chowdrey |
| 2005 | DC | SKOS Core: Simple knowledge organisation for the Web. | Alistair J. Miles, Brian Matthews, Michael D. Wilson, Dan Brickley |
| 2004 | AIMSA | An Experiment on Modelling Agents and Knowledge for the Semantic Web. | Alvaro E. Arenas, Brian Matthews |
| 2004 | EKAW | Toward a Library of Problem-Solving Methods on the Internet. | Alvaro E. Arenas, Brian Matthews |
| 2000 | ECOOP | Ionic Types. | Simon A. Dobson, Brian Matthews |
| 1999 | FM | Formal Development of Databases in ASSO and B. | Brian Matthews, Elvira Locuratolo |
| 1998 | EJC | On the Relationship between ASSO and B. | Elvira Locuratolo, Brian Matthews |
| 1995 | SOFSEM | Formal Methods in Practice: A Comparison of Two Support Systems for Proof. | Juan Bicarregui, Brian Matthews |