Alan J. Hu

3.3k total citations
73 papers, 1.3k citations indexed

About

Alan J. Hu is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Alan J. Hu has authored 73 papers receiving a total of 1.3k indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Computational Theory and Mathematics, 36 papers in Hardware and Architecture and 27 papers in Software. Recurrent topics in Alan J. Hu's work include Formal Methods in Verification (39 papers), Software Testing and Debugging Techniques (21 papers) and VLSI and Analog Circuit Testing (19 papers). Alan J. Hu is often cited by papers focused on Formal Methods in Verification (39 papers), Software Testing and Debugging Techniques (21 papers) and VLSI and Analog Circuit Testing (19 papers). Alan J. Hu collaborates with scholars based in Canada, United States and United Kingdom. Alan J. Hu's co-authors include Domagoj Babić, David L. Dill, Steven J. E. Wilton, Congguang Yang, Holger H. Hoos, Flavio M. De Paula, Jin Yang, Frank Hutter, Anne Condon and A. Ivanov and has published in prestigious journals such as Proceedings of the IEEE, Artificial Intelligence and IEEE Transactions on Computers.

In The Last Decade

Alan J. Hu

72 papers receiving 1.2k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Alan J. Hu Canada	20	669	524	410	407	399	73	1.3k
Natarajan Shankar United States	20	376 0.6×	768 1.5×	217 0.5×	732 1.8×	173 0.4×	53	1.3k
Niklas Eén United States	11	338 0.5×	658 1.3×	191 0.5×	403 1.0×	268 0.7×	19	1.0k
Andreas Kuehlmann United States	22	1.0k 1.5×	976 1.9×	199 0.5×	316 0.8×	870 2.2×	71	1.7k
Krishan Sabnani United States	26	409 0.6×	396 0.8×	1.5k 3.7×	271 0.7×	643 1.6×	71	2.2k
Stephen A. Edwards United States	22	1.9k 2.9×	724 1.4×	670 1.6×	223 0.5×	161 0.4×	98	2.2k
Alastair F. Donaldson United Kingdom	21	660 1.0×	320 0.6×	484 1.2×	302 0.7×	157 0.4×	116	1.4k
Emina Torlak United States	19	447 0.7×	275 0.5×	405 1.0×	636 1.6×	137 0.3×	49	1.4k
Clark Barrett United States	17	215 0.3×	580 1.1×	184 0.4×	705 1.7×	115 0.3×	76	1.1k
Nikolaj Bjørner United States	21	214 0.3×	604 1.2×	664 1.6×	779 1.9×	161 0.4×	82	1.6k
Timothy Kam United States	19	495 0.7×	519 1.0×	149 0.4×	187 0.5×	325 0.8×	41	920

Countries citing papers authored by Alan J. Hu

Since Specialization

Citations

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

Fields of papers citing papers by Alan J. Hu

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Alan J. Hu

This figure shows the co-authorship network connecting the top 25 collaborators of Alan J. Hu. A scholar is included among the top collaborators of Alan J. Hu 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 Alan J. Hu. Alan J. Hu 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

Iqbal, Syed Muhammad Javed, et al.. (2022). CoSpot. 540–556. 3 indexed citations

Beschastnikh, Ivan, et al.. (2018). VNF chain allocation and management at data center scale. Leiden Repository (Leiden University). 125–140. 4 indexed citations

Drechsler, Rolf, et al.. (2014). Panel: Future SoC verification methodology: UVM evolution or revolution?. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 1–5. 4 indexed citations

Hoey, Jesse, et al.. (2013). SPUDD: Stochastic Planning using Decision Diagrams. arXiv (Cornell University). 279–288. 66 indexed citations

Ball, Thomas, et al.. (2013). Efficient modular SAT solving for IC3. 149–156. 10 indexed citations

Gort, Marcel, Flavio M. De Paula, Tor M. Aamodt, et al.. (2011). Formal-Analysis-Based Trace Computation for Post-Silicon Debug. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 20(11). 1997–2010. 3 indexed citations

Hu, Alan J., et al.. (2011). Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC. 92–97. 10 indexed citations

Babić, Domagoj & Alan J. Hu. (2009). Approximating the safely reusable set of learned facts. International Journal on Software Tools for Technology Transfer. 11(4). 325–338. 2 indexed citations

Paula, Flavio M. De, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, & Jin Yang. (2008). BackSpace: Formal Analysis for Post-Silicon Debug. 1–10. 61 indexed citations

10.

Babić, Domagoj & Alan J. Hu. (2008). Calysto. 211–220. 99 indexed citations

11.

Hutter, Frank, Domagoj Babić, Holger H. Hoos, & Alan J. Hu. (2007). Boosting Verification by Automatic Tuning of Decision Procedures. 27–34. 56 indexed citations

12.

Hu, Alan J., Tom Fitzpatrick, Rajeev Ranjan, et al.. (2007). Verification Coverage: When is Enough, Enough?. Proceedings - ACM IEEE Design Automation Conference. 744–745. 2 indexed citations

13.

Babić, Domagoj, Alan J. Hu, Zvonimir Rakamarić, & Byron Cook. (2007). Proving Termination by Divergence.. Lirias (KU Leuven). 19. 93–102. 8 indexed citations

14.

Hutter, Frank, Domagoj Babić, Holger H. Hoos, & Alan J. Hu. (2007). Boosting Verification by Automatic Tuning of Decision Procedures. 27–34. 24 indexed citations

15.

Hu, Alan J., et al.. (2006). Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. 1063–1063. 13 indexed citations

16.

Dean, Drew & Alan J. Hu. (2004). Fixing races for fun and profit: how to use access(2). USENIX Security Symposium. 14–14. 28 indexed citations

17.

Hu, Alan J., et al.. (2003). Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. International Conference on Computer Aided Design. 154–159. 12 indexed citations

18.

Hu, Alan J., et al.. (2003). Efficient generation of monitor circuits for GSTE assertion graphs. 154–159. 11 indexed citations

19.

Hu, Alan J. & Moshe Y. Vardi. (1998). Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings. DIAL (Catholic University of Leuven). 3 indexed citations

20.

Hu, Alan J., Masahiro Fujita, & Clark R. Wilson. (1997). Formal verification of the HAL S1 System cache coherence protocol. 438–444. 10 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