Concepedia

Author

Adam Cataldo

Also Known As

A. Cataldo, Adam Cataldo

4

Publications

96

Citations

4

H-Index

6

Concepts

AC

About

Adam Cataldo is an author specializing in automated reasoning, discrete mathematics, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Systems Engineering

1

1

39

3

Automated Reasoning

1

1

39

4

Discrete Mathematics

1

1

39

5

Formal Methods

1

1

39

Adam Cataldo

×

1

Publications

39

Citations

1

H-Index

YearCitations

Page 1