 | 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) |
