Concepedia

Timothy Kam

TK

25

Publications

1.1K

Citations

18

H-Index

1994

Active since

Affiliations

Intel (United States)(Current)

University of California, Berkeley

AT&T (United States)

Carnegie Mellon University

Timothy Kam is an author at Intel (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationSystems EngineeringComputer ArchitectureProgram AnalysisParallel ComputingAutomated Reasoning

Publications per year

1994–2012

25

Publications

25

Multi-valued decision diagrams: theory and applications

Timothy Kam, Tiziano Villa, Robert K. Brayton et al. · 1998 · 229 citations

Fuzzy Logic, Engineering, Decision Tree +6

Coverage estimation for symbolic model checking

Yatin Hoskote, Timothy Kam, Pei-Hsin Ho et al. · 1999 · 133 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Reducing Structural Bias in Technology Mapping

Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 79 citations

Circuit Complexity, Engineering, Electronic Design Automation +20

A fully implicit algorithm for exact state minimization

Timothy Kam, Tiziano Villa, Robert K. Brayton et al. · 1994 · 68 citations

Mathematical Programming, Numerical Analysis, Theory Of Computing +14

HSIS

A. Aziz, Serdar Taşiran, Huey-Yih Wang et al. · 1994 · 57 citations

Engineering, Information Security, Verification +17

Rows per page

1–5 of 25