Sasha Rubin

Cited by

	All	Since 2018
Citations	1892	1076
h-index	25	18
i10-index	43	35

260

130

195

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220236 21 3 15 34 48 73 35 55 57 67 59 51 45 109 104 200 187 193 213 250 33

Public access

View all

32 articles

4 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
Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCVerified email at uestc.edu.cn
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.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
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.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
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it
Francesco SpegniUniversita` Politecnica delle MarcheVerified email at univpm.it
Bárány VinceGoogle Inc.Verified email at mimuw.edu.pl

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 of parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	145	2015
Decidability of parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	145	2015
Automatic structures: richness and limitations F Stephan, S Rubin, A Nies, B Khoussainov 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	117	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	85	2021
Automatic structures S Rubin PhD Thesis-University of Auckland, 2004	83	2004
Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005	78	2005
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	68	2018
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018	68	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	63	2017
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin Verification, Model Checking, and Abstract Interpretation: 15th …, 2014	54	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	50	2017
Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan STACS 4, 440-451, 2004	47	2004
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. G De Giacomo, S Rubin IJCAI, 4729-4735, 2018	45	2018
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	43	2016
Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	43	2004
On automatic partial orders B Khoussainov, S Rubin, F Stephan 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003	43	2003
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	38	2003
Verification of asynchronous mobile-robots in partially-known environments B Aminof, A Murano, S Rubin, F Zuleger PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th …, 2015	37	2015
Cardinality and counting quantifiers on omega-automatic structures L Kaiser, S Rubin, V Bárány arXiv preprint arXiv:0802.2866, 2008	35	2008

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