Concepedia

Author

Brijesh Dongol

University of SheffieldORCID

Also Known As

B. Dongol, Brijesh Dongol, Dongol, B, Dongol, Brijesh, FMTea 2019 Porto, Portugal, Guidotti,R, Moreira,N, iFM 2020 Online

139

Publications

978

Citations

14

H-Index

57

Concepts

All Affiliations

University of SheffieldThe University of QueenslandUniversity of SurreyBrunel University of LondonPaderborn University
BD

About

Brijesh Dongol is an author at University of Sheffield specializing in formal methods, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

13

201

2

Education

2

2

116

3

Humanities

1

1

13

4

Language Studies

1

1

20

5

Cognitive Science

1

1

12

Brijesh Dongol

×

18

Publications

389

Citations

12

H-Index

YearCitations

Page 1