Dang Van Hung

539 total citations
31 papers, 110 citations indexed

About

Dang Van Hung is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Dang Van Hung has authored 31 papers receiving a total of 110 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 15 papers in Hardware and Architecture and 14 papers in Artificial Intelligence. Recurrent topics in Dang Van Hung's work include Formal Methods in Verification (21 papers), Real-Time Systems Scheduling (12 papers) and Logic, programming, and type systems (10 papers). Dang Van Hung is often cited by papers focused on Formal Methods in Verification (21 papers), Real-Time Systems Scheduling (12 papers) and Logic, programming, and type systems (10 papers). Dang Van Hung collaborates with scholars based in Spain, Vietnam and China. Dang Van Hung's co-authors include Dimitar P. Guelev, Zhou Chaochen, Tran Trung Duy, Miaomiao Zhang, Vı́ctor Braberman, Mizuhito Ogawa, François Siewe, Antonio Cau, Lu­ís Soares Barbosa and Zhiming Liu and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

Dang Van Hung

27 papers receiving 100 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Dang Van Hung Spain 6 70 52 28 24 24 31 110
Emmanuelle Encrenaz France 6 54 0.8× 74 1.4× 70 2.5× 25 1.0× 27 1.1× 13 133
Laure Gonnord France 7 63 0.9× 57 1.1× 43 1.5× 11 0.5× 35 1.5× 22 93
Alexander Nadel Israel 7 50 0.7× 54 1.0× 14 0.5× 23 1.0× 36 1.5× 14 88
Daron Vroon United States 7 66 0.9× 78 1.5× 29 1.0× 22 0.9× 46 1.9× 13 120
Benedikt Bollig France 5 89 1.3× 68 1.3× 14 0.5× 19 0.8× 24 1.0× 32 115
Amar Bouali France 5 82 1.2× 41 0.8× 33 1.2× 10 0.4× 47 2.0× 7 106
David Pichardie France 8 61 0.9× 109 2.1× 34 1.2× 27 1.1× 27 1.1× 26 133
O. Grumberg Israel 3 91 1.3× 48 0.9× 21 0.8× 15 0.6× 61 2.5× 4 123
Swen Jacobs Germany 8 122 1.7× 74 1.4× 19 0.7× 41 1.7× 53 2.2× 21 145
Jim Grundy United States 7 103 1.5× 108 2.1× 56 2.0× 17 0.7× 39 1.6× 21 157

Countries citing papers authored by Dang Van Hung

Since Specialization
Citations

This map shows the geographic impact of Dang Van Hung's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Dang Van Hung with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dang Van Hung more than expected).

Fields of papers citing papers by Dang Van Hung

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Dang Van Hung. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Dang Van Hung. The network helps show where Dang Van Hung may publish in the future.

Co-authorship network of co-authors of Dang Van Hung

This figure shows the co-authorship network connecting the top 25 collaborators of Dang Van Hung. A scholar is included among the top collaborators of Dang Van Hung based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Dang Van Hung. Dang Van Hung is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Hung, Dang Van, et al.. (2019). Security-Reliability Analysis of Multi-hop LEACH Protocol with Fountain Codes and Cooperative Jamming. SHILAP Revista de lepidopterología. 6(18). e2–e2. 15 indexed citations
2.
3.
Guelev, Dimitar P. & Dang Van Hung. (2010). Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Electronic Notes in Theoretical Computer Science. 238(6). 41–62. 2 indexed citations
4.
Hung, Dang Van, et al.. (2008). Checking Interface Interaction Protocols Using Aspect-Oriented Programming. 382–386. 2 indexed citations
5.
Hung, Dang Van, et al.. (2007). Towards a Template Language for Component-based Programming.. Software Engineering Research and Practice. 326–332.
6.
Hung, Dang Van & Miaomiao Zhang. (2007). On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. 15. 165–172. 6 indexed citations
7.
Hung, Dang Van, et al.. (2007). Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. 2185. 293–304. 4 indexed citations
8.
Zhang, Miaomiao & Dang Van Hung. (2006). Formal Analysis of Streaming Downloading Protocol for System Upgrading. Electronic Notes in Theoretical Computer Science. 164(3). 205–224. 2 indexed citations
9.
Hung, Dang Van, et al.. (2006). Model Checking Real-Time Component Based Systems with Blackbox Testing. 276. 76–79. 5 indexed citations
10.
Guelev, Dimitar P. & Dang Van Hung. (2005). On the completeness and decidability of duration calculus with iteration. Theoretical Computer Science. 337(1-3). 278–304. 4 indexed citations
11.
Hung, Dang Van, et al.. (2005). Theoretical Aspects of Computing – ICTAC 2005. Lecture notes in computer science. 4 indexed citations
12.
Siewe, François, Dang Van Hung, Hussein Zedan, & Antonio Cau. (2004). A Formal design technique for real-time embedded systems development using duration calculus.. DMU Open Research Archive (De Montfort University).
13.
Rodrigues, Nuno F., Lu­ís Soares Barbosa, Dang Van Hung, & Zhiming Liu. (2003). On the specification of a component repository. RepositóriUM (Universidade do Minho). 47–62. 1 indexed citations
14.
Hung, Dang Van, et al.. (2003). Specification and verification of spatial data types with B-Toolkit. 711–716. 1 indexed citations
15.
Hung, Dang Van, et al.. (2002). Verification via digitized models of real-time hybrid systems. 736. 4–15. 5 indexed citations
16.
Hung, Dang Van. (2002). Projections: A Technique for Verifying Real-Time Programs in Duration Calculus. 3 indexed citations
17.
Guelev, Dimitar P. & Dang Van Hung. (2002). Prefix and Projection onto State in Duration Calculus. Electronic Notes in Theoretical Computer Science. 65(6). 101–119. 9 indexed citations
18.
Hung, Dang Van, et al.. (2002). A case study on formal design of hybrid control systems. 1180. 423–428. 2 indexed citations
19.
Hung, Dang Van & Zhou Chaochen. (1999). Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing. 11(1). 21–44. 12 indexed citations
20.
Hung, Dang Van, et al.. (1989). Semi-commutations and Petri nets. Theoretical Computer Science. 64(1). 67–81. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Emmanuelle Encrenaz Breakdown of academic impact, for papers by Laure Gonnord Breakdown of academic impact, for papers by Alexander Nadel Breakdown of academic impact, for papers by Daron Vroon Breakdown of academic impact, for papers by Benedikt Bollig Breakdown of academic impact, for papers by Amar Bouali Breakdown of academic impact, for papers by David Pichardie Breakdown of academic impact, for papers by O. Grumberg Breakdown of academic impact, for papers by Swen Jacobs Breakdown of academic impact, for papers by Jim Grundy
Rankless by CCL
2026