@article{zhang_teng_kong_baugh_su_mi_du_2023, title={Automatic modelling and verification of Autosar architectures}, url={https://doi.org/10.1016/j.jss.2023.111675}, DOI={10.1016/j.jss.2023.111675}, journal={Journal of Systems and Software}, author={Zhang, Miaomiao and Teng, Yu and Kong, Hui and Baugh, John and Su, Yu and Mi, Junri and Du, Bowen}, year={2023}, month={Mar} } @article{kwag_gupta_baugh_kim_2021, title={Significance of multi-hazard risk in design of buildings under earthquake and wind loads}, volume={243}, ISSN={["1873-7323"]}, DOI={10.1016/j.engstruct.2021.112623}, journal={ENGINEERING STRUCTURES}, author={Kwag, Shinyoung and Gupta, Abhinav and Baugh, John and Kim, Hyun-Su}, year={2021}, month={Sep} } @inbook{banach_baugh_2020, place={Cham}, title={A simple Hybrid Event-B model of an active control system for earthquake protection}, volume={35}, DOI={10.1007/978-3-030-15792-0_7}, booktitle={From Astrophysics to Unconventional Computation}, publisher={Springer}, author={Banach, Richard and Baugh, John}, editor={Adamatzky, Andrew and Kendon, VivienEditors}, year={2020}, pages={157–194} } @inproceedings{dyer_altuntas_baugh_2019, title={Bounded Verification of Sparse Matrix Computations}, url={http://dx.doi.org/10.1109/correctness49594.2019.00010}, DOI={10.1109/correctness49594.2019.00010}, booktitle={2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)}, publisher={IEEE/ACM}, author={Dyer, Tristan and Altuntas, Alper and Baugh, John}, year={2019}, month={Nov}, pages={36–43} } @article{baugh_altuntas_2018, title={Formal methods and finite element analysis of hurricane storm surge: A case study in software verification}, volume={158}, ISSN={["1872-7964"]}, url={https://doi.org/10.1016/j.scico.2017.08.012}, DOI={10.1016/j.scico.2017.08.012}, journal={SCIENCE OF COMPUTER PROGRAMMING}, publisher={Elsevier BV}, author={Baugh, John and Altuntas, Alper}, year={2018}, month={Jun}, pages={100–121} } @article{altuntas_baugh_2018, title={Hybrid theorem proving as a lightweight method for verifying numerical software}, DOI={10.1109/Correctness.2018.00005}, journal={PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS}, publisher={IEEE}, author={Altuntas, Alper and Baugh, John}, year={2018}, pages={1–8} } @article{liu_jiang_yang_baugh_2018, title={Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor}, volume={215}, url={https://doi.org/10.1016/j.ecss.2018.09.019}, DOI={10.1016/j.ecss.2018.09.019}, journal={Estuarine, Coastal and Shelf Science}, publisher={Elsevier BV}, author={Liu, Xing and Jiang, Wensheng and Yang, Bo and Baugh, John}, year={2018}, month={Dec}, pages={39–51} } @inproceedings{baugh_dyer_2018, place={Cham}, title={State-based formal methods in scientific computation}, DOI={10.1007/978-3-319-91271-4_29}, note={Lecture Notes in Computer Science 10817}, booktitle={Abstract State Machines, Alloy, B, TLA, VDM, and Z}, publisher={Springer}, author={Baugh, John and Dyer, Tristan}, editor={Butler, Michael and Raschke, Alexander and Hoang, Thai Son and Reichl, KlausEditors}, year={2018}, pages={392–396} } @article{altuntas_baugh_2017, title={Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models}, volume={115}, ISSN={["1463-5011"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-85020014888&partnerID=MN8TOARS}, DOI={10.1016/j.ocemod.2017.05.009}, journal={OCEAN MODELLING}, author={Altuntas, Alper and Baugh, John}, year={2017}, month={Jul}, pages={86–104} } @inproceedings{altuntas_baugh_2017, title={Verifying Concurrency in an Adaptive Ocean Circulation Model}, DOI={10.1145/3145344.3145346}, booktitle={Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17}, publisher={ACM Press}, author={Altuntas, Alper and Baugh, John}, year={2017} } @article{baugh_liu_2016, title={A general characterization of the Hardy Cross method as sequential and multiprocess algorithms}, volume={6}, ISSN={["2352-0124"]}, DOI={10.1016/j.istruc.2016.03.004}, journal={STRUCTURES}, publisher={Elsevier BV}, author={Baugh, John and Liu, Shu}, year={2016}, month={May}, pages={170–181} } @article{baugh_altuntas_2016, place={Cham}, title={Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy}, volume={9675}, ISBN={["978-3-319-33599-5"]}, ISSN={["1611-3349"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84978698635&partnerID=MN8TOARS}, DOI={10.1007/978-3-319-33600-8_18}, note={Lecture Notes in Computer Science 9675}, journal={ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016)}, publisher={Springer}, author={Baugh, John and Altuntas, Alper}, editor={Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, MiklosEditors}, year={2016}, pages={256–261} } @article{dyer_baugh_2016, title={SMT: An interface for localized storm surge modeling}, volume={92}, ISSN={["1873-5339"]}, DOI={10.1016/j.advengsoft.2015.10.003}, journal={ADVANCES IN ENGINEERING SOFTWARE}, publisher={Elsevier BV}, author={Dyer, Tristan and Baugh, John}, year={2016}, month={Feb}, pages={27–39} } @article{baugh_altuntas_dyer_simon_2015, title={An exact reanalysis technique for storm surge and tides in a geographic region of interest}, volume={97}, ISSN={["1872-7379"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-85027939365&partnerID=MN8TOARS}, DOI={10.1016/j.coastaleng.2014.12.003}, journal={COASTAL ENGINEERING}, author={Baugh, John and Altuntas, Alper and Dyer, Tristan and Simon, Jason}, year={2015}, month={Mar}, pages={60–77} } @article{the effects of construction related costs on the optimization of steel frames_2012, volume={43}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84863199832&partnerID=MN8TOARS}, DOI={10.12989/sem.2012.43.1.031}, number={1}, journal={Structural Engineering and Mechanics}, year={2012}, pages={31–51} } @article{kripakaran_gupta_baugh_2007, title={A novel optimization approach for minimum cost design of trusses}, volume={85}, ISSN={["1879-2243"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-36049020582&partnerID=MN8TOARS}, DOI={10.1016/j.compstruc.2007.04.006}, number={23-24}, journal={COMPUTERS & STRUCTURES}, author={Kripakaran, Prakash and Gupta, Abhinav and Baugh, John W., Jr.}, year={2007}, month={Dec}, pages={1782–1794} } @article{kumar_doby_baugh_brill_ranjithan_2007, title={Closure to "optimal design of redundant water distribution networks using a cluster of workstations" by Sujay V. Kumar, Troy A. Doby, John W. Baugh Jr., E. Downey Brill, and S. Ranji Ranjithan}, volume={133}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-36349011269&partnerID=MN8TOARS}, DOI={10.1061/(asce)0733-9496(2007)133:6(580)}, number={6}, journal={Journal of Water Resources Planning and Management}, author={Kumar, S. V. and Doby, T. A. and Baugh, J. W. and Brill, E. D. and Ranjithan, S. R.}, year={2007}, pages={580–581} } @article{kumar_doby_baugh_brill_ranjithan_2006, title={Optimal design of redundant water distribution networks using a cluster of workstations}, volume={132}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-33747304468&partnerID=MN8TOARS}, DOI={10.1061/(ASCE)0733-9496(2006)132:5(374)}, number={5}, journal={Journal of Water Resources Planning and Management}, author={Kumar, S. V. and Doby, T. A. and Baugh, J. W. and Brill, E. D. and Ranjithan, S. R.}, year={2006}, pages={374–384} } @article{gupta_kripakaran_mahinthakumar_baugh_2005, title={Genetic algorithm-based decision support for optimizing seismic response of piping systems}, volume={131}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-14544294041&partnerID=MN8TOARS}, DOI={10.1061/(asce)0733-9445(2005)131:3(389)}, number={3}, journal={Journal of Structural Engineering}, author={Gupta, A. and Kripakaran, P. and Mahinthakumar, G. K. and Baugh, J. W.}, year={2005}, pages={389–398} } @inproceedings{doby_kumar_baugh_brill_ranjithan_2004, title={Genetic algorithm search for least cost design of looped pipe networks using age as a quality surrogate and different levels of redundancy}, volume={111}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-75649129137&partnerID=MN8TOARS}, DOI={10.1061/40569(2001)387}, booktitle={Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001}, author={Doby, T.A. and Kumar, S.V. and Baugh, J.W. and Brill, E.D. and Ranjithan, S.R.}, year={2004} } @inproceedings{kumar_doby_baugh_brill_ranjithan_2004, title={Method for least cost design of looped pipe networks for different levels of redundancy using genetic algorithms}, volume={104}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-74949091879&partnerID=MN8TOARS}, DOI={10.1061/40517(2000)201}, booktitle={Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships}, author={Kumar, S.V. and Doby, T.A. and Baugh, J.W. and Brill, E.D. and Ranjithan, S.R.}, year={2004} } @inproceedings{vitri: a framework for environmental decision support on heterogeneous computer networks_2004, volume={111}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-75649149870&partnerID=MN8TOARS}, DOI={10.1061/40569(2001)111}, booktitle={Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001}, year={2004} } @book{asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow_2003, volume={2723}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-35248893482&partnerID=MN8TOARS}, journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, year={2003}, pages={730–741} } @inbook{baugh_kumar_2003, title={Asynchronous genetic algorithms for heterogenous networks using course-grained dataflow}, volume={2723}, ISBN={3540406026}, DOI={10.1007/3-540-45105-6_88}, booktitle={Genetic and evolutionary computation--GECCO 2003: Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003: Proceedings}, publisher={Berlin; New York: Springer}, author={Baugh, J. W. and Kumar, S. V.}, year={2003}, pages={730–741} } @inproceedings{new ga approaches for pipe support optimization_2003, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-22344433506&partnerID=MN8TOARS}, booktitle={Proceedings of the Structures Congress and Exposition}, year={2003}, pages={61–62} } @article{baugh_konduri_2001, title={Discrete element modelling on a cluster of workstations}, volume={17}, ISSN={["0177-0667"]}, DOI={10.1007/PL00007192}, number={1}, journal={ENGINEERING WITH COMPUTERS}, author={Baugh, JW and Konduri, RKS}, year={2001}, pages={1–15} } @article{j.w._konduri_2001, title={Discrete element modelling on a cluster of workstations}, volume={17}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0035194161&partnerID=MN8TOARS}, number={1}, journal={Engineering with Computers}, author={J.W., Baugh, Jr. and Konduri, R.K.S.}, year={2001}, pages={1–15} } @article{loughlin_ranjithan_brill_baugh_2001, title={Genetic algorithm approaches for addressing unmodeled objectives in optimization problems}, volume={33}, ISSN={["0305-215X"]}, DOI={10.1080/03052150108940933}, number={5}, journal={ENGINEERING OPTIMIZATION}, author={Loughlin, DH and Ranjithan, SR and Brill, ED and Baugh, JW}, year={2001}, pages={549–569} } @article{genetic algorithm approaches for addressing unmodeled objectives in optimization problems_2001, volume={33}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-2342512900&partnerID=MN8TOARS}, number={5}, journal={Engineering Optimization}, year={2001}, pages={549–569} } @book{stone_baugh_chakravarty_surasky_2001, title={Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0035728022&partnerID=MN8TOARS}, number={1760}, journal={Transportation Research Record}, author={Stone, J.R. and Baugh, J.W. and Chakravarty, S. and Surasky, M.N.}, year={2001}, pages={114–120} } @inbook{stone_baugh_chakravarty_surasky_2001, title={Winston-Salem mobility manager: Data collection, validation, and performance evaluation}, ISBN={0309072220}, DOI={10.3141/1760-15}, number={1760}, booktitle={Transit: Bus transit and maintenance: Rural paratransit technology: Capacity and quality of service}, publisher={Washington, DC: National Academy Press}, author={Stone, J. R. and Baugh, J. W. and Chakravarty, S. and Surasky, M. N.}, year={2001}, pages={114–120} } @article{loughlin_ranjithan_baugh_brill_2000, title={Application of genetic algorithms for the design of ozone control strategies}, volume={50}, ISSN={["2162-2906"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0034195231&partnerID=MN8TOARS}, DOI={10.1080/10473289.2000.10464133}, number={6}, journal={JOURNAL OF THE AIR & WASTE MANAGEMENT ASSOCIATION}, author={Loughlin, DH and Ranjithan, SR and Baugh, JW and Brill, ED}, year={2000}, month={Jun}, pages={1050–1063} } @article{baugh_kakivaya_2000, title={Finite state verification of intelligent transportation systems}, volume={14}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0033723981&partnerID=MN8TOARS}, DOI={10.1061/(ASCE)0887-3801(2000)14:1(38)}, number={1}, journal={Journal of Computing in Civil Engineering}, author={Baugh, J. W. and Kakivaya, G. R.}, year={2000}, pages={38–50} } @article{chadha_baugh_wing_1999, title={Formal specification of concurrent systems}, volume={30}, ISSN={["0965-9978"]}, DOI={10.1016/S0965-9978(98)00058-1}, number={3}, journal={ADVANCES IN ENGINEERING SOFTWARE}, author={Chadha, HS and Baugh, JW and Wing, JM}, year={1999}, month={Mar}, pages={211–224} } @article{formal specification of concurrent systems_1999, volume={30}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0033098338&partnerID=MN8TOARS}, number={3}, journal={Advances in Engineering Software}, year={1999}, pages={211–224} } @inproceedings{baugh_1998, title={A Web-based computing environment for structural analysis and design}, volume={1}, booktitle={Structural engineering world wide 1998: Proceedings of the Structural Engineers World Congress, July 19-23, 1998, San Francisco, California}, author={Baugh, J. W., Jr.}, year={1998}, pages={T140–1} } @inbook{baugh_1998, title={Design and verification of real-time systems}, volume={1454}, ISBN={3540648062}, DOI={10.1007/bfb0030441}, booktitle={Artificial intelligence in structural engineering: Information technology for design, collaboration, maintenance, and monitoring}, publisher={Berlin; New York: Springer}, author={Baugh, J. W.}, year={1998}, pages={30–47} } @article{baugh_kakivaya_stone_1998, title={Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing}, volume={30}, ISSN={["0305-215X"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0031680443&partnerID=MN8TOARS}, DOI={10.1080/03052159808941240}, number={2}, journal={ENGINEERING OPTIMIZATION}, author={Baugh, JW and Kakivaya, GKR and Stone, JR}, year={1998}, pages={91–123} } @inproceedings{loughlin_ranjithan_brill_baugh_fine_1998, title={Prototype decision support tool for developing tropospheric ozone control strategies}, booktitle={Water resources and the urban environment-98: Proceedings of the 1998 National Conference on Environmental Engineering. ASCE Joint 25th Annual Conference on Water Resources Planning and Management and 1998 National Conference on Environmental Engineering, Chicago, IL, June 7-10,1998}, publisher={Reston, VA: American Society of Civil Engineers}, author={Loughlin, D. and Ranjithan, S. and Brill, E. D. and Baugh, J. and Fine, S.}, year={1998} } @article{baugh_caldwell_brill_1997, title={A mathematical programming approach for generating alternatives in discrete structural optimization}, volume={28}, ISSN={["0305-215X"]}, DOI={10.1080/03052159708941125}, number={1-2}, journal={ENGINEERING OPTIMIZATION}, author={Baugh, JW and Caldwell, SC and Brill, ED}, year={1997}, pages={1–31} } @article{a mathematical programming approach for generating alternatives in discrete structural optimization_1997, volume={28}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0030703305&partnerID=MN8TOARS}, number={1-2}, journal={Engineering Optimization}, year={1997}, pages={1–31} } @article{elseaidy_cleaveland_baugh_1997, title={Modeling and verifying active structural control systems}, volume={29}, ISSN={["1872-7964"]}, DOI={10.1016/S0167-6423(96)00031-7}, number={1-2}, journal={SCIENCE OF COMPUTER PROGRAMMING}, author={Elseaidy, WM and Cleaveland, R and Baugh, JW}, year={1997}, month={Jul}, pages={99–122} } @article{modeling and verifying active structural control systems_1997, volume={29}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0031185496&partnerID=MN8TOARS}, number={1-2}, journal={Science of Computer Programming}, year={1997}, pages={99–122} } @article{baugh_chadha_1997, title={Semantic validation of product and process models}, volume={11}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0343536396&partnerID=MN8TOARS}, DOI={10.1061/(ASCE)0887-3801(1997)11:1(26)}, number={1}, journal={Journal of Computing in Civil Engineering}, author={Baugh, J. W. and Chadha, H. S.}, year={1997}, pages={26–36} } @inproceedings{a controlled comparison of traditional classroom instruction with computer based instruction in an engineering class_1996, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-8744254801&partnerID=MN8TOARS}, booktitle={ASEE Annual Conference Proceedings}, year={1996}, pages={31–35} } @inproceedings{formal specification of concurrent finite element systems_1996, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0029735025&partnerID=MN8TOARS}, booktitle={Proceedings of the Conference on Analysis and Computation}, year={1996}, pages={166–176} } @article{network-distributed finite element analysis_1996, volume={25}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0030102588&partnerID=MN8TOARS}, number={2-3}, journal={Advances in Engineering Software}, year={1996}, pages={267–280} } @article{verification of an active control system using temporal process algebra_1996, volume={12}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753271&partnerID=MN8TOARS}, number={1}, journal={Engineering with Computers}, year={1996}, pages={46–61} } @inproceedings{verifying the timing requirements of multiprocessor control systems_1996, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0029736047&partnerID=MN8TOARS}, booktitle={Proceedings of the Conference on Analysis and Computation}, year={1996}, pages={278–285} } @inproceedings{loughlin_neal_ranjithan_brill_baugh_1995, title={Decision support system for air quality management}, volume={2}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0029238746&partnerID=MN8TOARS}, booktitle={Computing in Civil Engineering (New York)}, author={Loughlin, Daniel H. and Neal, J.Kevin and Ranjithan, S. and Brill, E.Downey and Baugh, John W.}, year={1995}, pages={1367–1374} } @inproceedings{multiobjective optimization of the dial-a-ride problem using simulated annealing_1995, volume={1}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0029229542&partnerID=MN8TOARS}, booktitle={Computing in Civil Engineering (New York)}, year={1995}, pages={278–285} } @article{baugh_elseaidy_1995, title={Real-time software development with formal models}, volume={9}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0028977227&partnerID=MN8TOARS}, DOI={10.1061/(ASCE)0887-3801(1995)9:1(73)}, number={1}, journal={Journal of Computing in Civil Engineering}, author={Baugh, J.W. and Elseaidy, W.M.}, year={1995}, pages={73–86} } @article{evaluation of distributed finite element algorithms on a workstation network_1994, volume={10}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0028257276&partnerID=MN8TOARS}, DOI={10.1007/BF01206539}, number={1}, journal={Engineering with Computers}, year={1994}, pages={45–62} } @inproceedings{formal specification of aec product models_1994, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0028561189&partnerID=MN8TOARS}, number={1}, booktitle={Computing in Civil Engineering (New York)}, year={1994}, pages={571–578} } @inproceedings{modeling to generate alternatives in discrete structural optimization_1994, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0028580898&partnerID=MN8TOARS}, number={1}, booktitle={Computing in Civil Engineering (New York)}, year={1994}, pages={310–317} } @inproceedings{timing analysis of a multiprocessor architecture for active control_1994, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0028324006&partnerID=MN8TOARS}, booktitle={Analysis and Computation}, year={1994}, pages={203–212} } @inproceedings{verifying an intelligent structural control system: a case study_1994, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84882667548&partnerID=MN8TOARS}, DOI={10.1109/REAL.1994.342708}, booktitle={Proceedings - Real-Time Systems Symposium}, year={1994}, pages={271–275} } @article{a client-server approach for distributed finite element analysis_1993, volume={17}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0027839250&partnerID=MN8TOARS}, DOI={10.1016/0965-9978(93)90043-S}, number={2}, journal={Advances in Engineering Software}, year={1993}, pages={69–78} } @inproceedings{creating interactive animated instructional programs on a unix-based workstation_1993, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-8744311160&partnerID=MN8TOARS}, DOI={10.1109/FIE.1993.405565}, booktitle={Proceedings - Frontiers in Education Conference, FIE}, year={1993}, pages={70–75} } @inproceedings{optimal resource leveling using integer-linear programming_1993, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0027306405&partnerID=MN8TOARS}, booktitle={Computing in Civil and Building Engineering}, year={1993}, pages={501–508} } @inproceedings{baugh_elseaidy_1993, title={Verification of real-time software for active structural control}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0027188290&partnerID=MN8TOARS}, booktitle={Computing in Civil and Building Engineering}, author={Baugh, John W. and Elseaidy, Wael M.}, year={1993}, pages={1672–1679} } @article{applications of coarse-grained dataflow in computational mechanics_1992, volume={8}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-33747303296&partnerID=MN8TOARS}, DOI={10.1007/BF01206334}, number={1}, journal={Engineering with Computers}, year={1992}, pages={13–30} } @article{baugh_rehak_1992, title={Data abstraction in engineering software development}, volume={6}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0026899312&partnerID=MN8TOARS}, DOI={10.1061/(ASCE)0887-3801(1992)6:3(282)}, number={3}, journal={Journal of Computing in Civil Engineering}, author={Baugh, J.W. and Rehak, D.R.}, year={1992}, pages={282–301} } @article{using formal methods to specify the functional properties of engineering software_1992, volume={45}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0026940459&partnerID=MN8TOARS}, DOI={10.1016/0045-7949(92)90440-B}, number={3}, journal={Computers and Structures}, year={1992}, pages={557–570} } @inproceedings{program design with algebraic specifications_1991, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0025857871&partnerID=MN8TOARS}, year={1991}, pages={345–352} } @inproceedings{baugh_rehak_1989, title={Object-oriented design of finite element programs}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0024863017&partnerID=MN8TOARS}, author={Baugh, John W.Jr and Rehak, Daniel R.}, year={1989}, pages={91–100} } @article{rasdorf_ulberg_baugh_1987, title={A STRUCTURE-BASED MODEL OF SEMANTIC INTEGRITY CONSTRAINTS FOR RELATIONAL DATABASES}, volume={2}, ISSN={["0177-0667"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-0023120016&partnerID=MN8TOARS}, DOI={10.1007/BF01200175}, number={1}, journal={ENGINEERING WITH COMPUTERS}, author={RASDORF, WJ and ULBERG, KJ and BAUGH, JW}, year={1987}, pages={31–39} }