Concepedia

P. Zafiropulo

PZ

Statistics

Publications

11

Citations

1.7K

H-Index

10

Active since

1973

Affiliations

IBM Research - Zurich(Current)

IBM (United States)

P. Zafiropulo is an author at IBM Research - Zurich specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringComputer EngineeringSystems EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationBusinessNetwork AnalysisSoftware Analysis

Publications per year

1973–2002

11

Publications

11

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

Towards Analyzing and Synthesizing Protocols

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

Engineering, Verification, Fault-tolerant Messaging +19

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

Engineering, Verification, Communication Interface +19

DQMA and CRMA: new access schemes for Gbit/s LANs and MANs

H. Müller, M. Nassehi, J.W. Wong et al. · 2002 · 70 citations

Engineering, Distributed-queue Multiple-access, Full Throughput +20

Protocol Validation by Duologue-Matrix Analysis

P. Zafiropulo · IRE Transactions on Communications Systems · 1978 · 58 citations

Engineering, Information Security, Verification +18

1–5 of 11