| Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994 | 427 | 1994 |
| Deciding Parity Games in Quasi-Polynomial Time CS Calude, S Jain, B Khoussainov, W Li, F Stephan Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017 | 343 | 2017 |
| Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012 | 273 | 2012 |
| Degree spectra and computable dimensions in algebraic structures DR Hirschfeldt, B Khoussainov, RA Shore, AM Slinko Annals of Pure and Applied Logic 115 (1-3), 71-113, 2002 | 244 | 2002 |
| Automatic structures: richness and limitations B Khoussainov, A Nies, S Rubin, F Stephan Logical methods in computer science 3, 2007 | 140 | 2007 |
| Computable models of theories with few models B Khoussainov, A Nies, RA Shore Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997 | 120* | 1997 |
| Recursively enumerable reals and Chaitin Ω numbers CS Calude, PH Hertling, B Khoussainov, Y Wang Theoretical Computer Science 255 (1), 125-149, 2001 | 103 | 2001 |
| Recursively enumerable reals and chaitin Ω numbers CS Calude, PH Hertling, B Khoussainov, Y Wang Annual Symposium on Theoretical Aspects of Computer Science, 596-606, 1998 | 95 | 1998 |
| Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005 | 86 | 2005 |
| Three lectures on automatic structures B Khoussainov, M Minnes Proceedings of Logic Colloquium 35, 132-176, 2007 | 74 | 2007 |
| Computably categorical structures and expansions by constants P Cholak, S Goncharov, B Khoussainov, RA Shore The Journal of Symbolic Logic 64 (1), 13-37, 1999 | 63 | 1999 |
| Computable isomorphisms, degree spectra of relations, and Scott families B Khoussainov, RA Shore Annals of Pure and Applied Logic 93 (1-3), 153-193, 1998 | 59 | 1998 |
| From automatic structures to automatic groups O Kharlampovich, B Khoussainov, A Myasnikov Groups, Geometry, Dynamics 8 (1), 157-198, 2014 | 58 | 2014 |
| Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan STACS 2004, 440-451, 2004 | 53 | 2004 |
| Limitwise monotonic sequences and degree spectra of structures I Kalimullin, B Khoussainov, A Melnikov Proceedings of the American Mathematical Society 141 (9), 3275-3289, 2013 | 51 | 2013 |
| Open Questions in the Theory of Automatic Structures. B Khoussainov, A Nerode Bulletin of the EATCS 94, 181-204, 2008 | 49 | 2008 |
| Chain-based covert data embedding schemes in blockchain H Cao, H Yin, F Gao, Z Zhang, B Khoussainov, S Xu, L Zhu IEEE Internet of Things Journal 9 (16), 14699-14707, 2020 | 47 | 2020 |
| Linear orders realized by ce equivalence relations E Fokina, B Khoussainov, P Semukhin, D Turetsky The Journal of Symbolic Logic 81 (2), 463-482, 2016 | 47 | 2016 |
| On automatic partial orders B Khoussainov, S Rubin, F Stephan 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 46 | 2003 |
| From automatic structures to Borel structures G Hjorth, B Khoussainov, A Montalbán, A Nies 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 431-441, 2008 | 45 | 2008 |
Anil NerodeProfessor of Mathematics, Cornell UniversityVerified email at twcny.rr.com
