Sasha Rubin

47 papers and 365 indexed citations i.

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