Determining the Specification of a Control System: An Illustrative Example. - Joey W. Coleman (RODIN Book, 2006)

Atomicity: A Unifying Concept in Computer Science. - Joey W. Coleman; Cliff B. Jones (J. Univers. Comput. Sci., 2007)

A Structural Proof of the Soundness of Rely/guarantee Rules. - Joey W. Coleman; Cliff B. Jones (J. Log. Comput., 2007)

Expression Decomposition in a Rely/Guarantee Context. - Joey W. Coleman (VSTTE, 2008)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

Semantics of Co-simulation. - Joey W. Coleman; Kenneth Lausdahl; Peter Gorm Larsen (Collaborative Design for Embedded Systems, 2014)

Migrating to an Extensible Architecture for Abstract Syntax Trees. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; Joey W. Coleman; Kenneth Lausdahl (WICSA, 2015)

A secure dynamic collaboration environment in a cloud context. - Chris Piechotta; Martin Grooss Olsen; Adam Enø Jensen; Joey W. Coleman; Peter Gorm Larsen (Future Gener. Comput. Syst., 2016)