A programmable configurator. - F. Beuger; Thomas Sidle; L. W. Leyking; A. G. Livitsanos (DAC, 1974)

Weaknesses of commercial data base management systems in engineering applications. - Thomas Sidle (DAC, 1980)

Invariant Checking Combining Forward and Backward Traversal. - Christian Stangier; Thomas Sidle (FMCAD, 2004)

Error Detection Using BMC in a Parallel Environment. - Subramanian K. Iyer; Jawahar Jain; Mukul R. Prasad; Debashis Sahoo; Thomas Sidle (CHARME, 2005)

Dynamic abstraction using SAT-based BMC. - Liang Zhang 012; Mukul R. Prasad; Michael S. Hsiao; Thomas Sidle (DAC, 2005)