Brian Larson

11 papers and 86 indexed citations i.

About

Brian Larson has authored 11 papers that have received a total of 86 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 Canada. Brian Larson's co-authors include John Hatcliff, Naijun Zhan, Paul Jones and Yunwei Dong 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

Fields of papers published by Brian Larson

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

Countries citing papers authored by Brian Larson

Since Specialization
Citations
Rankless by CCL
2025