Timothy Kam

1.4k total citations
41 papers, 920 citations indexed

About

Timothy Kam is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Timothy Kam has authored 41 papers receiving a total of 920 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Hardware and Architecture, 23 papers in Computational Theory and Mathematics and 12 papers in Electrical and Electronic Engineering. Recurrent topics in Timothy Kam's work include Formal Methods in Verification (22 papers), VLSI and Analog Circuit Testing (15 papers) and Embedded Systems Design Techniques (15 papers). Timothy Kam is often cited by papers focused on Formal Methods in Verification (22 papers), VLSI and Analog Circuit Testing (15 papers) and Embedded Systems Design Techniques (15 papers). Timothy Kam collaborates with scholars based in United States, United Kingdom and Switzerland. Timothy Kam's co-authors include Robert K. Brayton, Tiziano Villa, Alberto Sangiovanni‐Vincentelli, Pei-Hsin Ho, Yatin Hoskote, Xudong Zhao, Satrajit Chatterjee, Xinning Wang, Alan Mishchenko and A. Mishchenko and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems and International Conference on Computer Aided Design.

In The Last Decade

Timothy Kam

39 papers receiving 861 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Timothy Kam United States 19 519 495 325 245 187 41 920
Adnan Aziz United States 15 378 0.7× 354 0.7× 350 1.1× 206 0.8× 122 0.7× 55 812
Görschwin Fey Germany 16 491 0.9× 632 1.3× 535 1.6× 356 1.5× 189 1.0× 157 1.1k
Avi Ziv Israel 17 313 0.6× 715 1.4× 351 1.1× 477 1.9× 129 0.7× 67 1.1k
Mary Sheeran Sweden 14 293 0.6× 460 0.9× 129 0.4× 114 0.5× 288 1.5× 44 706
Niklas Sörensson Sweden 7 416 0.8× 172 0.3× 126 0.4× 204 0.8× 337 1.8× 8 707
T. Larrabee United States 19 301 0.6× 1.1k 2.1× 971 3.0× 153 0.6× 124 0.7× 33 1.3k
Zvi Kohavi United States 9 291 0.6× 367 0.7× 295 0.9× 139 0.6× 196 1.0× 20 727
Martin Hopkins United States 8 175 0.3× 754 1.5× 168 0.5× 88 0.4× 240 1.3× 15 1.0k
Bent Thomsen Denmark 12 369 0.7× 143 0.3× 89 0.3× 154 0.6× 389 2.1× 46 697
Hal Wasserman United States 8 180 0.3× 312 0.6× 295 0.9× 40 0.2× 370 2.0× 12 838

Countries citing papers authored by Timothy Kam

Since Specialization
Citations

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

Fields of papers citing papers by Timothy Kam

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Timothy Kam

This figure shows the co-authorship network connecting the top 25 collaborators of Timothy Kam. A scholar is included among the top collaborators of Timothy Kam 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 Timothy Kam. Timothy Kam 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.
Kam, Timothy, Tiziano Villa, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (2013). Synthesis of Finite State Machines : Functional Optimization. CERN Document Server (European Organization for Nuclear Research). 14 indexed citations
2.
Kam, Timothy, et al.. (2012). A study of the effectiveness of CPU consolidation in a virtualized multi-core server system. 339–344. 20 indexed citations
3.
Ogras, Ümit Y., et al.. (2012). Energy-guided exploration of on-chip network design for exa-scale computing. 24–31. 2 indexed citations
4.
Ayoub, Raid, Ümit Y. Ogras, Eugene Gorbatov, et al.. (2011). OS-level power minimization under tight performance constraints in general purpose systems. 321–326. 5 indexed citations
5.
Nurvitadhi, Eriko, James C. Hoe, Timothy Kam, & Shih‐Lien L. Lu. (2010). Automatic pipelining from transactional datapath specifications. Design, Automation, and Test in Europe. 1001–1004. 6 indexed citations
6.
Nurvitadhi, Eriko, James C. Hoe, Shih‐Lien L. Lu, & Timothy Kam. (2010). Automatic multithreaded pipeline synthesis from transactional datapath specifications. 314–319. 10 indexed citations
7.
Nurvitadhi, Eriko, James C. Hoe, Timothy Kam, & Shih‐Lien L. Lu. (2010). Automatic pipelining from transactional datapath specifications. 1001–1004. 3 indexed citations
8.
Chatterjee, Satrajit, Alan Mishchenko, Robert K. Brayton, Xinning Wang, & Timothy Kam. (2006). Reducing Structural Bias in Technology Mapping. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(12). 2894–2903. 56 indexed citations
9.
Chatterjee, Satrajit, et al.. (2005). Reducing structural bias in technology mapping. International Conference on Computer Aided Design. 519–526. 39 indexed citations
10.
Hung, William N. N., et al.. (2004). Routability checking for three-dimensional architectures. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 12(12). 1371–1374. 18 indexed citations
11.
12.
Gupta, Shagun, Timothy Kam, Michael Kishinevsky, et al.. (2002). Coordinated transformations for high-level synthesis of high performance microprocessor blocks. 898–903. 4 indexed citations
13.
Hoskote, Yatin, Timothy Kam, Pei-Hsin Ho, & Xudong Zhao. (1999). Coverage estimation for symbolic model checking. 300–305. 88 indexed citations
14.
Ho, Pei-Hsin, et al.. (1998). Formal verification of pipeline control using controlled token nets and abstract interpretation. 529–536. 34 indexed citations
15.
Villa, Tiziano, Timothy Kam, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1997). Synthesis of Finite State Machines: Logic Optimization. CERN Document Server (European Organization for Nuclear Research). 42 indexed citations
16.
Villa, Tiziano, et al.. (1997). Explicit and implicit algorithms for binate covering problems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 16(7). 677–691. 34 indexed citations
17.
Villa, Tiziano, Timothy Kam, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1997). Synthesis of FSMs: logic optimization. 10 indexed citations
18.
Villa, Tiziano, Timothy Kam, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1997). Synthesis of Finite State Machines. 31 indexed citations
19.
Kam, Timothy, Tiziano Villa, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1994). A fully implicit algorithm for exact state minimization. 684–690. 52 indexed citations
20.
Kam, Timothy & P. A. Subrahmanyam. (1992). State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. European Design Automation Conference. 92–97. 3 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 Adnan Aziz Breakdown of academic impact, for papers by Görschwin Fey Breakdown of academic impact, for papers by Avi Ziv Breakdown of academic impact, for papers by Mary Sheeran Breakdown of academic impact, for papers by Niklas Sörensson Breakdown of academic impact, for papers by T. Larrabee Breakdown of academic impact, for papers by Zvi Kohavi Breakdown of academic impact, for papers by Martin Hopkins Breakdown of academic impact, for papers by Bent Thomsen Breakdown of academic impact, for papers by Hal Wasserman
Rankless by CCL
2026