P. Zafiropulo
IBM Research - Zurich(CH)
Publications by Year
Research Areas
Formal Methods in Verification, Wireless Communication Networks Research, Interconnection Networks and Systems, Advanced MIMO Systems Optimization, Distributed systems and fault tolerance
Most-Cited Works
- → On Communicating Finite-State Machines(1983)1,068 cited
- → Towards Analyzing and Synthesizing Protocols(1980)239 cited
- → Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation(1978)87 cited
- → DQMA and CRMA: new access schemes for Gbit/s LANs and MANs(2002)70 cited
- → Protocol Validation by Duologue-Matrix Analysis(1978)58 cited
- → Fairness, priority and predictability of the DQDB MAC protocol under heavy load(2002)47 cited
- → Performance Evaluation of Reliability Improvement Techniques for Single-Loop Communications Systems(1974)43 cited
- → Automated protocol validation: One chain of development(1978)41 cited
- → CRMA-II: A MAC protocol for ring-based Gb/s LANs and MANs(1994)20 cited
- → Protocol Analysis and Synthesis using a State Transition Model(1982)12 cited