| Department of Civil, Construction, and Environmental Engineering |
| North Carolina State University |
|
|
Research InterestsSystems 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.EducationPhD, Civil Engineering, Carnegie Mellon University, 1989MS, Civil Engineering, Carnegie Mellon University, 1984 Bachelor of Civil Engineering, Auburn University, 1983
Representative PublicationsAbhinav 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 MembershipsAmerican Society of Civil EngineersAssociation for Computing Machinery IEEE Computer Society
|
Home
| General Information
| People
| Academics
Research
| Extension
| Related Information
