K. Rustan M. Leino - Concepedia

Author

K. Rustan M. Leino

Also Known As

K. R. M. Leino, K. Rustan M. Leino, K.R.M. Leino, K.Rustan M. Leino, K. Rustan M. Leino, Klas Leino, Leino K. Rustan M., Leino, K. Rustan M., Leino, Klas

174

Publications

11.9K

Citations

H-Index

Concepts

All Affiliations

Microsoft (United States)Microsoft Research (United Kingdom)Carnegie Mellon University ETH Zurich Iowa State University

About

K. Rustan M. Leino is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	30	51	5.4K
2	Computer Engineering	9	9	530
3	Management	3	3	773
4	Language Studies	2	2	203
5	Business	1	1	51

K. Rustan M. Leino

Publications

6.1K

Citations

H-Index

Page 1

	Year	Citations

Page 1