Kenneth L. McMillan - Concepedia

Author

Kenneth L. McMillan

Also Known As

K. L. McMillan, K. L. Mcmillan, K. McMillan, K.L. McMillan, K.L. Mcmillan, Kattenbelt, M., Kenneth L. McMillan, Kenneth L. Mcmillan, Kenneth McMillan, Lenore D. Zuck

168

Publications

16.8K

Citations

H-Index

Concepts

All Affiliations

Carnegie Mellon University Cadence Design Systems (United States)Lawrence Berkeley National Laboratory University of California, Berkeley Stanford University

About

Kenneth L. McMillan is an author at Carnegie Mellon University specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	35	46	8.6K
2	Computer Science	31	42	8.2K
3	Computer Engineering	18	22	2.8K
4	Social Sciences	1	1	38
5	Electrical Engineering	1	1	13

Kenneth L. McMillan

Publications

10.1K

Citations

H-Index

Page 1

	Year	Citations

Page 1