Bakh Khoussainov

Cytowane przez

	Wszystkie	Od 2020
Cytowania	3688	1106
h-indeks	31	16
i10-indeks	71	27

280

140

210

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 40 12 52 32 77 86 66 62 104 97 176 126 146 123 131 129 137 126 180 161 200 211 160 187 225 217 275 42

Dostęp publiczny

Wyświetl wszystko

15 artykułów

8 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Anil NerodeProfessor of Mathematics, Cornell UniversityZweryfikowany adres z twcny.rr.com
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceZweryfikowany adres z comp.nus.edu.sg
Jiamou LiuThe University of AucklandZweryfikowany adres z auckland.ac.nz
Cristian S. CaludeProfessor of Computer Science, The University of AucklandZweryfikowany adres z cs.auckland.ac.nz
Sasha RubinUniversity of SydneyZweryfikowany adres z sydney.edu.au
Andre NiesUniversity of AucklandZweryfikowany adres z cs.auckland.ac.nz
Sanjay JainProfessor of Computer Science, National University of SingaporeZweryfikowany adres z comp.nus.edu.sg
Zijian ZhangBeijing Institute of TechnologyZweryfikowany adres z bit.edu.cn
liehuang zhuBeijing Institute of TechnologyZweryfikowany adres z bit.edu.cn
Mingyu XiaoUniversity of Electronic Science and Technology of ChinaZweryfikowany adres z uestc.edu.cn
Alex GavryushkinAssociate Professor of Biological Data Science, University of CanterburyZweryfikowany adres z canterbury.ac.nz
Michael J. DinneenComputer Science, University of Auckland, New ZealandZweryfikowany adres z cs.auckland.ac.nz
Pavel SemukhinLiverpool John Moores UniversityZweryfikowany adres z semukhin.name
Hao YinPeking University Changsha Institute for Computing and Digital EconomyZweryfikowany adres z icode.pku.edu.cn
Arkadii SlinkoDepartment of Mathematics and Centre for Mathematics in Social Sciences, The University of AucklandZweryfikowany adres z auckland.ac.nz
rod downeyVictoria University, WellingtonZweryfikowany adres z vuw.ac.nz
Yongge WangUNC CharlotteZweryfikowany adres z uncc.edu
Meng Li (李萌)Associate Professor, Ph.D. Supervisor, Hefei University of Technology; SMIEEE; ERCIM FellowZweryfikowany adres z hfut.edu.cn
Alexander MelnikovAssociate Professor at Victoria University of Wellington, New ZealandZweryfikowany adres z vuw.ac.nz
Elena CaludeMassey UniversityZweryfikowany adres z massey.ac.nz

Obserwuj

Bakh Khoussainov

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

Zweryfikowany adres z uestc.edu.cn - Strona główna

Theoretical computer science mathematical logic computability


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994	414	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	328	2017
Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012	263	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	231	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	120*	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	96	1998
Automatic linear orders and trees B Khoussainov, S Rubin, F Stephan ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005	81	2005
Three lectures on automatic structures B Khoussainov, M Minnes Proceedings of Logic Colloquium 35, 132-176, 2007	71	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	61	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	56	2014
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	49	2013
Definability and regularity in automatic structures B Khoussainov, S Rubin, F Stephan STACS 2004, 440-451, 2004	49	2004
Open Questions in the Theory of Automatic Structures. B Khoussainov, A Nerode Bulletin of the EATCS 94, 181-204, 2008	48	2008
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
Automatic structures: Overview and future directions B Khoussainov, S Rubin Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003	45	2003
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy