Works (69)

Updated: March 28th, 2024 18:45

2023 chapter

An HPC Practitioner’s Workbench for Formal Refinement Checking

In Languages and Compilers for Parallel Computing (pp. 64–72).

By: J. Benavides n, J. Baugh n & G. Gopalakrishnan*

co-author countries: United States of America 🇺🇸
Source: ORCID
Added: May 11, 2023

2023 journal article

Automatic modelling and verification of AUTOSAR architectures?

JOURNAL OF SYSTEMS AND SOFTWARE, 201.

By: M. Zhang*, Y. Teng*, H. Kong*, J. Baugh n, Y. Su*, J. Mi*, B. Du*

co-author countries: China 🇨🇳 United States of America 🇺🇸
author keywords: Vehicle electronic system; AUTOSAR; Formal modelling; Timed automata; Verification
Sources: ORCID, Web Of Science
Added: March 12, 2023

2023 chapter

Formalisation, Abstraction and Refinement of Bond Graphs

By: R. Banach* & J. Baugh n

co-author countries: United Kingdom of Great Britain and Northern Ireland 🇬🇧 United States of America 🇺🇸
Source: ORCID
Added: July 14, 2023

2021 journal article

Significance of multi-hazard risk in design of buildings under earthquake and wind loads

ENGINEERING STRUCTURES, 243.

By: S. Kwag*, A. Gupta n, J. Baugh n & H. Kim*

co-author countries: Korea (Republic of) 🇰🇷 United States of America 🇺🇸
author keywords: Earthquake and wind hazards; Performance-based design; Risk-based multi-hazard approach; Multi-hazard risk map; Multi-hazard scenario; Magneto-rheological damper; Adjacent buildings
Source: Web Of Science
Added: August 30, 2021

2020 chapter

A simple Hybrid Event-B model of an active control system for earthquake protection

In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation (Vol. 35, pp. 157–194).

By: R. Banach* & J. Baugh n

co-author countries: United Kingdom of Great Britain and Northern Ireland 🇬🇧 United States of America 🇺🇸

Ed(s): A. Adamatzky & V. Kendon

Event: at Cham

Source: ORCID
Added: May 9, 2019

2019 conference paper

Bounded Verification of Sparse Matrix Computations

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43.

By: T. Dyer n, A. Altuntas* & J. Baugh n

co-author countries: United States of America 🇺🇸
author keywords: sparse matrix formats; state-based formal methods; mechanical verification
Source: ORCID
Added: March 30, 2020

2018 journal article

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification

SCIENCE OF COMPUTER PROGRAMMING, 158, 100–121.

By: J. Baugh n & A. Altuntas n

co-author countries: United States of America 🇺🇸
author keywords: Formal methods; Model checking; Scientific computing; Earth and atmospheric sciences
Sources: Web Of Science, ORCID
Added: August 6, 2018

2018 article

Hybrid theorem proving as a lightweight method for verifying numerical software

PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.

By: A. Altuntas* & J. Baugh n

co-author countries: United States of America 🇺🇸
author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
Sources: ORCID, Web Of Science
Added: December 12, 2018

2018 journal article

Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor

Estuarine, Coastal and Shelf Science, 215, 39–51.

By: X. Liu, W. Jiang*, B. Yang* & J. Baugh n

co-author countries: China 🇨🇳 United States of America 🇺🇸
Source: ORCID
Added: December 6, 2018

2018 conference paper

State-based formal methods in scientific computation

In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396).

By: J. Baugh n & T. Dyer n

co-author countries: United States of America 🇺🇸

Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl

Event: at Cham

Source: ORCID
Added: December 6, 2018

2017 journal article

Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

OCEAN MODELLING, 115, 86–104.

By: A. Altuntas n & J. Baugh n

co-author countries: United States of America 🇺🇸

Contributors: A. Altuntas n & J. Baugh n

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

2017 conference paper

Verifying Concurrency in an Adaptive Ocean Circulation Model

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.

By: A. Altuntas* & J. Baugh n

co-author countries: United States of America 🇺🇸
Source: ORCID
Added: December 6, 2018

2016 journal article

A general characterization of the Hardy Cross method as sequential and multiprocess algorithms

STRUCTURES, 6, 170–181.

By: J. Baugh n & S. Liu n

co-author countries: United States of America 🇺🇸
author keywords: Hardy Cross method; Moment distribution; Convergence; Algorithms; Concurrency
Sources: Web Of Science, ORCID
Added: August 6, 2018

2016 article

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

(M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261.

By: J. Baugh n & A. Altuntas n

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh n & A. Altuntas n

Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro

Event: at Cham

Sources: Web Of Science, ORCID
Added: August 6, 2018

2016 journal article

SMT: An interface for localized storm surge modeling

ADVANCES IN ENGINEERING SOFTWARE, 92, 27–39.

By: T. Dyer n & J. Baugh n

co-author countries: United States of America 🇺🇸
author keywords: Hurricane storm surge; Subdomain modeling; Finite element analysis; ADCIRC; Range search; Visualization
Sources: Web Of Science, ORCID
Added: August 6, 2018

2015 journal article

An exact reanalysis technique for storm surge and tides in a geographic region of interest

COASTAL ENGINEERING, 97, 60–77.

By: J. Baugh n, A. Altuntas n, T. Dyer n & J. Simon*

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh n, A. Altuntas n, T. Dyer n & J. Simon*

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

2012 journal article

The effects of construction related costs on the optimization of steel frames

Structural Engineering and Mechanics, 43(1), 31–51.

Contributors: B. Choi, A. Gupta & J. Baugh Jr.

author keywords: construction related costs; optimization of moment resisting steel frames; connection cost; member section types
Source: ORCID
Added: December 6, 2018

2007 journal article

A novel optimization approach for minimum cost design of trusses

COMPUTERS & STRUCTURES, 85(23-24), 1782–1794.

By: P. Kripakaran*, A. Gupta n & J. Baugh n

co-author countries: Switzerland 🇨🇭 United States of America 🇺🇸

Contributors: P. Kripakaran*, A. Gupta n & J. Baugh Jr.

author keywords: truss design; structural optimization; hybrid search; genetic algorithms; member grouping; discrete sizing optimization; cost minimization
Sources: Web Of Science, ORCID
Added: August 6, 2018

2007 journal article

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

Journal of Water Resources Planning and Management, 133(6), 580–581.

By: S. Kumar n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

co-author countries: United States of America 🇺🇸

Contributors: S. Kumar n, T. Doby n, J. Baugh Jr., E. Brill n & S. Ranjithan n

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2006 journal article

Optimal design of redundant water distribution networks using a cluster of workstations

Journal of Water Resources Planning and Management, 132(5), 374–384.

By: S. Kumar n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

co-author countries: United States of America 🇺🇸

Contributors: S. Kumar n, T. Dovy, J. Baugh Jr., E. Brill n & S. Ranjithan n

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2005 journal article

Genetic algorithm-based decision support for optimizing seismic response of piping systems

Journal of Structural Engineering, 131(3), 389–398.

By: A. Gupta n, P. Kripakaran n, G. Mahinthakumar n & J. Baugh n

co-author countries: United States of America 🇺🇸

Contributors: A. Gupta n, P. Kripakaran n, G. Mahinthakumar n & J. Baugh Jr.

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2004 conference paper

Genetic algorithm search for least cost design of looped pipe networks using age as a quality surrogate and different levels of redundancy

Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, 111.

By: T. Doby n, S. Kumar n, J. Baugh n, E. Brill n & S. Ranjithan n

co-author countries: United States of America 🇺🇸

Contributors: T. Doby n, S. Kumar n, J. Baugh n, E. Brill n & S. Ranjithan n

Source: ORCID
Added: December 6, 2018

2004 conference paper

Method for least cost design of looped pipe networks for different levels of redundancy using genetic algorithms

Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships, 104.

By: S. Kumar n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

co-author countries: United States of America 🇺🇸

Contributors: S. Kumar n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

Source: ORCID
Added: December 6, 2018

2004 conference paper

Vitri: A framework for environmental decision support on heterogeneous computer networks

Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, 111.

Contributors: S. Kumar*, T. Doby*, J. Baugh Jr., E. Brill Jr. & S. Ranjithan n

Source: ORCID
Added: December 6, 2018

2003 book

Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2723, pp. 730–741). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248893482&partnerID=MN8TOARS

Contributors: J. Baugh Jr. & S. Kumar

Source: ORCID
Added: December 6, 2018

2003 chapter

Asynchronous genetic algorithms for heterogenous networks using course-grained dataflow

In Genetic and evolutionary computation--GECCO 2003: Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003: Proceedings (Vol. 2723, pp. 730–741).

By: J. Baugh n & S. Kumar*

co-author countries: United States of America 🇺🇸
Source: NC State University Libraries
Added: August 6, 2018

2003 conference paper

New GA approaches for pipe support optimization

Proceedings of the Structures Congress and Exposition, 61–62. http://www.scopus.com/inward/record.url?eid=2-s2.0-22344433506&partnerID=MN8TOARS

Contributors: P. Kripakaran, J. Baugh Jr., A. Gupta & G. Mahinthakumar

Source: ORCID
Added: December 6, 2018

2001 journal article

Discrete element modelling on a cluster of workstations

ENGINEERING WITH COMPUTERS, 17(1), 1–15.

By: J. Baugh n & R. Konduri n

co-author countries: United States of America 🇺🇸
author keywords: distributed computing; particle methods; short-range interactions
Source: Web Of Science
Added: August 6, 2018

2001 journal article

Discrete element modelling on a cluster of workstations

Engineering with Computers, 17(1), 1–15. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035194161&partnerID=MN8TOARS

By: B. J.W. & R. Konduri

Contributors: B. J.W. & R. Konduri

Source: ORCID
Added: December 6, 2018

2001 journal article

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

ENGINEERING OPTIMIZATION, 33(5), 549–569.

By: D. Loughlin n, . Ranjithan n, E. Brill n & J. Baugh n

co-author countries: United States of America 🇺🇸
author keywords: genetic algorithm; multimodal; modeling to generate alternatives; sharing; niching
Source: Web Of Science
Added: August 6, 2018

2001 journal article

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

Engineering Optimization, 33(5), 549–569. http://www.scopus.com/inward/record.url?eid=2-s2.0-2342512900&partnerID=MN8TOARS

Contributors: D. Loughlin, S. Ranjithan, E. Brill Jr. & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

2001 book

Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation

In Transportation Research Record (pp. 114–120). http://www.scopus.com/inward/record.url?eid=2-s2.0-0035728022&partnerID=MN8TOARS

By: J. Stone, J. Baugh, S. Chakravarty & M. Surasky

Contributors: J. Stone, J. Baugh, S. Chakravarty & M. Surasky

Source: ORCID
Added: December 6, 2018

2001 chapter

Winston-Salem mobility manager: Data collection, validation, and performance evaluation

In Transit: Bus transit and maintenance: Rural paratransit technology: Capacity and quality of service (pp. 114–120).

By: J. Stone n, J. Baugh n, S. Chakravarty & M. Surasky

co-author countries: United States of America 🇺🇸
Source: NC State University Libraries
Added: August 6, 2018

2000 journal article

Application of genetic algorithms for the design of ozone control strategies

JOURNAL OF THE AIR & WASTE MANAGEMENT ASSOCIATION, 50(6), 1050–1063.

By: D. Loughlin n, . Ranjithan n, J. Baugh n & E. Brill n

co-author countries: United States of America 🇺🇸

Contributors: D. Loughlin n, S. Ranjithan n, J. Baugh n & E. Brill n

MeSH headings : Air Pollution / analysis; Algorithms; Decision Making; Environmental Pollution / prevention & control; Models, Genetic; Oxidants, Photochemical; Ozone; Policy Making; Public Policy
Sources: Web Of Science, ORCID
Added: August 6, 2018

2000 journal article

Finite state verification of intelligent transportation systems

Journal of Computing in Civil Engineering, 14(1), 38–50.

By: J. Baugh n & G. Kakivaya n

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh Jr. & G. Kakivaya n

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

1999 journal article

Formal specification of concurrent systems

ADVANCES IN ENGINEERING SOFTWARE, 30(3), 211–224.

By: H. Chadha, J. Baugh n & J. Wing*

co-author countries: United States of America 🇺🇸
author keywords: larch; CCS; equational specifications; process algebra; conjugate gradient method; distributed systems; concurrent systems; programming languages; formal methods
Source: Web Of Science
Added: August 6, 2018

1999 journal article

Formal specification of concurrent systems

Advances in Engineering Software, 30(3), 211–224. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033098338&partnerID=MN8TOARS

Contributors: H. Chadha, J. Baugh Jr. & J. Wing

Source: ORCID
Added: December 6, 2018

1998 conference paper

A Web-based computing environment for structural analysis and design

Structural engineering world wide 1998: Proceedings of the Structural Engineers World Congress, July 19-23, 1998, San Francisco, California, 1, T140–1.

By: J. Baugh

Source: NC State University Libraries
Added: August 6, 2018

1998 chapter

Design and verification of real-time systems

In Artificial intelligence in structural engineering: Information technology for design, collaboration, maintenance, and monitoring (Vol. 1454, pp. 30–47).

By: J. Baugh n

co-author countries: United States of America 🇺🇸
Source: NC State University Libraries
Added: August 6, 2018

1998 journal article

Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing

ENGINEERING OPTIMIZATION, 30(2), 91–123.

By: J. Baugh n, G. Kakivaya n & . Stone n

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh Jr., G. Kakivaya n & J. Stone n

author keywords: dial-a-ride problem; simulated annealing; multiobjective programming; decision-support systems
Sources: Web Of Science, ORCID
Added: August 6, 2018

1998 conference paper

Prototype decision support tool for developing tropospheric ozone control strategies

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. Reston, VA: American Society of Civil Engineers.

By: D. Loughlin, S. Ranjithan, E. Brill, J. Baugh & S. Fine

Source: NC State University Libraries
Added: August 6, 2018

1997 journal article

A mathematical programming approach for generating alternatives in discrete structural optimization

ENGINEERING OPTIMIZATION, 28(1-2), 1–31.

By: J. Baugh n, S. Caldwell n & E. Brill n

co-author countries: United States of America 🇺🇸
author keywords: multiple-objective programming; decision-support systems; mathematical modelling; design
Source: Web Of Science
Added: August 6, 2018

1997 journal article

A mathematical programming approach for generating alternatives in discrete structural optimization

Engineering Optimization, 28(1-2), 1–31. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030703305&partnerID=MN8TOARS

Contributors: J. Baugh Jr., S. Caldwell & E. Brill Jr.

Source: ORCID
Added: December 6, 2018

1997 journal article

Modeling and verifying active structural control systems

SCIENCE OF COMPUTER PROGRAMMING, 29(1-2), 99–122.

By: W. Elseaidy*, R. Cleaveland n & J. Baugh n

co-author countries: United States of America 🇺🇸
author keywords: active structural control systems; safety critical; component-wise state space reduction
Source: Web Of Science
Added: August 6, 2018

1997 journal article

Modeling and verifying active structural control systems

Science of Computer Programming, 29(1-2), 99–122. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031185496&partnerID=MN8TOARS

Contributors: W. Elseaidy, R. Cleaveland & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1997 journal article

Semantic validation of product and process models

Journal of Computing in Civil Engineering, 11(1), 26–36.

By: J. Baugh n & H. Chadha n

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh Jr. & H. Chadha n

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

1996 conference paper

A controlled comparison of traditional classroom instruction with computer based instruction in an engineering class

ASEE Annual Conference Proceedings, 31–35. http://www.scopus.com/inward/record.url?eid=2-s2.0-8744254801&partnerID=MN8TOARS

Contributors: J. Hummer, J. Baugh Jr., B. Konuru & S. Click

Source: ORCID
Added: December 6, 2018

1996 conference paper

Formal specification of concurrent finite element systems

Proceedings of the Conference on Analysis and Computation, 166–176. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029735025&partnerID=MN8TOARS

Contributors: H. Chadha & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1996 journal article

Network-distributed finite element analysis

Advances in Engineering Software, 25(2-3), 267–280. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030102588&partnerID=MN8TOARS

Contributors: H. Chadha & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1996 journal article

Verification of an active control system using temporal process Algebra

Engineering with Computers, 12(1), 46–61. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753271&partnerID=MN8TOARS

Contributors: W. Elseaidy, J. Baugh Jr. & R. Cleaveland

Source: ORCID
Added: December 6, 2018

1996 conference paper

Verifying the timing requirements of multiprocessor control systems

Proceedings of the Conference on Analysis and Computation, 278–285. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029736047&partnerID=MN8TOARS

Contributors: J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1995 conference paper

Decision support system for air quality management

Computing in Civil Engineering (New York), 2, 1367–1374. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029238746&partnerID=MN8TOARS

By: D. Loughlin, J. Neal, S. Ranjithan, E. Brill & J. Baugh

Contributors: D. Loughlin, J. Neal, S. Ranjithan, E. Brill & J. Baugh

Source: ORCID
Added: December 6, 2018

1995 conference paper

Multiobjective optimization of the dial-a-ride problem using simulated annealing

Computing in Civil Engineering (New York), 1, 278–285. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029229542&partnerID=MN8TOARS

Contributors: J. Baugh Jr., G. Kakivaya & J. Stone

Source: ORCID
Added: December 6, 2018

1995 journal article

Real-time software development with formal models

Journal of Computing in Civil Engineering, 9(1), 73–86.

By: J. Baugh n & W. Elseaidy n

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh n & W. Elseaidy n

Source: ORCID
Added: December 6, 2018

1994 journal article

Evaluation of distributed finite element algorithms on a workstation network

Engineering with Computers, 10(1), 45–62.

Contributors: J. Baugh Jr. & S. Sharma n

author keywords: CLIENT-SERVER COMPUTING; COMPUTER NETWORKS; DISTRIBUTED PROGRAMMING; EQUATION SOLVING; FINITE ELEMENT ANALYSIS
Source: ORCID
Added: December 6, 2018

1994 conference paper

Formal specification of AEC product models

Computing in Civil Engineering (New York), (1), 571–578. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028561189&partnerID=MN8TOARS

Contributors: H. Chadha, J. Baugh Jr. & J. Wing

Source: ORCID
Added: December 6, 2018

1994 conference paper

Modeling to generate alternatives in discrete structural optimization

Computing in Civil Engineering (New York), (1), 310–317. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028580898&partnerID=MN8TOARS

Contributors: J. Baugh Jr., E. Brill Jr. & S. Caldwell

Source: ORCID
Added: December 6, 2018

1994 conference paper

Timing analysis of a multiprocessor architecture for active control

Analysis and Computation, 203–212. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028324006&partnerID=MN8TOARS

Contributors: J. Baugh Jr. & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1994 conference paper

Verifying an intelligent structural control system: A case study

Proceedings - Real-Time Systems Symposium, 271–275.

Contributors: W. Elseaidy n, R. Cleaveland n & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1993 journal article

A client-server approach for distributed finite element analysis

Advances in Engineering Software, 17(2), 69–78.

Contributors: S. Sharma n, J. Baugh Jr. & H. Chadha n

author keywords: DISTRIBUTED PROGRAMMING; SOFTWARE ARCHITECTURES; COMPUTER NETWORKS; FINITE ELEMENT ANALYSIS
Source: ORCID
Added: December 6, 2018

1993 conference paper

Creating interactive animated instructional programs on a unix-based workstation

Proceedings - Frontiers in Education Conference, FIE, 70–75.

Contributors: J. Hummer n, J. Baugh Jr., M. Abraham n & B. Konuru n

Source: ORCID
Added: December 6, 2018

1993 conference paper

Optimal resource leveling using integer-linear programming

Computing in Civil and Building Engineering, 501–508. http://www.scopus.com/inward/record.url?eid=2-s2.0-0027306405&partnerID=MN8TOARS

Contributors: K. Shah, F. Farid & J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1993 conference paper

Verification of real-time software for active structural control

Computing in Civil and Building Engineering, 1672–1679. http://www.scopus.com/inward/record.url?eid=2-s2.0-0027188290&partnerID=MN8TOARS

By: J. Baugh & W. Elseaidy

Contributors: J. Baugh & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1992 journal article

Applications of coarse-grained dataflow in computational mechanics

Engineering with Computers, 8(1), 13–30.

Contributors: J. Baugh Jr. & D. Rehak*

Source: ORCID
Added: December 6, 2018

1992 journal article

Data abstraction in engineering software development

Journal of Computing in Civil Engineering, 6(3), 282–301.

By: J. Baugh n & D. Rehak*

co-author countries: United States of America 🇺🇸

Contributors: J. Baugh n & D. Rehak*

Source: ORCID
Added: December 6, 2018

1992 journal article

Using formal methods to specify the functional properties of engineering software

Computers and Structures, 45(3), 557–570.

Contributors: J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1991 conference paper

Program design with algebraic specifications

345–352. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025857871&partnerID=MN8TOARS

Contributors: J. Baugh Jr.

Source: ORCID
Added: December 6, 2018

1989 conference paper

Object-oriented design of finite element programs

91–100. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024863017&partnerID=MN8TOARS

By: J. Baugh & D. Rehak

Contributors: J. Baugh & D. Rehak

Source: ORCID
Added: December 6, 2018

1987 journal article

A STRUCTURE-BASED MODEL OF SEMANTIC INTEGRITY CONSTRAINTS FOR RELATIONAL DATABASES

ENGINEERING WITH COMPUTERS, 2(1), 31–39.

By: W. Rasdorf n, K. Ulberg n & J. Baugh*

co-author countries: United States of America 🇺🇸

Contributors: W. Rasdorf n, K. Ulberg n & J. Baugh Jr.

Sources: Web Of Science, ORCID
Added: August 6, 2018

Employment

Updated: January 1st, 2024 15:57

2001 - present

North Carolina State University Raleigh, North Carolina, US
Professor Civil, Construction, and Environmental Engineering

1994 - 2001

North Carolina State University Raleigh, North Carolina, US
Associate Professor Civil, Construction, and Environmental Engineering

1989 - 1994

North Carolina State University Raleigh, North Carolina, US
Assistant Professor Civil, Construction, and Environmental Engineering

Education

Updated: January 1st, 2024 16:00

1986 - 1989

Carnegie Mellon University Pittsburgh, Pennsylvania, US
Ph.D. Civil Engineering

1983 - 1984

Carnegie Mellon University Pittsburgh, Pennsylvania, US
M.S. Civil Engineering

Auburn University Auburn, Alabama, US
B.C.E. Civil Engineering

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.