Brijesh Dongol

36 papers and 159 indexed citations i.

About

Brijesh Dongol has authored 36 papers that have received a total of 159 indexed citations. This includes 21 papers in Artificial Intelligence, 19 papers in Computer Networks and Communications and 18 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (17 papers), Formal Methods in Verification (16 papers) and Logic, programming, and type systems (15 papers). Brijesh Dongol is often cited by papers focused on Distributed systems and fault tolerance (17 papers), Formal Methods in Verification (16 papers) and Logic, programming, and type systems (15 papers) and collaborates with scholars based in United Kingdom, Australia and Germany. Brijesh Dongol's co-authors include Ian J. Hayes, Simon Doherty, Heike Wehrheim, John Derrick and Nelma Moreira and has published in prestigious journals such as ACM Computing Surveys, Lecture notes in computer science and The Computer Journal

In The Last Decade

Rankless by CCL
2025