Concepedia

Author

Sergei Artëmov

The Graduate Center, CUNYORCID

Also Known As

Artemov, Sergei, Hutchison, David, LFCS 2018 Deerfield Beach, Fla., S N Artemov, S N Artëmov, S. Artemov, S. N. Artemov, S.N. Artemov, SERGEI ARTEMOV, Sergei Artemov

189

Publications

2.7K

Citations

26

H-Index

44

Concepts

All Affiliations

The Graduate Center, CUNYCity University of New YorkSteklov Mathematical InstituteLomonosov Moscow State UniversityCornell University
SA

About

Sergei Artëmov is an author at The Graduate Center, CUNY specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

17

1.1K

2

Language Studies

5

5

777

3

Humanities

2

2

166

4

Law

2

2

333

5

Business

1

1

10

Sergei Artëmov

×

30

Publications

1.9K

Citations

20

H-Index

YearCitations

Page 1