The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robin A. Nicholl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.010secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002