Sasha Rubin
Titel
Geciteerd door
Geciteerd door
Jaar
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
1182004
Handbook of model checking
EM Clarke, TA Henzinger, H Veith, R Bloem
Springer, 2018
1172018
Automata presenting structures: A survey of the finite string case
S Rubin
Bulletin of Symbolic Logic 14 (2), 169-209, 2008
1052008
Automatic structures
S Rubin
University of Auckland, 2004
832004
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
752015
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
712005
Strategy logic with imperfect information
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
462017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
442014
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
Annual Symposium on Theoretical Aspects of Computer Science, 440-451, 2004
442004
Automatic structures: overview and future directions
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003
412003
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
International Conference on Concurrency Theory, 109-124, 2014
392014
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
392003
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
362017
Verifying ω-Regular Properties of Markov Chains
D Bustan, S Rubin, MY Vardi
International Conference on Computer Aided Verification, 189-201, 2004
362004
Cardinality and counting quantifiers on omega-automatic structures
L Kaiser, S Rubin, V Bárány
arXiv preprint arXiv:0802.2866, 2008
312008
Automata-based presentations of infinite structures
V BARANYI, E GRADELZ, S Rubin
Finite and Algorithmic Model Theory, 1, 2011
302011
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
292017
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
262016
Graphs with automatic presentations over a unary alphabet
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 6 (4), 467-480, 2001
262001
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
252015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20