Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Robin A. Nicholl

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1996
[j5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/MuldnerN96
- ask others
Tomasz Müldner, Robin A. Nicholl: Computer-Supported Human Cooperation in Electronic Classrooms. J. UCS 2(10): 679-693 (1996)
1991
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/DomaN91
- ask others
Veronika Doma, Robin A. Nicholl: EZ: A System for Automatic Prototyping of Z Specifications. VDM Europe (1) 1991: 189-203
1990
[j4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tog/NichollN90
- ask others
Robin A. Nicholl, Tina M. Nicholl: Performing geometric transformations by program transformation. ACM Trans. Graph. 9(1): 28-40 (1990)
[j3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/Nicholl90
- ask others
Robin A. Nicholl: Unreachable States in Model-Oriented Specifications. IEEE Trans. Software Eng. 16(4): 472-477 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1988
[j2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/YauNTL88
- ask others
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)
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/facs/Nicholl88
- ask others
Robin A. Nicholl: Concurrency in Modula-2: Properties of the Language Primitives. Specification and Verification of Concurrent Systems 1988: 439-454
1987
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/siggraph/NichollLN87
- ask others
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
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/YauRN80
- ask others
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)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?