Concepedia

Author

Polina Ovsiannikova

Luleå University of TechnologyORCID

Also Known As

Polina Ovsiannikova

19

Publications

39

Citations

4

H-Index

13

Concepts

All Affiliations

Luleå University of TechnologyAalto UniversityITMO University
PO

About

Polina Ovsiannikova is an author at Luleå University of Technology specializing in formal methods, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Science

1

1

12

3

Systems Engineering

1

1

12

4

Software Analysis

1

1

12

5

Software Testing

1

1

12

Polina Ovsiannikova

×

2

Publications

22

Citations

2

H-Index

YearCitations

Page 1