Brian Nielsen

66 papers and 410 indexed citations i.

About

Brian Nielsen has authored 66 papers that have received a total of 410 indexed citations. This includes 26 papers in Computational Theory and Mathematics, 22 papers in Software and 12 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (24 papers), Software Testing and Debugging Techniques (19 papers) and Software Reliability and Analysis Research (9 papers). Brian Nielsen is often cited by papers focused on Formal Methods in Verification (24 papers), Software Testing and Debugging Techniques (19 papers) and Software Reliability and Analysis Research (9 papers) and collaborates with scholars based in Denmark, United States and China. Brian Nielsen's co-authors include Kim G. Larsen, Stig Milan Thamsborg, Alexandre David, Marius Mikučionis and Nuria Canibe and has published in prestigious journals such as Journal of Animal Science, Machine Learning and Journal of Microbiological Methods.

In The Last Decade

side by side view

Countries citing papers authored by Brian Nielsen

Since Specialization
Citations
Rankless by CCL
2025