C. E. Aull - Concepedia

Concepedia

Author

C. E. Aull

Also Known As

Aull, C, Aull, C. E., C. E. Aull, C.E Aull, C.E. AULL, C.E. Aull, Charles E. Aull

41

Publications

508

Citations

11

H-Index

6

Concepts

All Affiliations

CE

About

C. E. Aull is an author at Virginia Tech specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	133
2	Physics	1	1	12
3	Automated Reasoning	1	1	133
4	Discrete Mathematics	1	1	36
5	Formal Methods	1	1	133

C. E. Aull

×

9

Publications

280

Citations

9

H-Index

	Year	Citations

Page 1