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 authors papers by Shiu‐Sheng Chen are co-authored with Top journals papers by Jaak Jaagus are published in Top fields papers by John Dean are about Top journals papers by Joann Schulte are published in Top authors papers by David Pamies are co-authored with Top journals papers by Guillermo Martínez de Tejada are published in Top countries impacted by papers by Julien Penders Top authors papers by Jon Loman are co-authored with