Alistair Mavin

5 papers and 32 indexed citations i.

Alistair Mavin has authored 5 papers that have received a total of 32 indexed citations. This includes 4 papers in Artificial Intelligence, 2 papers in Control and Systems Engineering and 2 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (4 papers), Formal Methods in Verification (2 papers) and Software Reliability and Analysis Research (2 papers). Alistair Mavin is often cited by papers focused on Advanced Software Engineering Methodologies (4 papers), Formal Methods in Verification (2 papers) and Software Reliability and Analysis Research (2 papers) and collaborates with scholars based in United Kingdom and Estonia. Alistair Mavin's co-authors include Alessandra Russo, Márk Novák, Neil Maiden, Neil Maiden and Philip Wilkinson and has published in prestigious journals such as Journal of Lightwave Technology and IEEE Software