Brian Ritchie

7 papers and 156 indexed citations i.

Brian Ritchie has authored 7 papers that have received a total of 156 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Software and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (2 papers), Supply Chain Resilience and Risk Management (1 paper) and Software Testing and Debugging Techniques (1 paper). Brian Ritchie is often cited by papers focused on Formal Methods in Verification (2 papers), Supply Chain Resilience and Risk Management (1 paper) and Software Testing and Debugging Techniques (1 paper) and collaborates with scholars based in United Kingdom, Norway and Italy. Brian Ritchie's co-authors include Juan Bicarregui, Kevin Lano, Theo Dimitrakos, Clare Brindley and A. Richard Newton and has published in prestigious journals such as Journal of the Operational Research Society, IEEE Transactions on Software Engineering and Formal Aspects of Computing