Concepedia

Author

Nadia Polikarpova

Also Known As

International Conference on Integrated Formal Methods 2017 Turin, N. Polikarpova, Nadia Polikarpova, Polikarpova, Nadia, Поликарпова, Н. Н.

94

Publications

1.4K

Citations

19

H-Index

45

Concepts

All Affiliations

NP

About

Nadia Polikarpova is an author at University of California San Diego specializing in computer science, engineering, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

13

838

2

Computer Science

13

13

838

3

Computer Engineering

5

5

314

4

Business

1

1

82

5

Social Sciences

1

1

294

Nadia Polikarpova

×

22

Publications

1K

Citations

16

H-Index

YearCitations

Page 1