 | 1996 |
| 8 |  | Tomasz Müldner,
Robin A. Nicholl:
Computer-Supported Human Cooperation in Electronic Classrooms.
J. UCS 2(10): 679-693 (1996) |
| 1991 |
| 7 |  | Veronika Doma,
Robin A. Nicholl:
EZ: A System for Automatic Prototyping of Z Specifications.
VDM Europe (1) 1991: 189-203 |
| 1990 |
| 6 |  | Robin A. Nicholl,
Tina M. Nicholl:
Performing geometric transformations by program transformation.
ACM Trans. Graph. 9(1): 28-40 (1990) |
| 5 |  | Robin A. Nicholl:
Unreachable States in Model-Oriented Specifications.
IEEE Trans. Software Eng. 16(4): 472-477 (1990) |
| 1988 |
| 4 |  | Robin A. Nicholl:
Concurrency in Modula-2: Properties of the Language Primitives.
Specification and Verification of Concurrent Systems 1988: 439-454 |
| 3 |  | Stephen S. Yau,
Robin A. Nicholl,
Jeffrey J. P. Tsai,
Sying-Syang Liu:
An Integrated Life-Cycle Model for Software Maintenance.
IEEE Trans. Software Eng. 14(8): 1128-1144 (1988) |
| 1987 |
| 2 |  | Tina M. Nicholl,
D. T. Lee,
Robin A. Nicholl:
An efficient new algorithm for 2-D line clipping: Its development and analysis.
SIGGRAPH 1987: 253-262 |
| 1980 |
| 1 |  | Stephen S. Yau,
John L. Ramey,
Robin A. Nicholl:
Assertion techniques for dynamic monitoring of linear list data structures.
Journal of Systems and Software 1: 319-336 (1980) |