Concepedia

Author

G.S. Ho

University of California, Berkeley

Also Known As

G.S. Ho

4

Publications

660

Citations

3

H-Index

20

Concepts

All Affiliations

University of California, Berkeley
GH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

624

2

Computer Science

2

2

624

3

Systems Engineering

2

2

624

4

Computer Engineering

1

1

561

5

Asynchronous Systems

1

1

561

G.S. Ho

×

2

Publications

624

Citations

2

H-Index

YearCitations

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, G.S. Ho

IEEE Transactions on Software Engineering

1980

561

Protocols for Deadlock Detection in Distributed Database Systems

G.S. Ho, C. V. Ramamoorthy

IEEE Transactions on Software Engineering

1982

63

Page 1