Jeff Magee
About
Jeff Magee has authored 56 papers that have received a total of 1.8k indexed citations.
This includes 39 papers in Artificial Intelligence, 28 papers in Computer Networks and Communications and 21 papers in Information Systems. The topics of these papers are Advanced Software Engineering Methodologies (36 papers), Formal Methods in Verification (14 papers) and Model-Driven Software Engineering Techniques (14 papers). Jeff Magee is often cited by papers focused on Advanced Software Engineering Methodologies (36 papers), Formal Methods in Verification (14 papers) and Model-Driven Software Engineering Techniques (14 papers) and collaborates with scholars based in United Kingdom, United States and Belgium. Jeff Magee's co-authors include Jeff Kramer, Sebastián Uchitel, Morris Sloman, Emmanuel Letier and Betty H. C. Cheng and has published in prestigious journals such as Automatica, IEEE Transactions on Software Engineering and Computer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Louis Coupal are about Top countries impacted by papers by J. N. Kaplanis Top fields papers by Joan Romanyà are about Top journals papers by John Dean are published in Top journals papers by Peiyong Duan are published in Top fields papers by Weiwei Cui are about Top journals papers by C. Alexandre are published in Top countries impacted by papers by Chi‐Ming Wong