Concepedia

C.-H. Chow

CC

6

Publications

198

Citations

6

H-Index

1984

Active since

Affiliations

The University of Texas at Austin(Current)

Core Competence

C.-H. Chow is an author at The University of Texas at Austin specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringCommunication ProtocolsVerificationCommunicationComputer EngineeringProtocols

Publications per year

1984–1991

6

Publications

6

On multicast path finding algorithms

C.-H. Chow · 1991 · 91 citations

Engineering, Path-finding Algorithms, Network Planning +17

A discipline for constructing multiphase communication protocols

C.-H. Chow, Mohamed G. Gouda, Simon S. Lam · ACM Transactions on Computer Systems · 1985 · 57 citations · Full text

Engineering, Network Communication Protocol, Many Communication Protocols +13

An exercise in constructing multi-phase communication protocols

C.-H. Chow, Mohamed G. Gouda, Simon S. Lam · ACM SIGCOMM Computer Communication Review · 1984 · 18 citations · Full text

Engineering, Computer Architecture, Distinct Function +16

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.

Mohamed G. Gouda, C.-H. Chow, Simon S. Lam · 1984 · 12 citations

Reachability Analysis, Engineering, Information Theoretic Security +9

PROSPEC: an interactive programming environment for designing and verifying communication protocols

C.-H. Chow, Simon S. Lam · IEEE Transactions on Software Engineering · 1988 · 10 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–5 of 6