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 Sanjoy Banerjee are about Top fields papers by S Dirnhofer are about Top fields papers by Boce Zhang are about Top journals papers by Kaarin Mäkikallio are published in Top countries impacted by papers by Maya Rossin‐Slater Top fields papers by Fenglei Liu are about Top journals papers by David W. Kays are published in Top countries impacted by papers by Clive Hamilton