Sasha Rubin

Cited by

	All	Since 2020
Citations	2447	1246
h-index	30	20
i10-index	53	37

320

160

240

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 5 14 34 45 75 40 55 65 58 62 51 43 117 101 194 180 206 205 246 307 244 38

Public access

View all

41 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
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Josef WidderInformal SystemsVerified email at informal.systems
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
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
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
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 PerelliAssociate 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	213	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	121	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	113	2021
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	86	2018
Automatic structures S Rubin PhD Thesis-University of Auckland, 2004	86	2004
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. G De Giacomo, S Rubin IJCAI, 4729-4735, 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
Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017	74	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	64	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	56	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	55	2020
Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019	52	2019
Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi International Conference on Computer Aided Verification, 189-201, 2004	51	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	49	2019
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
Generalized planning: Non-deterministic abstractions and trajectory constraints B Bonet, G De Giacomo, H Geffner, S Rubin arXiv preprint arXiv:1909.12135, 2019	45	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
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	41	2022
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	41	2003

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