The Clean Termination of Pascal Programs. - Derek Coleman; Jane W. Hughes (Acta Informatica, 1979)

Engineering data processing programs for multiple microprocessors. - Derek Coleman; Jane W. Hughes; Malcolm S. Powell (Microprocess. Microsystems, 1979)

An Assessment of Concurrent Pascal. - Derek Coleman; Robin M. Gallimore; Jane W. Hughes; Malcolm S. Powell (Softw. Pract. Exp., 1979)

Concurrent Pascal - An Appraisal. - Derek Coleman (On the Construction of Programs, 1980)

Partial Correctness of Distributed Programs. - Derek Coleman; Robin M. Gallimore (Program Specification, 1981)

Specification of Distributed Programs. - Derek Coleman; Robin M. Gallimore (Program Specification, 1981)

KWIC-index generation. - Jørgen Steensgaard-Madsen; Jane W. Hughes; Malcolm S. Powell; Hartmut Ehrig; Hans-Jörg Kreowski; Leif Sandegaard Nielsen; Jean-Raymond Abrial; Ib Holm Sørensen; Robin M. Gallimore; Derek Coleman; Joseph A. Goguen (Program Specification, 1981)

A Method for the Syntax Directed Design of Multiprograms. - Derek Coleman; Jane W. Hughes; Malcolm S. Powell (IEEE Trans. Software Eng., 1981)

Architecture for Conditional Term Rewriting. - Tony Rush; Derek Coleman (CTRS, 1987)

The design of a rewrite rule interpreter from algebraic specifications. - Derek Coleman; Robin M. Gallimore; Victoria Stavridou (Softw. Eng. J., 1987)

UMIST OBJ: A Language for Executable Program Specifications. - Robin M. Gallimore; Derek Coleman; Victoria Stavridou (Comput. J., 1989)

Graphical Specification of Object-Oriented Systems. - Stephen Bear; Phillip Allen; Derek Coleman; Fiona Hayes (OOPSLA/ECOOP, 1990)

Formal Specification and Design Time Testing. - Christopher Paul Gerrard; Derek Coleman; Robin M. Gallimore (IEEE Trans. Software Eng., 1990)

Formal Techniques for OO Software Development (Panel). - Dennis de Champeaux; Pierre America; Derek Coleman; Roger Duke; Doug Lea; Gary T. Leavens; Fiona Hayes (OOPSLA, 1991)

Coherent Models for Object-Oriented Analysis. - Fiona Hayes; Derek Coleman (OOPSLA, 1991)

Integrating analysis and design methods (abstract). - Derek Coleman; Paul Jeremaes (OOPSLA Addendum, 1992)

Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. - Derek Coleman; Fiona Hayes; Stephen Bear (IEEE Trans. Software Eng., 1992)

How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel). - Steven Fraser 001; Kent L. Beck; Grady Booch; Derek Coleman; James Coplien; Richard Helm; Kenneth S. Rubin (OOPSLA, 1994)

How do teams shape objects? - how do objects shape teams? - Steven Fraser 001; Honna Segel; Kent L. Beck; Grady Booch; Derek Coleman; James Coplien; Richard Helm; Kenneth S. Rubin (OOPSLA Addendum, 1994)

Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard. - Ruth Malan; Derek Coleman; Reed Letsinger (OOPSLA, 1995)

UML: The Language of Blueprints for Software? (Panel). - Derek Coleman; John Artim; Victor Ohnjec; Erick Rivas; James E. Rumbaugh; Rebecca Wirfs-Brock (OOPSLA, 1997)

A cooperative model for cross-divisional product development for a software product line. - Peter Toft; Derek Coleman; Joni T. Ohta (SPLC, 2000)

Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches. - David Trastour; Chris Preist; Derek Coleman (EDOC, 2003)

Management Middleware for Enterprise Grids. - Sven Graupner; Nigel Cook; Derek Coleman; Tilo Nitzsche (CCGRID, 2006)

Automation Controller for Operational IT Management. - Sven Graupner; Nigel Cook; Derek Coleman (Integrated Network Management, 2007)