Concepedia

G.S. Ho

GH

2

Publications

624

Citations

2

H-Index

1980

Active since

Affiliations

University of California, Berkeley(Current)

G.S. Ho is an author at University of California, Berkeley specializing in formal methods, engineering, and formal verification.

Top concepts

Publications per year

1980–1982

2

Publications

2

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, G.S. Ho · IEEE Transactions on Software Engineering · 1980 · 561 citations

, , +17

Protocols for Deadlock Detection in Distributed Database Systems

G.S. Ho, C. V. Ramamoorthy · IEEE Transactions on Software Engineering · 1982 · 63 citations

, , +20

Rows per page

1–2 of 2