Concepedia

Author

Agata Janowska

University of Warsaw

Also Known As

Agata Janowska

11

Publications

94

Citations

5

H-Index

12

Concepts

All Affiliations

University of Warsaw
AJ

About

Agata Janowska is an author at University of Warsaw specializing in formal methods, automated reasoning, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

32

2

Computer Science

2

2

32

3

Automated Reasoning

2

2

32

4

Systems Engineering

1

1

21

5

Software Analysis

1

1

21

Agata Janowska

×

3

Publications

57

Citations

3

H-Index

YearCitations

Page 1