Bakh Khoussainov

Cited by

	All	Since 2019
Citations	3586	1231
h-index	31	16
i10-index	69	30

240

120

180

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 40 13 49 31 76 81 59 62 103 99 178 133 142 131 124 131 138 122 180 164 201 212 162 178 225 214 236

Public access

View all

15 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Anil NerodeProfessor of Mathematics, Cornell UniversityVerified email at twcny.rr.com
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
Jiamou LiuThe University of AucklandVerified email at auckland.ac.nz
Cristian S. CaludeProfessor of Computer Science, The University of AucklandVerified email at cs.auckland.ac.nz
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
Sanjay JainProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
liehuang zhuBeijing Institute of TechnologyVerified email at bit.edu.cn
Zijian ZhangBeijing Institute of TechnologyVerified email at bit.edu.cn
Mingyu XiaoUniversity of Electronic Science and Technology of ChinaVerified email at uestc.edu.cn
Alex GavryushkinAssociate Professor of Biological Data Science, University of CanterburyVerified email at canterbury.ac.nz
Michael J. DinneenComputer Science, University of Auckland, New ZealandVerified email at cs.auckland.ac.nz
Pavel SemukhinLiverpool John Moores UniversityVerified email at semukhin.name
Arkadii SlinkoDepartment of Mathematics and Centre for Mathematics in Social Sciences, The University of AucklandVerified email at auckland.ac.nz
Hao YinPeking University Changsha Institute for Computing and Digital EconomyVerified email at icode.pku.edu.cn
rod downeyVictoria University, WellingtonVerified email at vuw.ac.nz
Yongge WangUNC CharlotteVerified email at uncc.edu
Alexander MelnikovAssociate Professor at Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
Meng Li (李萌)Associate Professor, Ph.D. Supervisor, Hefei University of Technology; SMIEEE; ERCIM FellowVerified email at hfut.edu.cn
Elena CaludeMassey UniversityVerified email at massey.ac.nz

Bakh Khoussainov

Professor, The Algorithms and Logic Group (ALG), UESTC

Verified email at uestc.edu.cn - Homepage

Theoretical computer science mathematical logic computability


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994	411	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	317	2017
Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012	261	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	229	2002
Automatic structures: richness and limitations B Khoussainov, A Nies, S Rubin, F Stephan Logical methods in computer science 3, 2007	135	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	114*	1997
Recursively enumerable reals and Chaitin Ω numbers CS Calude, PH Hertling, B Khoussainov, Y Wang Theoretical Computer Science 255 (1), 125-149, 2001	101	2001
Recursively enumerable reals and chaitin Ω numbers CS Calude, PH Hertling, B Khoussainov, Y Wang STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science …, 1998	94	1998
Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005	80	2005
Three lectures on automatic structures B Khoussainov, M Minnes Proceedings of Logic Colloquium 35, 132-176, 2007	70	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	57	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	57	1998
From automatic structures to automatic groups O Kharlampovich, B Khoussainov, A Myasnikov Groups, Geometry, Dynamics 8 (1), 157-198, 2014	55	2014
Open Questions in the Theory of Automatic Structures. B Khoussainov, A Nerode Bulletin of the EATCS 94, 181-204, 2008	48	2008
Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan STACS 2004, 440-451, 2004	47	2004
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	46	2016
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	46	2013
Complexity of categorical theories with computable models SS Goncharov, B Khoussainov Algebra and Logic 43, 365-373, 2004	44*	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
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	41	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors