Sasha Rubin

Cited by

	All	Since 2019
Citations	2335	1312
h-index	29	20
i10-index	53	41

320

160

240

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 22 5 14 34 45 75 40 55 65 58 62 51 43 117 101 194 180 206 205 245 305 169

Public access

View all

37 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCVerified email at uestc.edu.cn
Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
Josef WidderInformal SystemsVerified email at informal.systems
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Antonio Di StasioLecturer (Assistant Professor) in Computer ScienceVerified email at city.ac.uk
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Francesco SpegniUniversita` Politecnica delle MarcheVerified email at univpm.it
Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz

Sasha Rubin

University of Sydney

Verified email at sydney.edu.au - Homepage

Computational Logic Formal Methods Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016	209	2016
Automatic structures: richness and limitations B Khoussainov, A Nies, S Rubin, F Stephan Logical methods in computer science 3, 2007	135	2007
Automata presenting structures: A survey of the finite string case S Rubin Bulletin of Symbolic Logic 14 (2), 169-209, 2008	120	2008
Strategy logic with imperfect information R Berthon, B Maubert, A Murano, S Rubin, MY Vardi ACM Transactions on Computational Logic (TOCL) 22 (1), 1-51, 2021	108	2021
Automatic structures S Rubin PhD Thesis-University of Auckland, 2004	86	2004
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	84	2018
Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005	80	2005
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. G De Giacomo, S Rubin IJCAI, 4729-4735, 2018	79	2018
Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017	69	2017
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014	62	2014
Verification of broadcasting multi-agent systems against an epistemic strategy logic. F Belardinelli, A Lomuscio, A Murano, S Rubin IJCAI 17, 91-97, 2017	55	2017
Pure-past linear temporal and dynamic logic on finite traces G De Giacomo, A Di Stasio, F Fuggitti, S Rubin IJCAI, 4959-4965, 2020	51	2020
Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi International Conference on Computer Aided Verification, 189-201, 2004	50	2004
Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan Annual Symposium on Theoretical Aspects of Computer Science, 440-451, 2004	47	2004
Planning under LTL environment specifications B Aminof, G De Giacomo, A Murano, S Rubin Proceedings of the International Conference on Automated Planning and …, 2019	43	2019
On automatic partial orders B Khoussainov, S Rubin, F Stephan 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003	43	2003
Generalized planning: Non-deterministic abstractions and trajectory constraints B Bonet, G De Giacomo, H Geffner, S Rubin arXiv preprint arXiv:1909.12135, 2019	42	2019
Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019	42	2019
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	40	2003
Sufficient reasons for classifier decisions in the presence of domain constraints N Gorji, S Rubin Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5660-5667, 2022	38	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors