ThanhVu Nguyen

2.9k citations
48 papers · 1.8k indexed · 2 hit papers · h-index 13
Topics
Software Testing and Debugging Techniques (32 papers)Software Engineering Research (22 papers)Software Reliability and Analysis Research (13 papers)

In The Last Decade

ThanhVu Nguyen

39 papers receiving 1.7k citations

Hit Papers

GenProg: A Generic Method for Automatic Software Repair200920262014202020112009200400600

Peers

ThanhVu Nguyen
Comparison fields: 5 of 55
  • Software 1.3k
  • Information Systems 1.1k
  • Artificial Intelligence 429
  • Computer Networks and Communications 322
  • Signal Processing 251
Replace Vu Le with:
Vu Le United States
John Penix United States
Tohru Kikuno Japan
William E. Howden United States
Spiros Mancoridis United States
Christoph Csallner United States
Claus Lewerentz Germany
Changhai Nie China
Van-Thuan Pham Australia
Michael Pradel Germany
ThanhVu Nguyen relative to Vu Le United States Vu Le's profile →
Citations per field
00.5×1.5×
Vu Le · 1×
Citations per year

Countries citing papers authored by ThanhVu Nguyen

Since Specialization
Citations

This map shows the geographic impact of ThanhVu Nguyen'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 ThanhVu Nguyen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites ThanhVu Nguyen more than expected).

Fields of papers citing papers by ThanhVu Nguyen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by ThanhVu Nguyen. 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 ThanhVu Nguyen. The network helps show where ThanhVu Nguyen may publish in the future.

Co-authorship network of co-authors of ThanhVu Nguyen

This figure shows the co-authorship network connecting the top 25 collaborators of ThanhVu Nguyen. A scholar is included among the top collaborators of ThanhVu Nguyen 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 ThanhVu Nguyen. ThanhVu Nguyen 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
#WorkIndexed citations
1 0
2 2
3 2
4 3
5 2
6 0
7 0
8
Bounded Exhaustive Search of Alloy Specification Repairs
13
9 4
10 0
11 12
12 14
13 37
14 25
15
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
6
16
Automatically finding patches using genetic programmingbreakdown →
521
17 14
18 150
19 51
20 7

About ThanhVu Nguyen

ThanhVu Nguyen is a scholar working on Software, Signal Processing and Information Systems, having authored 48 papers that have together received 1.8k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (32 papers), Software Engineering Research (22 papers) and Software Reliability and Analysis Research (13 papers). The work is most often cited by research in Software (1.3k citations), Information Systems (1.1k citations) and Signal Processing (251 citations). ThanhVu Nguyen has collaborated with scholars based in United States, Argentina and Australia. Frequent co-authors include Westley Weimer, Stephanie Forrest, Claire Le Goues, Deepak Kapur, James F. Smith, Thang Nguyen Bui, Andrew Ruef, Michael Hicks, Matthew B. Dwyer and Nazareno Aguirre. Their work appears in journals such as Communications of the ACM, Computer Physics Communications and IEEE Transactions on Software Engineering.

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

Rankless by CCL
2026