Concepedia

Author

Shih Tong

New York University

Also Known As

Shih Tong

1

Publications

10

Citations

1

H-Index

7

Concepts

All Affiliations

New York University
ST

About

Shih Tong is an author at New York University specializing in automated reasoning, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Coding Theory

1

1

10

4

Software Analysis

1

1

10

5

Automated Reasoning

1

1

10

Shih Tong

×

1

Publications

10

Citations

1

H-Index

YearCitations

Page 1