Bakh Khoussainov

引用次数

	总计	2019 年至今
引用	3551	1197
h 指数	31	16
i10 指数	67	28

240

120

180

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 40 13 49 31 76 81 59 62 103 99 178 133 142 131 124 131 138 122 179 164 201 212 162 178 225 215 204

开放获取的出版物数量

查看全部

15 篇文章

5 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Anil NerodeProfessor of Mathematics, Cornell University在 twcny.rr.com 的电子邮件经过验证
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer Science在 comp.nus.edu.sg 的电子邮件经过验证
Jiamou LiuThe University of Auckland在 auckland.ac.nz 的电子邮件经过验证
Cristian S. CaludeProfessor of Computer Science, The University of Auckland在 cs.auckland.ac.nz 的电子邮件经过验证
Sasha RubinUniversity of Sydney在 sydney.edu.au 的电子邮件经过验证
Andre NiesUniversity of Auckland在 cs.auckland.ac.nz 的电子邮件经过验证
Sanjay JainProfessor of Computer Science, National University of Singapore在 comp.nus.edu.sg 的电子邮件经过验证
liehuang zhuBeijing Institute of Technology在 bit.edu.cn 的电子邮件经过验证
Zijian ZhangBeijing Institute of Technology在 bit.edu.cn 的电子邮件经过验证
Mingyu XiaoUniversity of Electronic Science and Technology of China在 uestc.edu.cn 的电子邮件经过验证
Alex GavryushkinAssociate Professor of Biological Data Science, University of Canterbury在 canterbury.ac.nz 的电子邮件经过验证
Michael J. DinneenComputer Science, University of Auckland, New Zealand在 cs.auckland.ac.nz 的电子邮件经过验证
Pavel SemukhinLiverpool John Moores University在 semukhin.name 的电子邮件经过验证
Arkadii SlinkoDepartment of Mathematics and Centre for Mathematics in Social Sciences, The University of Auckland在 auckland.ac.nz 的电子邮件经过验证
rod downeyVictoria University, Wellington在 vuw.ac.nz 的电子邮件经过验证
Hao YinPeking University Changsha Institute for Computing and Digital Economy在 icode.pku.edu.cn 的电子邮件经过验证
Yongge WangUNC Charlotte在 uncc.edu 的电子邮件经过验证
Alexander MelnikovAssociate Professor at Victoria University of Wellington, New Zealand在 vuw.ac.nz 的电子邮件经过验证
Meng Li (李萌)Associate Professor, Ph.D. Supervisor, Hefei University of Technology; SMIEEE; ERCIM Fellow在 hfut.edu.cn 的电子邮件经过验证
Elena CaludeMassey University在 massey.ac.nz 的电子邮件经过验证

关注

Bakh Khoussainov

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

在 uestc.edu.cn 的电子邮件经过验证 - 首页

Theoretical computer science mathematical logic computability


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994	410	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	310	2017
Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012	258	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	228	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	93	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
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	40	2008

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者