John W. Baugh Jr.
 |
Professor of Civil EngineeringComputer-Aided Engineering Office: 316 Mann Hall |
Research Interests
Systems engineering and computing applications in civil engineering; concurrent and distributed algorithms and systems; formal approaches for reasoning about computer systems; mathematical modeling, optimization, and support for engineering design; verification of real-time systems.
Education
- PhD, Civil Engineering, Carnegie Mellon University, 1989
- MS, Civil Engineering, Carnegie Mellon University, 1984
- Bachelor of Civil Engineering, Auburn University, 1983
Representative Publications
Abhinav Gupta, Prakash Kripakaran, G. Mahinthakumar, and John W. Baugh Jr. Genetic algorithm-based decision support for optimizing seismic response of piping systems. Journal of Structural Engineering, 131(3):389-398, 2005.
John W. Baugh Jr. and Sujay V. Kumar. Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow. In Genetic and Evolutionary Computation (GECCO), pages 730-741, 2003.
John R. Stone, John W. Baugh Jr., Shoma Chakravarty, and Michael N. Surasky. Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation. Transportation Research Record, 1760: 114-120, 2001.
John W. Baugh Jr. and Ravi Krishna S. Konduri. Discrete element modeling on a cluster of workstations. Engineering with Computers, 17:1-15, 2001.
Daniel H. Loughlin, S. Ranji Ranjithan, E. Downey Brill Jr., and John W. Baugh Jr. Genetic algorithm approaches for addressing unmodeled objectives in optimization problems. Engineering Optimization, 33:549-569, 2001.
Daniel H. Loughlin, S. Ranji Ranjithan, John W. Baugh Jr., and E. Downey Brill Jr. Application of genetic algorithms for the design of ozone control strategies. Journal of the Air & Waste Management Association, 50:1050-1063, June 2000.
John W. Baugh Jr. and Gopala Krishna Reddy Kakivaya. Finite state verification of intelligent transportation systems. Journal of Computing in Civil Engineering, 14(1):38-50, 2000.
John W. Baugh Jr., Gopala Krishna Reddy Kakivaya, and John R. Stone. Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing. Engineering Optimization, 30(2):91-123, 1998.
Wael M. Elseaidy, Rance Cleaveland, and John W. Baugh Jr. Modeling and verifying active structural control systems. Science of Computer Programming, 29(1-2), July 1997.
John W. Baugh Jr. and Harpreet S. Chadha. Semantic validation of product and process models. Journal of Computing in Civil Engineering, 11(1):26-36, 1997.
John W. Baugh Jr., Shannon C. Caldwell, and E. Downey Brill Jr. A mathematical programming approach for generating alternatives in discrete structural optimization. Engineering Optimization, 28:1-31, 1997.
Harpreet S. Chadha and John W. Baugh Jr. Network-distributed finite element analysis. Advances in Engineering Software, 25:267-280, 1996.
John W. Baugh Jr. and Wael M. Elseaidy. Real-time software development with formal models. Journal of Computing in Civil Engineering, 9(1):73-86, 1995.
John W. Baugh Jr. Using formal methods to specify the functional properties of engineering software. Computers & Structures, 45(3):557-570, October 1992.
John W. Baugh Jr. Is engineering software amenable to formal specification? In Ursula Martin and Jeannette M. Wing, editors, First International Workshop on Larch, pages 1-17. Springer-Verlag and the British Computer Society, 1992.
Professional Memberships
American Society of Civil Engineers
Association for Computing Machinery
IEEE Computer Society
©Department of Civil, Construction, and Environmental Engineering
