Sasha Rubin

Cited by

	All	Since 2018
Citations	2133	1308
h-index	27	20
i10-index	51	43

300

150

225

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220236 21 4 14 37 45 72 36 55 57 59 67 50 42 115 105 196 179 203 212 232 285

Public access

View all

36 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoAssociate 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
Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Francesco SpegniUniversita` Politecnica delle MarcheVerified email at univpm.it
Antonio Di StasioSenior Research Associate, University of OxfordVerified email at cs.ox.ac.uk
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it

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	188	2016
Automatic structures: richness and limitations B Khoussainov, A Nies, S Rubin, F Stephan Logical methods in computer science 3, 2007	133	2007
Automata presenting structures: A survey of the finite string case S Rubin Bulletin of Symbolic Logic 14 (2), 169-209, 2008	118	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	102	2021
Automatic structures S Rubin PhD Thesis-University of Auckland, 2004	82	2004
Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005	79	2005
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	75	2018
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	75	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	67	2017
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. G De Giacomo, S Rubin IJCAI, 4729-4735, 2018	60	2018
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin Verification, Model Checking, and Abstract Interpretation: 15th …, 2014	60	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	51	2017
Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi International Conference on Computer Aided Verification, 189-201, 2004	48	2004
Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan Annual Symposium on Theoretical Aspects of Computer Science, 440-451, 2004	48	2004
On automatic partial orders B Khoussainov, S Rubin, F Stephan 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003	44	2003
Generalized planning: Non-deterministic abstractions and trajectory constraints B Bonet, G De Giacomo, H Geffner, S Rubin arXiv preprint arXiv:1909.12135, 2019	39	2019
Verification of asynchronous mobile-robots in partially-known environments B Aminof, A Murano, S Rubin, F Zuleger International Conference on Principles and Practice of Multi-Agent Systems …, 2015	39	2015
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	38	2003
Planning under LTL environment specifications B Aminof, G De Giacomo, A Murano, S Rubin Proceedings of the International Conference on Automated Planning and …, 2019	37	2019
Automata-based presentations of inﬁnite structures V BARANYI, E GRADELZ, S Rubin Finite and Algorithmic Model Theory, 1, 2011	36	2011

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