Farhad Mehta
About
Farhad Mehta has authored 3 papers that have received a total of 239 indexed citations.
This includes 3 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Advanced Software Engineering Methodologies (1 paper). Farhad Mehta is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Advanced Software Engineering Methodologies (1 paper) and collaborates with scholars based in Switzerland, Germany and France. Farhad Mehta's co-authors include Tobias Nipkow, Stefan Hallerstede, Laurent Voisin, Michael Butler and Thai Son Hoang and has published in prestigious journals such as Information and Computation and International Journal on Software Tools for Technology Transfer.
In The Last Decade
side by side view
Countries citing papers authored by Farhad Mehta
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by P. Nédélec Breakdown of academic impact, for papers by Anne Casson Breakdown of academic impact, for papers by Thayer Patterson Breakdown of academic impact, for papers by Christopher Lane Breakdown of academic impact, for papers by Christian Hoffmeister Breakdown of academic impact, for papers by Melanie Winter Breakdown of academic impact, for papers by Fabien Grelon Breakdown of academic impact, for papers by P B Hunt