| 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 | 132 | 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 | 132 | 2015 |
| Automatic structures: richness and limitations F Stephan, S Rubin, A Nies, B Khoussainov Logical methods in computer science 3, 2007 | 127 | 2007 |
| Automata presenting structures: A survey of the finite string case S Rubin Bulletin of Symbolic Logic 14 (2), 169-209, 2008 | 116 | 2008 |
| Automatic structures S Rubin 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 | 75 | 2005 |
| 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 | 73 | 2021 |
| Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31 (3), 187-222, 2018 | 67 | 2018 |
| Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31 (3), 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 | 57 | 2017 |
| Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014 | 51 | 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 | 45 | 2017 |
| Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan Annual Symposium on Theoretical Aspects of Computer Science, 440-451, 2004 | 45 | 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 |
| Verifying ω-Regular Properties of Markov Chains D Bustan, S Rubin, MY Vardi International Conference on Computer Aided Verification, 189-201, 2004 | 41 | 2004 |
| Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. G De Giacomo, S Rubin IJCAI, 4729-4735, 2018 | 40 | 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 | 40 | 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 International Conference on Principles and Practice of Multi-Agent Systems …, 2015 | 35 | 2015 |
| Automata-based presentations of infinite structures V BARANYI, E GRADELZ, S Rubin Finite and Algorithmic Model Theory 379, 1, 2011 | 35 | 2011 |
Aniello MuranoAssociate Professor in Computer Science, Universitā degli Studi di Napoli Federico IIVerified email at unina.it
