Concepedia

Author

Alexey Gotsman

IMDEA Software InstituteORCID

Also Known As

ALEXEY GOTSMAN, Alexey Gotsman, Gotsman, Alexey

91

Publications

2K

Citations

24

H-Index

61

Concepts

All Affiliations

IMDEA Software InstituteMadrid Institute for Advanced StudiesUniversity of OxfordUniversity of CambridgeMicrosoft Research (United Kingdom)
AG

About

Alexey Gotsman is an author at IMDEA Software Institute specializing in formal verification, computer science, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

19

27

1.2K

2

Computer Engineering

9

9

422

3

Management

3

3

214

4

Natural Sciences

2

2

106

5

Communication

1

1

17

Alexey Gotsman

×

32

Publications

1.3K

Citations

20

H-Index

YearCitations

Page 1