Anatoly Koyfman - Concepedia

Concepedia

Author

Anatoly Koyfman

IBM Research - Haifa

Also Known As

A. Koyfman, Anatoly Koyfman

12

Publications

112

Citations

7

H-Index

25

Concepts

All Affiliations

IBM Research - Haifa IBM (United States)

AK

About

Anatoly Koyfman is an author at IBM Research - Haifa specializing in formal verification, formal methods, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	69
2	Computer Engineering	4	4	69
3	Computer Science	4	4	69
4	Computer Architecture	4	4	69
5	Systems Engineering	2	2	28

Anatoly Koyfman

×

5

Publications

83

Citations

5

H-Index

	Year	Citations

Page 1