Concepedia

Author

Paweł Janowski

University of Warsaw

Also Known As

Pawel Janowski, Paweł Janowski

7

Publications

89

Citations

5

H-Index

12

Concepts

All Affiliations

University of Warsaw
PJ

About

Paweł Janowski 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

Paweł Janowski

×

3

Publications

57

Citations

3

H-Index

YearCitations

Page 1