Yaron Velner
About
Yaron Velner has authored 8 papers that have received a total of 83 indexed citations.
This includes 7 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 1 paper in Computer Vision and Pattern Recognition. The topics of these papers are Formal Methods in Verification (7 papers), Logic, programming, and type systems (6 papers) and Logic, Reasoning, and Knowledge (2 papers). Yaron Velner is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, programming, and type systems (6 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in Israel, Austria and France. Yaron Velner's co-authors include Krishnendu Chatterjee, Thomas A. Henzinger, Loi Luu, Laurent Doyen and Jean-François Raskin and has published in prestigious journals such as Journal of Computer and System Sciences, ACM SIGPLAN Notices and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Omobonike Oloruntoba are about Top countries impacted by papers by Alfredo Morbidini Top countries impacted by papers by Boris Rosenfeld Top authors papers by Raquel Rubio‐Acero are co-authored with Top fields papers by Hadas Shasha-Lavsky are about Top fields papers by Penny Dimopoulos are about Top journals papers by Erik Meijer are published in Top journals papers by Carlos O’Ryan are published in