Brian Larson

11 papers and 83 indexed citations i.

About

Brian Larson has authored 11 papers that have received a total of 83 indexed citations. This includes 5 papers in Surgery, 5 papers in Computational Theory and Mathematics and 5 papers in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (5 papers), Healthcare Technology and Patient Monitoring (5 papers) and Safety Systems Engineering in Autonomy (5 papers). Brian Larson is often cited by papers focused on Formal Methods in Verification (5 papers), Healthcare Technology and Patient Monitoring (5 papers) and Safety Systems Engineering in Autonomy (5 papers) and collaborates with scholars based in United States, China and Thailand. Brian Larson's co-authors include John Hatcliff, Paul Jones, Yunwei Dong and Naijun Zhan and has published in prestigious journals such as Proceedings of the VLDB Endowment, Science China Information Sciences and IEEE Design and Test

In The Last Decade

Rankless by CCL
2025