Publications

Invited papers

1.

John W. Baugh Jr. Design and verification of real-time systems. In Ian Smith, editor, Artificial Intelligence in Structural Engineering, Lecture Notes in Artificial Intelligence 1454, pages 30-47. Springer-Verlag, 1998.

2.

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.

Journal articles and monograph chapters

1.

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, in press.

2.

Gopalakrishna Reddy Kakivaya and John W. Baugh Jr. Distinguishing formulas for bisimulation inequivalence. Submitted to Formal Aspects of Computing.

3.

John W. Baugh Jr. and Gopalakrishna Reddy Kakivaya. Finite state verification of intelligent transportation systems. Journal of Computing in Civil Engineering, ASCE, 14(1):38-50, 2000.

4.

John W. Baugh Jr. and Harpreet S. Chadha. Designing distributed systems for structural analysis. In High Performance Computing, an ASCE CAAD Committee Report, in press.

5.

Harpreet S. Chadha, John W. Baugh Jr., and Jeannette M. Wing. Formal specification of concurrent systems. Advances in Engineering Software, 30(3):211-224, March 1999.

6.

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.

7.

Wael M. Elseaidy, Rance Cleaveland, and John W. Baugh Jr. Modeling and verifying active structural control systems. Science of Computer Programming, 29(1-2):99-122, July 1997.

8.

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.

9.

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.

10.

Wael M. Elseaidy, John W. Baugh Jr., and Rance Cleaveland. Verification of an active control system using temporal process algebra. Engineering with Computers, 12:46-61, 1996.

11.

Harpreet S. Chadha and John W. Baugh Jr. Network-distributed finite element analysis. Advances in Engineering Software, 25:267-280, 1996. [Also published in B.H.V. Topping and A.I. Khan, editors, Information Technology for Civil and Structural Engineers, pages 205-218. Civil-Comp Press, 1993].

12.

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.

13.

John W. Baugh Jr. and Suresh K. Sharma. Evaluation of distributed finite element algorithms on a workstation network. Engineering with Computers, 10(1):45-62, 1994.

14.

Suresh K. Sharma, John W. Baugh Jr., and Harpreet S. Chadha. A client-server approach for distributed finite element analysis. Advances in Engineering Software, 17(2):69-78, 1993.

15.

John W. Baugh Jr. Using formal methods to specify the functional properties of engineering software. Computers & Structures, 45(3):557-570, October 1992.

16.

John W. Baugh Jr. and Daniel R. Rehak. Data abstraction in engineering software development. Journal of Computing in Civil Engineering, 6(3):282-301, July 1992.

17.

John W. Baugh Jr. and Daniel R. Rehak. Applications of coarse-grained dataflow in computational mechanics. Engineering with Computers, 8(1):13-30, Winter 1992.

18.

William J. Rasdorf, Karen J. Ulberg, and John W. Baugh Jr. A structure-based model of semantic integrity constraints for relational databases. Engineering with Computers, 2(1):31-39, Winter 1987.

Refereed conference papers

1.

Wael M. Elseaidy, Rance Cleaveland, and John W. Baugh Jr. Formal timing analysis for fault-tolerant active structural control systems. In Proceedings of FMSP '96: The First Workshop on Formal Methods in Software Practice, pages 120-131. ACM SIGSOFT, 1996.

2.

Wael M. Elseaidy, Rance Cleaveland, and John W. Baugh Jr. Verifying an intelligent structural control system: A case study. In Proceedings: Real-Time Systems Symposium, San Juan, Puerto Rico, pages 271-275. IEEE Computer Society Press, 1994.

3.

John W. Baugh Jr. Formal specification of engineering analysis programs. In E. N. Houstis, J. R. Rice, and R. Vichnevetsky, editors, Expert Systems for Scientific Computing, pages 393-400. IMACS, North-Holland, 1992.

4.

John W. Baugh Jr. and Daniel R. Rehak. FOOBAR: An artificial intelligence based finite element system. In D. Sriram and R. A. Adey, editors, Knowledge-Based Expert Systems in Engineering: Classification, Education, and Control, pages 209-220. Computational Mechanics Publications, Southampton, U.K., 1987.

Conference papers

1.

Daniel H. Loughlin, John W. Baugh Jr., E. Downey Brill Jr., Sing-Y. Fu, Sujay V. Kumar, Raghu N. Kurlagunda, and S. Ranjithan. The practicality of using genetic algorithms in the design of ozone control strategies. In Proceedings of the 1999 AWMA Annual Meeting, St. Louis, MO, 1999.

2.

Sing-Y. Fu, Daniel H. Loughlin, E. Downey Brill Jr., S. Ranjithan, and John W. Baugh Jr. A conjunctive-use approach for developing tropospheric ozone control strategies. In Proceedings of the 1999 AWMA Annual Meeting, St. Louis, MO, 1999.

3.

John W. Baugh Jr. A Web-based computing environment for structural analysis and design. In Structural Engineering World Wide, Paper Reference: T140-1. Elsevier, 1998.

4.

Daniel H. Loughlin, J. Kevin Neal, S. Ranji Ranjithan, E. Downey Brill, John W. Baugh, Steven S. Fine, Jeff M. Vukovich, and Alison Eyth. Emissions inventory analysis and control strategy development using a computer-based decision support system. In Proceedings of Emissions Inventory: Key to Permitting, Compliance, and Reporting, A&WMA Specialty Conference, pages 598-606, 1996.

5.

Daniel H. Loughlin, J. Kevin Neal, S. Ranji Ranjithan, E. Downey Brill, John W. Baugh, Steven S. Fine, and Jeff M. Vukovich. Design of oxidant air quality management strategies using genetic algorithm-based optimization model in a decision support system. In Proceedings of Computers in Environmental Resource Management, A&WMA Specialty Conference, 1996.

6.

Joseph E. Hummer, John W. Baugh Jr., Bhavani Konuru, and Steven M. Click. A controlled comparison of traditional classroom instruction with computer based instruction in an engineering class. In 1996 ASEE Annual Conference Proceedings, 1996.

7.

John W. Baugh Jr. Verifying the timing requirements of multiprocessor control systems. In Franklin Y. Cheng, editor, Analysis and Computation: Proceedings on the Twelfth Conference, pages 278-285. American Society of Civil Engineers, 1996.

8.

Harpreet S. Chadha and John W. Baugh Jr. Formal specification of concurrent finite element systems. In Franklin Y. Cheng, editor, Analysis and Computation: Proceedings on the Twelfth Conference, pages 166-176. American Society of Civil Engineers, 1996.

9.

Daniel H. Loughlin, J. Kevin Neal, S. Ranjithan, E. Downey Brill, and John W. Baugh. Decision support system for air quality management. In J. P. Mohsen, editor, Computing in Civil Engineering: Proceedings of the Second Congress, pages 1367-1374. American Society of Civil Engineers, 1995.

10.

John W. Baugh Jr., Gopala Krishna Reddy Kakivaya, and John R. Stone. Multiobjective optimization of the dial-a-ride problem using simulated annealing. In J. P. Mohsen, editor, Computing in Civil Engineering: Proceedings of the Second Congress, pages 278-285. American Society of Civil Engineers, 1995.

11.

Harpreet S. Chadha, John W. Baugh Jr., and Jeannette M. Wing. Formal specification of AEC product models. In Khalil Khozeimeh, editor, Computing in Civil Engineering: Proceedings of the First Congress, volume 1, pages 571-578. American Society of Civil Engineers, 1994.

12.

John W. Baugh Jr., E. Downey Brill Jr., and Shannon C. Caldwell. Modeling to generate alternatives in discrete structural optimization. In Khalil Khozeimeh, editor, Computing in Civil Engineering: Proceedings of the First Congress, volume 1, pages 310-317. American Society of Civil Engineers, 1994.

13.

John W. Baugh Jr. and Wael M. Elseaidy. Timing analysis of a multiprocessor architecture for active control. In Franklin Y. Cheng, editor, Analysis and Computation: Proceedings of the Eleventh Conference, pages 203-212. American Society of Civil Engineers, 1994.

14.

Joseph E. Hummer, John W. Baugh Jr., Manoj Abraham, and Bhavani Konuru. Creating interactive, animated instructional programs on a Unix-based workstation. In Proceedings of the 23rd Annual Frontiers in Education Conference, pages 70-75. IEEE and ASEE, November 1993.

15.

Ketan A. Shah, Foad Farid, and John W. Baugh Jr. Optimal resource leveling using integer-linear programming. In Louis F. Cohn, editor, Computing in Civil and Building Engineering: Proceedings of the Fifth International Conference, pages 501-508. American Society of Civil Engineers, 1993.

16.

John W. Baugh Jr. and Wael M. Elseaidy. Verification of real-time software for active structural control. In Louis F. Cohn, editor, Computing in Civil and Building Engineering: Proceedings of the Fifth International Conference, pages 1672-1679. American Society of Civil Engineers, 1993.

17.

William J. Rasdorf, John W. Baugh Jr., Jason P. Heroux, and Douglas J. Peters. An agenda for AEC PDES research. In Barry J. Goodno and Jeff R. Wright, editors, Computing in Civil Engineering and Geographic Information Systems Symposium: Proceedings of the Eighth Conference, pages 376-385. American Society of Civil Engineers, 1992.

18.

Suresh K. Sharma and John W. Baugh Jr. LAN ho! Structural analysis on a network. In Barry J. Goodno and Jeff R. Wright, editors, Computing in Civil Engineering and Geographic Information Systems Symposium: Proceedings of the Eighth Conference, pages 639-646. American Society of Civil Engineers, 1992.

19.

John W. Baugh Jr. Program design with algebraic specifications. In Oktay Ural and Ton-Lo Wang, editors, Electronic Computation: Proceedings of the Tenth Conference, pages 345-352. American Society of Civil Engineers, 1991.

20.

Daniel R. Rehak and John W. Baugh Jr. Alternative programming techniques for finite element program development. In IABSE Colloquium on Expert Systems in Civil Engineering, Bergamo, Italy, October 1989. International Association for Bridge and Structural Engineering (IABSE).

21.

John W. Baugh Jr. and Daniel R. Rehak. Object-oriented design of finite element programs. In J. K. Nelson, Jr., editor, Computer Utilization in Structural Engineering, pages 91-100. American Society of Civil Engineers, May 1989.

Technical reports (not published elsewhere)

1.

Radhika Venkatraman and John W. Baugh Jr. An interface for discrete structural optimization. Technical Report CE-306-95, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1995.

2.

Barbara A. Sich and John W. Baugh Jr. Optimization of ozone control strategies using linear regression. Technical Report CE-305-95, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1995.

3.

Brian D. Rose and John W. Baugh Jr. Parametric study of a pulse control algorithm with time delays. Technical Report CE-303-93, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1993.

4.

Douglas J. Peters, Jason P. Heroux, William J. Rasdorf, and John W. Baugh Jr. Enhanced data exchange through AEC modeling. Technical Report CE-013-91, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1991.

5.

Edward M. Patton, John W. Baugh Jr., and Leonard R. Shotwell. Projectile foundation moment generation--Phase IV. U. S. Army Ballistic Research Laboratory Report, Pacific Northwest Laboratory, Richland, WA, 1986.

6.

K. Akbar Ansari and John W. Baugh Jr. Dynamics of a balloting projectile in a moving gun tube. U. S. Army Ballistic Research Laboratory Report, Pacific Northwest Laboratory, Richland, WA, 1986.

7.

Walt E. Enderlin and John W. Baugh Jr. Vibration and wear in steam generator tubes following chemical cleaning. Nuclear Regulatory Commission Report NUREG/CR-4276, Pacific Northwest Laboratory, Richland, WA, June 1985.

Return to the home page of John Baugh