Yoad Lustig
About
Yoad Lustig has authored 7 papers that have received a total of 36 indexed citations.
This includes 6 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 2 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Advanced Software Engineering Methodologies (4 papers) and Logic, programming, and type systems (4 papers). Yoad Lustig is often cited by papers focused on Formal Methods in Verification (5 papers), Advanced Software Engineering Methodologies (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in United States and Israel. Yoad Lustig's co-authors include Orna Kupferman and Moshe Y. Vardi and has published in prestigious journals such as Lecture notes in computer science, International Journal on Software Tools for Technology Transfer and International Journal of Foundations of Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Ahmad Yousef Top authors papers by Avaré Stewart are co-authored with Top journals papers by Nishant Subramani are published in Top authors papers by F. Simeone are co-authored with Top countries impacted by papers by J. Thaler Top fields papers by Vern O. Knudsen are about Top journals papers by Rodolfo Catena are published in Top fields papers by Homero Rodríguez‐Zentner are about