Colin Snook

24 papers and 206 indexed citations i.

About

Colin Snook has authored 24 papers that have received a total of 206 indexed citations. This includes 20 papers in Software, 18 papers in Computational Theory and Mathematics and 16 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (18 papers), Advanced Software Engineering Methodologies (16 papers) and Model-Driven Software Engineering Techniques (15 papers). Colin Snook is often cited by papers focused on Formal Methods in Verification (18 papers), Advanced Software Engineering Methodologies (16 papers) and Model-Driven Software Engineering Techniques (15 papers) and collaborates with scholars based in United Kingdom, Austria and France. Colin Snook's co-authors include Michael Butler, Michael Poppleton, Thai Son Hoang, Nikolaos Voros and Rozilawati Razali and has published in prestigious journals such as Information and Software Technology, ACM Transactions on Software Engineering and Methodology and Science of Computer Programming

In The Last Decade

Rankless by CCL
2025