Dang Van Hung

15 papers and 62 indexed citations i.

Dang Van Hung has authored 15 papers that have received a total of 62 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 2 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (8 papers), Logic, programming, and type systems (6 papers) and Advanced Software Engineering Methodologies (3 papers). Dang Van Hung is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (6 papers) and Advanced Software Engineering Methodologies (3 papers) and collaborates with scholars based in Vietnam, Bulgaria and United States. Dang Van Hung's co-authors include Dimitar P. Guelev, Martin Wirsing, Oleg Sokolsky, Miaomiao Zhang and Zhou Chaochen and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Electronic Notes in Theoretical Computer Science