William K. C. Lam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1992–1994
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CAV | Criteria for the Simple Path Property in Timed Automata. | William K. C. Lam, Robert K. Brayton |
| 1994 | DAC | Exact Minimum Cycle Times for Finite State Machines. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | CAV | Alternating RQ Timed Automata. | William K. C. Lam, Robert K. Brayton |
| 1993 | DAC | Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Delay Fault Coverage and Performance Tradeoffs. | William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | Valid clocking in wavepipelined circuits. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | On Relationship Between ITE and BDD. | William K. C. Lam, Robert K. Brayton |