Hoang M. Le

852 total citations
37 papers, 418 citations indexed

About

Hoang M. Le is a scholar working on Hardware and Architecture, Electrical and Electronic Engineering and Computational Theory and Mathematics. According to data from OpenAlex, Hoang M. Le has authored 37 papers receiving a total of 418 indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Hardware and Architecture, 17 papers in Electrical and Electronic Engineering and 16 papers in Computational Theory and Mathematics. Recurrent topics in Hoang M. Le's work include VLSI and Analog Circuit Testing (23 papers), Embedded Systems Design Techniques (22 papers) and Formal Methods in Verification (14 papers). Hoang M. Le is often cited by papers focused on VLSI and Analog Circuit Testing (23 papers), Embedded Systems Design Techniques (22 papers) and Formal Methods in Verification (14 papers). Hoang M. Le collaborates with scholars based in Germany, Canada and China. Hoang M. Le's co-authors include Rolf Drechsler, Daniel Große, Vladimir Herdt, Daniel Grose, Gerhard W. Dueck, Robert Wille, Mathias Soeken, Wolfgang Mueller, Mingsong Chen and Wolfgang Ecker and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, International Journal on Software Tools for Technology Transfer and CaltechAUTHORS (California Institute of Technology).

In The Last Decade

Hoang M. Le

37 papers receiving 411 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Hoang M. Le Germany	12	290	171	159	124	109	37	418
Harry Foster United States	10	338 1.2×	203 1.2×	205 1.3×	183 1.5×	76 0.7×	29	478
Dominik Stoffel Germany	15	413 1.4×	263 1.5×	316 2.0×	118 1.0×	155 1.4×	74	556
Chandan Karfa India	10	260 0.9×	81 0.5×	149 0.9×	88 0.7×	64 0.6×	56	355
Ilya Wagner United States	12	371 1.3×	326 1.9×	67 0.4×	104 0.8×	65 0.6×	24	487
Michal Rimon Israel	7	198 0.7×	89 0.5×	103 0.6×	134 1.1×	47 0.4×	16	291
Gil Shurek Israel	10	295 1.0×	130 0.8×	149 0.9×	158 1.3×	68 0.6×	13	405
P. A. Subrahmanyam United States	11	163 0.6×	79 0.5×	184 1.2×	37 0.3×	146 1.3×	39	365
Allon Adir Israel	10	254 0.9×	133 0.8×	75 0.5×	108 0.9×	49 0.4×	21	327
Carl Pixley United States	16	481 1.7×	323 1.9×	415 2.6×	203 1.6×	106 1.0×	46	681
Samy Meftali France	12	239 0.8×	48 0.3×	46 0.3×	59 0.5×	109 1.0×	42	374

Countries citing papers authored by Hoang M. Le

Since Specialization

Citations

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

Fields of papers citing papers by Hoang M. Le

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Hoang M. Le

This figure shows the co-authorship network connecting the top 25 collaborators of Hoang M. Le. A scholar is included among the top collaborators of Hoang M. Le 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 Hoang M. Le. Hoang M. Le is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Le, Hoang M., et al.. (2019). Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. CaltechAUTHORS (California Institute of Technology). 1 indexed citations

Herdt, Vladimir, Hoang M. Le, Daniel Große, & Rolf Drechsler. (2019). Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. International Journal on Software Tools for Technology Transfer. 21(5). 545–565. 3 indexed citations

Herdt, Vladimir, et al.. (2018). Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38(7). 1359–1372. 21 indexed citations

Herdt, Vladimir, Hoang M. Le, Daniel Grose, & Rolf Drechsler. (2018). Towards fully automated TLM-to-RTL property refinement. 1508–1511. 7 indexed citations

Le, Hoang M., Vladimir Herdt, Daniel Grose, & Rolf Drechsler. (2018). Resilience evaluation via symbolic fault injection on intermediate code. 845–850. 5 indexed citations

Herdt, Vladimir, et al.. (2017). Data flow testing for virtual prototypes. se 3. 380–385. 8 indexed citations

Herdt, Vladimir, et al.. (2017). Early SoC security validation by VP-based static information flow analysis. 17 indexed citations

Le, Hoang M., Vladimir Herdt, Daniel Große, & Rolf Drechsler. (2016). Towards Formal Verification of Real-World SystemC TLM Peripheral Models — A Case Study. 1160–1163. 11 indexed citations

Herdt, Vladimir, Hoang M. Le, Daniel Große, & Rolf Drechsler. (2016). Compiled symbolic simulation for systemC. 1–8. 16 indexed citations

10.

Herdt, Vladimir, Hoang M. Le, & Rolf Drechsler. (2015). Verifying SystemC using stateful symbolic simulation. 1–6. 10 indexed citations

11.

Le, Hoang M. & Rolf Drechsler. (2014). Towards verifying determinism of SystemC designs. Design, Automation, and Test in Europe. 1–4. 1 indexed citations

12.

Le, Hoang M., Daniel Große, & Rolf Drechsler. (2013). Scalable fault localization for SystemC TLM designs. Design, Automation, and Test in Europe. 35–38. 1 indexed citations

13.

Le, Hoang M., Daniel Große, Vladimir Herdt, & Rolf Drechsler. (2013). Verifying SystemC using an intermediate verification language and symbolic simulation. 1–6. 24 indexed citations

14.

Le, Hoang M., et al.. (2012). CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC.. 37–48. 1 indexed citations

15.

Le, Hoang M., Daniel Große, & Rolf Drechsler. (2012). From Requirements and Scenarios to ESL Design in SystemC. 183–187. 1 indexed citations

16.

Große, Daniel, Hoang M. Le, & Rolf Drechsler. (2010). Proving transaction and system-level properties of untimed SystemC TLM designs. 113–122. 45 indexed citations

17.

Eggersglüß, Stephan, et al.. (2009). Structural heuristics for SAT-based ATPG. 77–82. 1 indexed citations

18.

Große, Daniel, Hoang M. Le, & Rolf Drechsler. (2009). Induction-Based Formal Verification of SystemC TLM Designs. 101–106. 6 indexed citations

19.

Wille, Robert, Hoang M. Le, Gerhard W. Dueck, & Daniel Große. (2008). Quantified synthesis of reversible logic. 1015–1020. 30 indexed citations

20.

Wille, Robert, et al.. (2008). Quantified Synthesis of Reversible Logic. 2008 Design, Automation and Test in Europe. 1015–1020. 17 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