David Van Campenhout
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2003
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
| 2003 | ICALP | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 1999 | DAC | High-Level Test Generation for Design Verification of Pipelined Microprocessors. | David Van Campenhout, Trevor N. Mudge, John P. Hayes |
| 1996 | ICCAD | Timing verification of sequential domino circuits. | David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah |