Follow
Sasha Rubin
Title
Cited by
Cited by
Year
Decidability of parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov
Morgan & Claypool Publishers, 2015
1402015
Decidability of parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov
Morgan & Claypool Publishers, 2015
1402015
Automatic structures: richness and limitations
F Stephan, S Rubin, A Nies, B Khoussainov
Logical methods in computer science 3, 2007
1322007
Automata presenting structures: A survey of the finite string case
S Rubin
Bulletin of Symbolic Logic 14 (2), 169-209, 2008
1172008
Automatic structures
S Rubin
PhD Thesis-University of Auckland, 2004
832004
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
822021
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
782005
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
Distributed Computing 31, 187-222, 2018
672018
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
Distributed Computing 31, 187-222, 2018
672018
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
632017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
532014
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
482017
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
STACS 4, 440-451, 2004
472004
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.
G De Giacomo, S Rubin
IJCAI, 4729-4735, 2018
442018
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
432003
Verifying ω-Regular Properties of Markov Chains
D Bustan, S Rubin, MY Vardi
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
422004
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
412016
Automatic structures: Overview and future directions
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003
382003
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
372015
Cardinality and counting quantifiers on omega-automatic structures
L Kaiser, S Rubin, V Bárány
arXiv preprint arXiv:0802.2866, 2008
352008
The system can't perform the operation now. Try again later.
Articles 1–20