Jonathan P. Bowen

166 papers and 1.7k indexed citations i.

Jonathan P. Bowen has authored 166 papers that have received a total of 1.7k indexed citations. This includes 38 papers in Software, 34 papers in Artificial Intelligence and 34 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (26 papers), Software Reliability and Analysis Research (23 papers) and Museums and Cultural Heritage (23 papers). Jonathan P. Bowen is often cited by papers focused on Formal Methods in Verification (26 papers), Software Reliability and Analysis Research (23 papers) and Museums and Cultural Heritage (23 papers) and collaborates with scholars based in United Kingdom, United States and China. Jonathan P. Bowen's co-authors include Mike Hinchey, Tula Giannini, Péter Breuer, Ann Borda and Kalpesh Kapoor and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Neuroscience and Journal of Medicinal Chemistry.