Concepedia

Colin H. West

CH

Statistics

Publications

14

Citations

837

H-Index

11

Active since

1978

Affiliations

IBM Research - Zurich(Current)

IBM (United States)

Research Triangle Park Foundation

Colin H. West is an author at IBM Research - Zurich specializing in computer science, protocol verification, and computing.

Publications per year

1978–2010

14

Publications

14

Towards Analyzing and Synthesizing Protocols

P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations

Computing, Computer Engineering, Computer Science +17

General Technique for Communications Protocol Validation

Colin H. West · IBM Journal of Research and Development · 1978 · 133 citations

Computing, Computer Science, Systems Engineering +17

An improved protocol validation technique

Jack Rubin, Colin H. West · Computer Networks (1976) · 1982 · 102 citations

Pharmacy, Cybersecurity, Method Validation +9

Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation

Colin H. West, P. Zafiropulo · IBM Journal of Research and Development · 1978 · 87 citations

Computing, Communication, Computer Science +16

An Automated Technique of Communications Protocol Validation

Colin H. West · IRE Transactions on Communications Systems · 1978 · 57 citations

Computing, Computer Science, Computer Systems +16

1–5 of 14