Travelled to:3 × USA
Collaborated with:∅ L.Zhang M.R.Prasad M.S.Hsiao F.Beuger L.W.Leyking A.G.Livitsanos
Talks about:base (2) programm (1) configur (1) commerci (1) abstract (1) system (1) applic (1) manag (1) engin (1) dynam (1)
Person: Thomas Sidle
DBLP: Sidle:Thomas
Contributed to:
200519801974Wrote 3 papers:
- DAC-2005-ZhangPHS #abstraction #satisfiability #using
- Dynamic abstraction using SAT-based BMC (LZ, MRP, MSH, TS), pp. 754–757.
- DAC-1980-Sidle #database
- Weaknesses of commercial data base management systems in engineering applications (TS), pp. 57–61.
- DAC-1974-BeugerSLL #programmable
- A programmable configurator (FB, TS, LWL, AGL), pp. 177–185.