Jim Woodcock
About
Jim Woodcock has authored 105 papers that have received a total of 1.1k indexed citations.
This includes 55 papers in Artificial Intelligence, 47 papers in Computational Theory and Mathematics and 31 papers in Software. The topics of these papers are Formal Methods in Verification (44 papers), Logic, programming, and type systems (33 papers) and Advanced Software Engineering Methodologies (19 papers). Jim Woodcock is often cited by papers focused on Formal Methods in Verification (44 papers), Logic, programming, and type systems (33 papers) and Advanced Software Engineering Methodologies (19 papers) and collaborates with scholars based in United Kingdom, Brazil and Denmark. Jim Woodcock's co-authors include Ana Cavalcanti, Peter Gorm Larsen, John Fitzgerald, Leo Freitas and Augusto Sampaio and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and British Journal of Anaesthesia
In The Last Decade
Papers by
i Specialization
i since
published in
Jim Woodcock
1k citations, 95 papers
Explore authors with similar magnitude of impact
Top fields papers by Tsuyoshi Horiguchi are about Top fields papers by Demin Li are about Top fields papers by Yongquan Zhou are about Top countries impacted by papers by Toshinori Kawanami Top fields papers by Jan Madsen are about Top countries impacted by papers by Lijun Liu Top authors papers by Shin‐ichi Yamada are co-authored with Top authors papers by Mária Mareková are co-authored with