Concepedia

Author

John C. Cherniavsky

U.S. National Science Foundation

Also Known As

J. Cherniavsky, J.C. Cherniavsky, JOHN CHERNIAVSKY, John C Cherniavsky, John C. Cherniavsky, John Cherniavsky

55

Publications

1.3K

Citations

10

H-Index

16

Concepts

All Affiliations

U.S. National Science FoundationUniversity of Maryland, College ParkNational Institute of Standards and Technology
JC

About

John C. Cherniavsky is an author at U.S. National Science Foundation specializing in program analysis, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

111

2

Computer Science

2

2

111

3

Software Analysis

2

2

111

4

Systems Engineering

1

1

81

5

Complexity

1

1

81

John C. Cherniavsky

×

6

Publications

715

Citations

6

H-Index

YearCitations

Page 1