Search the dblp DataBase

Publications of Author

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