| 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 | 140 | 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 | 140 | 2015 |
| Automatic structures: richness and limitations F Stephan, S Rubin, A Nies, B Khoussainov Logical methods in computer science 3, 2007 | 132 | 2007 |
| Automata presenting structures: A survey of the finite string case S Rubin Bulletin of Symbolic Logic 14 (2), 169-209, 2008 | 117 | 2008 |
| Automatic structures S Rubin PhD Thesis-University of Auckland, 2004 | 83 | 2004 |
| 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 | 82 | 2021 |
| 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 | 67 | 2018 |
| Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018 | 67 | 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 | 53 | 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 | 48 | 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 | 44 | 2018 |
| On automatic partial orders B Khoussainov, S Rubin, F Stephan 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 43 | 2003 |
| Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 42 | 2004 |
| 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 | 41 | 2016 |
| 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 |
Aniello MuranoAssociate Professor in Computer Science, Universitŕ degli Studi di Napoli Federico IIVerified email at unina.it
