Author

Robin A. Nicholl

Observed names: R.A. Nicholl, Robin Nicholl

Institution: Acadia University

Observed institutions: Northwestern University, Western University, Acadia University

OpenAlex ID: A5045605601

An efficient new algorithm for 2-D line clipping: Its development and analysis

1987 · Tina M. Nicholl, D. T. Lee, et al. · ACM SIGGRAPH Conference (SIGGRAPH) · 52

An efficient new algorithm for 2-D line clipping: Its development and analysis

1987 · Tina M. Nicholl, D. T. Lee, et al. · ACM SIGGRAPH Computer Graphics · 52

An integrated life-cycle model for software maintenance

1988 · S.S. Yau, R.A. Nicholl, et al. · IEEE Transactions on Software Engineering · 46

EZ: A system for automatic prototyping of Z specifications

1991 · Veronika Doma, Robin Nicholl · Lecture notes in computer science · 21

Performing geometric transformations by program transformation

1990 · Robin A. Nicholl, Tina M. Nicholl · ACM Transactions on Graphics · 6

PDF

Knowledge Representation of Software Life-cycle Information Using First-order Logic.

1985 · Stephen S. Yau, Jing Pha Tsai, et al. · 4

Approach to Incremental Program Modification.

1983 · S. S. Yau, Chien-Cheng Chang, et al. · 3

Integrating three tool-based approaches to software engineering

2003 · R.A. Nicholl · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 2

Computer-Supported Human Cooperation in Electronic Classrooms.

1996 · Tomasz Müldner, Robin A. Nicholl · 2

An integrated life-cycle model for software maintenance

1989 · Stephen S. Yau, Robin A. Nicholl, et al. · Mathematical and Computer Modelling · 2

PDF

A specification of Modula-2 process (Coroutine) management

1988 · Robin A. Nicholl · Journal of Pascal, Ada & Modula-2 archive · 1

Evolution Model for Software Maintenance.

1986 · Stephen S. Yau, Robin A. Nicholl, et al. · 1

Computer-Supported Human Cooperation in Electronic Classrooms

2020 · Robin A. Nicholl, Tomasz Müldner · TUGraz OPEN Library (Graz University of Technology)

Introducing formality into the software development process: experience with a software project course

2002 · R.A. Nicholl · IEEE Annual International Computer Software and Applications Conference (COMPSAC)

Unreachable states in model-oriented specifications

1990 · R.A. Nicholl · IEEE Transactions on Software Engineering

Concurrency in Modula-2: Properties of the Language Primitives

1990 · Robin A. Nicholl · Workshops in computing

The use of functional annotations in verifying imperative programs

1990 · Robin Nicholl, Maurice Clint, et al. · Software Engineering Journal

An approach to control the evolution of software systems

1983 · Robin A. Nicholl

Method for Estimating the Execution Time of Arbitrary Paths in Programs.

1981 · Sik-Sang Yau, Márcia B. de Carvalho, et al.

Assertion techniques for dynamic monitoring of linear list data structures

1979 · Stephen S. Yau, John L. Ramey, et al. · Journal of Systems and Software

Works count: 20

Citation count: 192

H-index: 5

I10-index: 4