John W. Baugh

34 papers and 311 indexed citations i.

About

John W. Baugh has authored 34 papers that have received a total of 311 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 6 papers in Civil and Structural Engineering and 6 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Transportation Planning and Optimization (4 papers) and Model-Driven Software Engineering Techniques (4 papers). John W. Baugh is often cited by papers focused on Formal Methods in Verification (6 papers), Transportation Planning and Optimization (4 papers) and Model-Driven Software Engineering Techniques (4 papers) and collaborates with scholars based in United States, China and Switzerland. John W. Baugh's co-authors include S. Ranji Ranjithan, E. Downey Brill, Abhinav Gupta, Daniel H. Loughlin and John Stone and has published in prestigious journals such as Journal of Structural Engineering, Engineering Structures and Estuarine Coastal and Shelf Science

In The Last Decade

Rankless by CCL
2025