John W. Baugh
- Alternative programming techniques for finite element program development. Presented at: IABSE Colloquium: Expert Systems in Civil Engineering, Bergamo, Italy, 1989. (1989):
- A novel optimization approach for minimum cost design of trusses. In: Computers & Structures, v. 85, n. 23-24 (December 2007). (2007):
- Data Abstraction in Engineering Software Development. In: Journal of Computing in Civil Engineering, v. 6, n. 3 (July 1992). (1992):
- Semantic Validation of Product and Process Models. In: Journal of Computing in Civil Engineering, v. 11, n. 1 (January 1997). (1997):
- Finite State Verification of Intelligent Transportation Systems. In: Journal of Computing in Civil Engineering, v. 14, n. 1 (January 2000). (2000):
- Real-Time Software Development with Formal Models. In: Journal of Computing in Civil Engineering, v. 9, n. 1 (January 1995). (1995):
- Genetic Algorithm-Based Decision Support for Optimizing Seismic Response of Piping Systems. In: Journal of Structural Engineering (ASCE), v. 131, n. 3 (March 2005). (2005):