Sasha Rubin
About
Sasha Rubin has authored 47 papers that have received a total of 365 indexed citations.
This includes 35 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 9 papers in Software. The topics of these papers are Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (21 papers) and Logic, programming, and type systems (19 papers). Sasha Rubin is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (21 papers) and Logic, programming, and type systems (19 papers) and collaborates with scholars based in Italy, Austria and Australia. Sasha Rubin's co-authors include Aniello Murano, Benjamin Aminof, Giuseppe De Giacomo, Bastien Maubert and Bakhadyr Khoussainov and has published in prestigious journals such as Artificial Intelligence, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by A. M. Bonch-Bruevich are about Top journals papers by Daniel Ion are published in Top authors papers by Gabriele Galasso are co-authored with Top journals papers by Raymond A. Pensy are published in Top fields papers by Jihion Yu are about Top journals papers by Elizabeth Dorrance Hall are published in Top fields papers by Yuxin Wang are about Top journals papers by Teodora Donisan are published in