Concepedia

Author

Iovka Boneva

Universidad de OviedoORCID

Also Known As

Boneva, I., Boneva, I. (Iovka), Boneva, Iovka, Groz, Benoît, I. Boneva, Iovka Boneva

64

Publications

510

Citations

13

H-Index

9

Concepts

All Affiliations

Universidad de OviedoInstitut national de recherche en sciences et technologies du numériqueUniversité de Lille
IB

About

Iovka Boneva is an author at Universidad de Oviedo specializing in engineering, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Social Sciences

1

1

21

3

Computer Science

1

1

18

4

Environment

1

1

21

5

Automated Reasoning

1

1

18

Iovka Boneva

×

7

Publications

216

Citations

7

H-Index

YearCitations

Page 1