Thomas Sidle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1974–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | DAC | Dynamic abstraction using SAT-based BMC. | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle |
| 2004 | FMCAD | Invariant Checking Combining Forward and Backward Traversal. | Christian Stangier, Thomas Sidle |
| 1980 | DAC | Weaknesses of commercial data base management systems in engineering applications. | Thomas Sidle |
| 1974 | DAC | A programmable configurator. | F. Beuger, Thomas Sidle, L. W. Leyking, A. G. Livitsanos |