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
side by side view
Countries citing papers authored by Jeff Magee
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Zhiyong Cui Breakdown of academic impact, for papers by Einar Hallberg Breakdown of academic impact, for papers by Richard M. Turner Breakdown of academic impact, for papers by Margaret W. Gitau Breakdown of academic impact, for papers by Michael J. Wilson Breakdown of academic impact, for papers by Mario Keller Breakdown of academic impact, for papers by Luca Pappalardo Breakdown of academic impact, for papers by Salvatore Tripodi