Gethin Norman
About
Gethin Norman has authored 52 papers that have received a total of 1.3k indexed citations.
This includes 44 papers in Computational Theory and Mathematics, 22 papers in Software and 21 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (44 papers), Software Reliability and Analysis Research (15 papers) and Petri Nets in System Modeling (12 papers). Gethin Norman is often cited by papers focused on Formal Methods in Verification (44 papers), Software Reliability and Analysis Research (15 papers) and Petri Nets in System Modeling (12 papers) and collaborates with scholars based in United Kingdom, Italy and United States. Gethin Norman's co-authors include Marta Kwiatkowska, David Parker, Jeremy Sproston, John K. Heath and Sandeep K. Shukla and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computers & Mathematics with Applications and Control Engineering Practice
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Diana M. Papoulias are co-authored with Top countries impacted by papers by Richard G. Bribiescas Top journals papers by Fks Leung are published in Top journals papers by B. E. Stern are published in Top authors papers by Anastasios D. Tsaousis are co-authored with Top authors papers by Ewald Daltrozzo are co-authored with Top fields papers by G. Chimonas are about Top authors papers by Toshiaki Fukushima are co-authored with