Concepedia

Author

M. Vardi

IBM Research - Almaden

Also Known As

M. Vardi, M.Y. Vardi, Moshe Y. Vardi

8

Publications

600

Citations

5

H-Index

10

Concepts

All Affiliations

IBM Research - Almaden
MV

About

M. Vardi is an author at IBM Research - Almaden specializing in formal methods, computer science, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

511

2

Computer Science

2

2

511

3

Automated Reasoning

2

2

511

4

Formal Methods

2

2

511

5

Computational Complexity

1

1

14

M. Vardi

×

2

Publications

511

Citations

2

H-Index

YearCitations

Page 1