| 2017 | SEFM | A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. | Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito |
| 1997 | ICALP | A Semantically Sound Actor Tranlsation. | Ian A. Mason, Carolyn L. Talcott |
| 1994 | ICIP | Identification of Events from 3D Volumes of Seismic Data. | Peter Henry Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox |
| 1994 | ICPR | Extraction of events from 3D volumes of seismic data. | Peter H. Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox |
| 1994 | ISMIS | The Semantics of Propositional Contexts. | Sasa Buvac, Vanja Buvac, Ian A. Mason |
| 1993 | AAAI | Propositional Logic of Context. | Sasa Buvac, Ian A. Mason |
| 1993 | BMVC | Seismic Time Section Analysis Using Machine Vision. | Peter H. Tu, Andrew Zisserman, Ian A. Mason |
| 1992 | CONCUR | Towards a Theory of Actor Computation. | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | CSL | A Theory of Classes for a Functional Language with Effects. | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | LICS | References, Local Variables and Operational Reasoning | Ian A. Mason, Carolyn L. Talcott |
| 1991 | PEPM | Program Transformations for Configuring Components. | Ian A. Mason, Carolyn L. Talcott |
| 1989 | ICALP | Programming, Transforming, and Providing with Function Abstractions and Memories. | Ian A. Mason, Carolyn L. Talcott |
| 1989 | LICS | Axiomatizing Operational Equivalence in the Presence of Side Effects | Ian A. Mason, Carolyn L. Talcott |
| 1986 | LICS | Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation | Ian A. Mason |