Concepedia

Author

Anna Slobodová

Universität Trier

Also Known As

A. Slobodova, A. Slobodová, ANNA SLOBODOVÁ, Anna Slobodova, Anna Slobodová, Natasha Sharygina, Slobodova, Anna

46

Publications

591

Citations

15

H-Index

43

Concepts

All Affiliations

Universität TrierComenius University BratislavaThe University of Texas at AustinCzech Academy of Sciences, Institute of Computer SciencePaderborn University
AS

About

Anna Slobodová is an author at Universität Trier specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

244

2

Computer Engineering

8

8

244

3

Computer Science

8

8

244

4

Natural Sciences

1

1

47

5

Industrial Engineering

1

1

45

Anna Slobodová

×

9

Publications

262

Citations

9

H-Index

YearCitations

Page 1