Farhad Arbab
About
Farhad Arbab has authored 114 papers that have received a total of 1.4k indexed citations.
This includes 73 papers in Artificial Intelligence, 46 papers in Computer Networks and Communications and 40 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (43 papers), Logic, programming, and type systems (40 papers) and Formal Methods in Verification (32 papers). Farhad Arbab is often cited by papers focused on Advanced Software Engineering Methodologies (43 papers), Logic, programming, and type systems (40 papers) and Formal Methods in Verification (32 papers) and collaborates with scholars based in The Netherlands, United States and Germany. Farhad Arbab's co-authors include Marcello Bonsangue, Marjan Sirjani, Dave Clarke, Jan Rutten and Frank de Boer and has published in prestigious journals such as ACM Transactions on Graphics, Information Sciences and Future Generation Computer Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Kai Wu are co-authored with Top journals papers by Nan Li are published in Top authors papers by Rod Tyers are co-authored with Top journals papers by Shan Gao are published in Top fields papers by Hisham F. Bahmad are about Top journals papers by Man‐Kay Law are published in Top fields papers by Roland R. Melzer are about Top journals papers by Masaki Hashimoto are published in