Concepedia

Author

Cynthia G. Cooper

University of California, Irvine

Also Known As

Cynthia G. Cooper

1

Publications

42

Citations

1

H-Index

6

Concepts

All Affiliations

University of California, Irvine
CG

About

Cynthia G. Cooper is an author at University of California, Irvine specializing in verification, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

42

2

Computer Science

1

1

42

3

Machine Learning

1

1

42

4

Automated Reasoning

1

1

42

5

Formal Verification

1

1

42

Cynthia G. Cooper

×

1

Publications

42

Citations

1

H-Index

YearCitations

Page 1