C. A. J. van Eijk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1995–1999
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | DATE | Identification and Exploitation of Symmetries in DSP Algorithms. | C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman, Adwin H. Timmer |
| 1998 | DATE | Sequential Equivalence Checking without State Space Traversal. | C. A. J. van Eijk |
| 1998 | DATE | An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization. | J. W. J. M. Rutten, Michel R. C. M. Berkelaar, C. A. J. van Eijk, M. A. J. Kolsteren |
| 1996 | DATE | Exploiting Functional Dependencies in Finite State Machine Verification. | C. A. J. van Eijk, Jochen A. G. Jess |
| 1996 | ICCAD | Polarized observability don't cares. | Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk |
| 1995 | DATE | Run-time consistency checking in discrete simulation models. | J. W. G. Fleurkens, C. A. J. van Eijk, Jochen A. G. Jess |