Assertion techniques for dynamic monitoring of linear list data structures. - Stephen S. Yau; John L. Ramey; Robin A. Nicholl (J. Syst. Softw., 1980)

An efficient new algorithm for 2-D line clipping: Its development and analysis. - Tina M. Nicholl; D. T. Lee; Robin A. Nicholl (SIGGRAPH, 1987)

Integrating three tool-based approaches to software engineering. - Robin A. Nicholl (COMPSAC, 1988)

Concurrency in Modula-2: Properties of the Language Primitives. - Robin A. Nicholl (Specification and Verification of Concurrent Systems, 1988)

An Integrated Life-Cycle Model for Software Maintenance. - Stephen S. Yau; Robin A. Nicholl; Jeffrey J. P. Tsai; Sying-Syang Liu (IEEE Trans. Software Eng., 1988)

Introducing formality into the software development process: experience with a software project course. - Robin A. Nicholl (COMPSAC, 1990)

The use of functional annotations in verifying imperative programs. - Robin A. Nicholl; Maurice Clint; David Gray; Tina M. Nicholl (Softw. Eng. J., 1990)

Performing geometric transformations by program transformation. - Robin A. Nicholl; Tina M. Nicholl (ACM Trans. Graph., 1990)

Unreachable States in Model-Oriented Specifications. - Robin A. Nicholl (IEEE Trans. Software Eng., 1990)

EZ: A System for Automatic Prototyping of Z Specifications. - Veronika Doma; Robin A. Nicholl (VDM Europe (1), 1991)

Computer-Supported Human Cooperation in Electronic Classrooms. - Tomasz Müldner; Robin A. Nicholl (J. Univers. Comput. Sci., 1996)