John Baugh

According to our database, John Baugh authored at least 3 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2021

Industrial Symbiosis Waste Exchange Identification and Optimization.

Danielle Curri, Tarek Aziz, John Baugh, Jeremiah Johnson

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2007

Linguistic Contributions to the Advancement of Racial Justice Within and Beyond the African Diaspora.

John Baugh

Lang. Linguistics Compass, 2007