You can find the classic dblp view of this page here.
- [c4]Tim Smith: Infiniteness and Boundedness in 0L, DT0L, and T0L Systems. LATA 2013: 535-546
- [p1]Tim Smith, Jim Barhorst, James M. Urnes: Design and Flight Test of an Intelligent Flight Control System. Applications of Neural Networks in High Assurance Systems 2010: 57-76
- [c2]Tim Smith: Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments. SSS 2008: 95-116