Edit Profile (opens in new tab) Khoussainov, Bakhadyr M. Co-Author Distance Author ID: khoussainov.bakhadyr-m Published as: Khoussainov, Bakhadyr; Khoussainov, B.; Khoussainov, Bakhadyr M.; Khusainov, Bakhadyr more...less External Links: MGP · Wikidata · Twitter · GND · IdRef Documents Indexed: 110 Publications since 1993, including 2 Books 3 Contributions as Editor Co-Authors: 62 Co-Authors with 97 Joint Publications 1,530 Co-Co-Authors all top 5 Co-Authors 14 single-authored 17 Stephan, Frank 15 Liu, Jiamou 11 Jain, Sanjay 9 Calude, Cristian S. 7 Nerode, Anil 7 Shore, Richard Arnold 6 Dinneen, Michael J. 6 Rubin, Sasha 5 Gavryushkin, Alexander 5 Hirschfeldt, Denis Roman 5 Minnes, Mia 4 Goncharov, Sergeĭ Savost’yanovich 4 Hertling, Peter H. 4 Ishihara, Hajime 4 Kokho, Mikhail 4 Semukhin, Pavel 3 Berdinskiĭ, Dmitriĭ Aleksandrovich 3 Csima, Barbara F. 3 Downey, Rodney Graham 3 Gandhi, Aniruddh 3 Li, Wei 3 Melnikov, Alexander G. 3 Nies, André Otfrid 3 Slinko, Arkadii M. 2 Bodlaender, Hans L. 2 Calude, Elena 2 Coles, Richard J. 2 Gavryushkin, Alex 2 Khaliq, Imran 2 Kowalski, Tomasz 2 Lempp, Steffen 2 Myasnikov, Alexei G. 2 Schlicht, Philipp 2 Slaman, Theodore A. 2 Teng, Dan 2 Wang, Yongge 2 Zou, Siyuan 1 Bridges, Douglas Suth 1 Brough, Michael 1 Cenzer, Douglas 1 Cholak, Peter A. 1 Dadajanov, R. N. 1 Day, Adam R. 1 Fellows, Michael Ralph 1 Fokina, Ekaterina B. 1 Ganardi, Moses 1 Gao, Ziyuan 1 Greenberg, Noam 1 Kalimullin, Iskander Shagitovich 1 Kharlampovich, Olga G. 1 Khoussainova, Nodira 1 Laskowski, Michael Chris 1 Miller, Joseph S. 1 Montalbán, Antonio 1 Morozov, Andreĭ Sergeevich 1 Rosamond, Frances A. 1 Seidel, Karen 1 Solomon, Reed 1 Turetsky, Daniel D. 1 Yakhnis, Alexander 1 Yakhnis, Vladimir 1 Yang, Yue 1 Yu, Liang all top 5 Serials 10 Annals of Pure and Applied Logic 7 Theoretical Computer Science 5 The Journal of Symbolic Logic 2 Algebra and Logic 2 Algebra i Logika 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 Archive for Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Automata, Languages and Combinatorics 2 Fundamenta Informaticae 2 Journal of Universal Computer Science 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 SIAM Journal on Computing 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Bulletin of the Section of Logic 1 Order 1 Algorithmica 1 Information and Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 New Zealand Journal of Mathematics 1 Doklady Mathematics 1 Theory of Computing Systems 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lobachevskii Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Progress in Computer Science and Applied Logic 1 Groups, Geometry, and Dynamics 1 Logical Methods in Computer Science 1 Algebra and Discrete Mathematics (Hackensack) 1 Computability all top 5 Fields 79 Mathematical logic and foundations (03-XX) 50 Computer science (68-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Group theory and generalizations (20-XX) 5 General algebraic systems (08-XX) 5 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Nonassociative rings and algebras (17-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 79 Publications have been cited 870 times in 532 Documents Cited by ▼ Year ▼ Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M. 94 2002 Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 Automata theory and its applications. Zbl 1083.68058 Khoussainov, Bakhadyr; Nerode, Anil 44 2001 Computable models of theories with few models. Zbl 0891.03013 Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A. 42 1997 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072 Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 33 2001 Automatic structures: richness and limitations. Zbl 1128.03028 Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank 32 2007 Three lectures on automatic structures. Zbl 1228.03017 Khoussainov, Bakhadyr; Minnes, Mia 24 2010 Open questions in the theory of automatic structures. Zbl 1169.03352 Khoussainov, Bakhadyr; Nerode, Anil 24 2008 From automatic structures to automatic groups. Zbl 1322.20025 Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei 24 2014 Definability and regularity in automatic structures. Zbl 1122.68466 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 22 2004 Limitwise monotonic sequences and degree spectra of structures. Zbl 1408.03028 Kalimullin, Iskander; Khoussainov, Bakhadyr; Melnikov, Alexander 21 2013 Linear orders realized by c.e. equivalence relations. Zbl 1371.03049 Fokina, Ekaterina; Khoussainov, Bakhadyr; Semukhin, Pavel; Turetsky, Daniel 20 2016 Computably categorical structures and expansions by constants. Zbl 0928.03040 Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A. 19 1999 Computable isomorphisms, degree spectra of relations, and Scott families. Zbl 0927.03072 Khoussainov, Bakhadyr; Shore, Richard A. 18 1998 Reducibilities among equivalence relations induced by recursively enumerable structures. Zbl 1338.03077 Gavryushkin, Alex; Khoussainov, Bakhadyr; Stephan, Frank 18 2016 Automatic linear orders and trees. Zbl 1367.03070 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 18 2005 Graphs realised by r.e. equivalence relations. Zbl 1351.03028 Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 17 2014 Complexity of categorical theories with computable models. Zbl 1097.03027 Goncharov, S. S.; Khusainov, Bakhadyr 16 2004 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 16 1998 Effective properties of finitely generated r.e. algebras. Zbl 0837.03037 Khoussainov, Bakhadyr; Nerode, Anil 15 1995 On initial segments of computable linear orders. Zbl 0915.03040 Coles, Richard J.; Downey, Rod; Khoussainov, Bakhadyr 14 1998 Automatic structures: Overview and future directions. Zbl 1058.68070 Khoussainov, Bakhadyr; Rubin, Sasha 12 2003 Effective model theory: The number of models and their complexity. Zbl 0940.03045 Khoussainov, Bakhadyr; Shore, Richard A. 11 1999 The notion of rank and games. Zbl 0946.03013 Khoussainov, Bakhadyr; Nerode, Anil 11 1994 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098 Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 10 2000 \(\Pi^0_1\)-presentations of algebras. Zbl 1099.03025 Khoussainov, Bakhadyr; Slaman, Theodore; Semukhin, Pavel 10 2006 A computably categorical structure whose expansion by a constant has infinite computable dimension. Zbl 1055.03026 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A. 10 2003 Finitely presented expansions of groups, semigroups, and algebras. Zbl 1349.03045 Khoussainov, Bakhadyr; Miasnikov, Alexei 10 2014 An uncountably categorical theory whose only computably presentable model is saturated. Zbl 1107.03032 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Semukhin, Pavel 9 2006 Uniformity in computable structure theory. Zbl 1063.03018 Downey, Rod; Hirschfeldt, Denis; Khoussainov, Bakhadyr 9 2003 Computable isomorphisms of Boolean algebras with operators. Zbl 1285.03059 Khoussainov, Bakhadyr; Kowalski, Tomasz 9 2012 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084 Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 8 1997 On automatic transitive graphs. Zbl 1344.68115 Berdinsky, Dmitry; Khoussainov, Bakhadyr 8 2014 Automatic presentations of structures. Zbl 07776729 Khoussainov, Bakhadyr; Nerode, Anil 8 1995 Model-theoretic complexity of automatic structures. Zbl 1221.03025 Khoussainov, Bakhadyr; Minnes, Mia 7 2009 A quest for algorithmically random infinite structures. Zbl 1395.03018 Khoussainov, Bakhadyr 7 2014 Finite automata over structures (extended abstract). Zbl 1354.68155 Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou 7 2012 On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016 Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed 6 2007 A computable \(\aleph_0\)-categorical structure whose theory computes true arithmetic. Zbl 1201.03020 Khoussainov, Bakhadyr; Montalbán, Antonio 6 2010 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032 Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Open problems in the theory of constructive algebraic systems. Zbl 0961.03037 Goncharov, Sergey; Khoussainov, Bakhadyr 6 2000 Computable categoricity and the Ershov hierarchy. Zbl 1165.03012 Khoussainov, Bakhadyr; Stephan, Frank; Yang, Yue 6 2008 Unary automatic graphs: An algorithmic perspective. Zbl 1163.68034 Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia 6 2009 Randnomness, computability, and algebraic specifications. Zbl 0915.03037 Khoussainov, Bakhadyr 6 1998 Decidable Kripke models of intuitionistic theories. Zbl 0924.03060 Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil 5 1998 Semiautomatic structures. Zbl 1408.03027 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan 5 2014 Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004 5 2017 Cayley automatic representations of wreath products. Zbl 1345.68197 Berdinsky, Dmitry; Khoussainov, Bakhadyr 5 2016 Finitely presented expansions of computably enumerable semigroups. Zbl 1334.03038 Hirschfeldt, D. R.; Khoussainov, B. 5 2012 Model theoretic complexity of automatic structures (extended abstract). Zbl 1140.03310 Khoussainov, Bakhadyr; Minnes, Mia 4 2008 Computable categoricity of graphs with finite components. Zbl 1142.03344 Csima, Barbara F.; Khoussainov, Bakhadyr; Liu, Jiamou 4 2008 Computably enumerable algebras, their expansions, and isomorphisms. Zbl 1096.03050 Khoussainov, Bakhadyr; Lempp, Steffen; Slaman, Theodore A. 4 2005 Graphs with automatic presentations over a unary alphabet. Zbl 0997.68074 Khoussainov, Bakhadyr; Rubin, Sasha 4 2001 Semiautomatic structures. Zbl 1420.03072 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan 4 2017 On game-theoretic models of networks. Zbl 1077.68721 Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr 3 2001 Dynamic algorithms for monotonic interval scheduling problem. Zbl 1303.68167 Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou 3 2015 Finitely generated semiautomatic groups. Zbl 1396.20031 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 3 2018 Unary automatic graphs: An algorithmic perspective. Zbl 1139.03313 Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia 2 2008 On complexity of Ehrenfeucht-Fraïssé games. Zbl 1221.03024 Khoussainov, Bakhadyr; Liu, Jiamou 2 2009 Computable Kripke models and intermediate logics. Zbl 0913.03033 Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil 2 1998 Applications of Kolmogorov complexity to computable model theory. Zbl 1127.03031 Khoussainov, Bakhadyr; Semukhin, Pavel; Stephan, Frank 2 2007 Finite state strategies in one player McNaughton games. Zbl 1038.91024 Khoussainov, Bakhadyr 2 2003 Decision problems for finite automata over infinite algebraic structures. Zbl 1475.68158 Khoussainov, Bakhadyr; Liu, Jiamou 2 2016 A quest for algorithmically random infinite structures. II. Zbl 1476.03058 Khoussainov, Bakhadyr 2 2016 Complexity of some infinite games played on finite graphs. Zbl 1022.68086 Ishihara, Hajime; Khoussainov, Bakhadyr 2 2002 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 Dynamising interval scheduling: the monotonic case. Zbl 1407.68109 Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou 2 2013 Update games and update networks. Zbl 1118.91306 Dinneen, Michael J.; Khoussainov, Bakhadyr 1 2003 Algorithmic stability of models. Zbl 0818.03017 Khoussainov, B. M.; Dadajanov, R. 1 1993 Efficient algorithms for games played on trees with back-edges. Zbl 1250.68126 Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou 1 2011 Relaxed update and partition network games. Zbl 1003.91016 Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr 1 2002 Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr 1 1997 Recursive unary algebras and trees. Zbl 0804.03031 Khoussainov, Bakhadyr 1 1994 On complexity of Ehrenfeucht-Fraïssé games. Zbl 1133.03013 Khoussainov, Bakhadyr; Liu, Jiamou 1 2007 Finitely generated semiautomatic groups. Zbl 1476.20034 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 1 2016 Tree-automatic scattered linear orders. Zbl 1339.03030 Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank 1 2016 Algorithmically random universal algebras. Zbl 1360.08004 Khoussainov, Bakhadyr 1 2017 On decidable and computable models of theories. Zbl 1433.03084 Gavruskin, Alexander; Khoussainov, Bakhadyr 1 2013 A brief excursion to parity games. Zbl 1517.68442 Khoussainov, Bakhadyr 1 2018 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 Finitely generated semiautomatic groups. Zbl 1396.20031 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 3 2018 A brief excursion to parity games. Zbl 1517.68442 Khoussainov, Bakhadyr 1 2018 Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004 5 2017 Semiautomatic structures. Zbl 1420.03072 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan 4 2017 Algorithmically random universal algebras. Zbl 1360.08004 Khoussainov, Bakhadyr 1 2017 Linear orders realized by c.e. equivalence relations. Zbl 1371.03049 Fokina, Ekaterina; Khoussainov, Bakhadyr; Semukhin, Pavel; Turetsky, Daniel 20 2016 Reducibilities among equivalence relations induced by recursively enumerable structures. Zbl 1338.03077 Gavryushkin, Alex; Khoussainov, Bakhadyr; Stephan, Frank 18 2016 Cayley automatic representations of wreath products. Zbl 1345.68197 Berdinsky, Dmitry; Khoussainov, Bakhadyr 5 2016 Decision problems for finite automata over infinite algebraic structures. Zbl 1475.68158 Khoussainov, Bakhadyr; Liu, Jiamou 2 2016 A quest for algorithmically random infinite structures. II. Zbl 1476.03058 Khoussainov, Bakhadyr 2 2016 Finitely generated semiautomatic groups. Zbl 1476.20034 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 1 2016 Tree-automatic scattered linear orders. Zbl 1339.03030 Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank 1 2016 Dynamic algorithms for monotonic interval scheduling problem. Zbl 1303.68167 Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou 3 2015 From automatic structures to automatic groups. Zbl 1322.20025 Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei 24 2014 Graphs realised by r.e. equivalence relations. Zbl 1351.03028 Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank 17 2014 Finitely presented expansions of groups, semigroups, and algebras. Zbl 1349.03045 Khoussainov, Bakhadyr; Miasnikov, Alexei 10 2014 On automatic transitive graphs. Zbl 1344.68115 Berdinsky, Dmitry; Khoussainov, Bakhadyr 8 2014 A quest for algorithmically random infinite structures. Zbl 1395.03018 Khoussainov, Bakhadyr 7 2014 Semiautomatic structures. Zbl 1408.03027 Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan 5 2014 Limitwise monotonic sequences and degree spectra of structures. Zbl 1408.03028 Kalimullin, Iskander; Khoussainov, Bakhadyr; Melnikov, Alexander 21 2013 Dynamising interval scheduling: the monotonic case. Zbl 1407.68109 Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou 2 2013 On decidable and computable models of theories. Zbl 1433.03084 Gavruskin, Alexander; Khoussainov, Bakhadyr 1 2013 Computable isomorphisms of Boolean algebras with operators. Zbl 1285.03059 Khoussainov, Bakhadyr; Kowalski, Tomasz 9 2012 Finite automata over structures (extended abstract). Zbl 1354.68155 Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou 7 2012 Finitely presented expansions of computably enumerable semigroups. Zbl 1334.03038 Hirschfeldt, D. R.; Khoussainov, B. 5 2012 Efficient algorithms for games played on trees with back-edges. Zbl 1250.68126 Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou 1 2011 Three lectures on automatic structures. Zbl 1228.03017 Khoussainov, Bakhadyr; Minnes, Mia 24 2010 A computable \(\aleph_0\)-categorical structure whose theory computes true arithmetic. Zbl 1201.03020 Khoussainov, Bakhadyr; Montalbán, Antonio 6 2010 Model-theoretic complexity of automatic structures. Zbl 1221.03025 Khoussainov, Bakhadyr; Minnes, Mia 7 2009 Unary automatic graphs: An algorithmic perspective. Zbl 1163.68034 Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia 6 2009 On complexity of Ehrenfeucht-Fraïssé games. Zbl 1221.03024 Khoussainov, Bakhadyr; Liu, Jiamou 2 2009 Open questions in the theory of automatic structures. Zbl 1169.03352 Khoussainov, Bakhadyr; Nerode, Anil 24 2008 Computable categoricity and the Ershov hierarchy. Zbl 1165.03012 Khoussainov, Bakhadyr; Stephan, Frank; Yang, Yue 6 2008 Model theoretic complexity of automatic structures (extended abstract). Zbl 1140.03310 Khoussainov, Bakhadyr; Minnes, Mia 4 2008 Computable categoricity of graphs with finite components. Zbl 1142.03344 Csima, Barbara F.; Khoussainov, Bakhadyr; Liu, Jiamou 4 2008 Unary automatic graphs: An algorithmic perspective. Zbl 1139.03313 Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia 2 2008 Automatic structures: richness and limitations. Zbl 1128.03028 Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank 32 2007 On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016 Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed 6 2007 Applications of Kolmogorov complexity to computable model theory. Zbl 1127.03031 Khoussainov, Bakhadyr; Semukhin, Pavel; Stephan, Frank 2 2007 On complexity of Ehrenfeucht-Fraïssé games. Zbl 1133.03013 Khoussainov, Bakhadyr; Liu, Jiamou 1 2007 \(\Pi^0_1\)-presentations of algebras. Zbl 1099.03025 Khoussainov, Bakhadyr; Slaman, Theodore; Semukhin, Pavel 10 2006 An uncountably categorical theory whose only computably presentable model is saturated. Zbl 1107.03032 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Semukhin, Pavel 9 2006 Automatic linear orders and trees. Zbl 1367.03070 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 18 2005 Computably enumerable algebras, their expansions, and isomorphisms. Zbl 1096.03050 Khoussainov, Bakhadyr; Lempp, Steffen; Slaman, Theodore A. 4 2005 Definability and regularity in automatic structures. Zbl 1122.68466 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 22 2004 Complexity of categorical theories with computable models. Zbl 1097.03027 Goncharov, S. S.; Khusainov, Bakhadyr 16 2004 Automatic structures: Overview and future directions. Zbl 1058.68070 Khoussainov, Bakhadyr; Rubin, Sasha 12 2003 A computably categorical structure whose expansion by a constant has infinite computable dimension. Zbl 1055.03026 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A. 10 2003 Uniformity in computable structure theory. Zbl 1063.03018 Downey, Rod; Hirschfeldt, Denis; Khoussainov, Bakhadyr 9 2003 Finite state strategies in one player McNaughton games. Zbl 1038.91024 Khoussainov, Bakhadyr 2 2003 Update games and update networks. Zbl 1118.91306 Dinneen, Michael J.; Khoussainov, Bakhadyr 1 2003 Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M. 94 2002 Complexity of some infinite games played on finite graphs. Zbl 1022.68086 Ishihara, Hajime; Khoussainov, Bakhadyr 2 2002 Relaxed update and partition network games. Zbl 1003.91016 Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr 1 2002 Automata theory and its applications. Zbl 1083.68058 Khoussainov, Bakhadyr; Nerode, Anil 44 2001 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072 Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 33 2001 Graphs with automatic presentations over a unary alphabet. Zbl 0997.68074 Khoussainov, Bakhadyr; Rubin, Sasha 4 2001 On game-theoretic models of networks. Zbl 1077.68721 Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr 3 2001 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098 Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 10 2000 Open problems in the theory of constructive algebraic systems. Zbl 0961.03037 Goncharov, Sergey; Khoussainov, Bakhadyr 6 2000 Computably categorical structures and expansions by constants. Zbl 0928.03040 Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A. 19 1999 Effective model theory: The number of models and their complexity. Zbl 0940.03045 Khoussainov, Bakhadyr; Shore, Richard A. 11 1999 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032 Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Computable isomorphisms, degree spectra of relations, and Scott families. Zbl 0927.03072 Khoussainov, Bakhadyr; Shore, Richard A. 18 1998 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 16 1998 On initial segments of computable linear orders. Zbl 0915.03040 Coles, Richard J.; Downey, Rod; Khoussainov, Bakhadyr 14 1998 Randnomness, computability, and algebraic specifications. Zbl 0915.03037 Khoussainov, Bakhadyr 6 1998 Decidable Kripke models of intuitionistic theories. Zbl 0924.03060 Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil 5 1998 Computable Kripke models and intermediate logics. Zbl 0913.03033 Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil 2 1998 Computable models of theories with few models. Zbl 0891.03013 Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A. 42 1997 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084 Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 8 1997 Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr 1 1997 Effective properties of finitely generated r.e. algebras. Zbl 0837.03037 Khoussainov, Bakhadyr; Nerode, Anil 15 1995 Automatic presentations of structures. Zbl 07776729 Khoussainov, Bakhadyr; Nerode, Anil 8 1995 The notion of rank and games. Zbl 0946.03013 Khoussainov, Bakhadyr; Nerode, Anil 11 1994 Recursive unary algebras and trees. Zbl 0804.03031 Khoussainov, Bakhadyr 1 1994 Algorithmic stability of models. Zbl 0818.03017 Khoussainov, B. M.; Dadajanov, R. 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 505 Authors 42 Khoussainov, Bakhadyr M. 40 Stephan, Frank 32 Bazhenov, Nikolaĭ Alekseevich 29 Melnikov, Alexander G. 26 Jain, Sanjay 22 Downey, Rodney Graham 19 Miller, Russell G. 17 Andrews, Uri 16 Harizanov, Valentina S. 16 Hirschfeldt, Denis Roman 16 Knight, Julia F. 15 Calude, Cristian S. 14 Kalimullin, Iskander Shagitovich 14 Ng, KengMeng 13 Harrison-Trainor, Matthew 12 Cenzer, Douglas 12 Semukhin, Pavel 11 Fokina, Ekaterina B. 11 Goncharov, Sergeĭ Savost’yanovich 10 Kuske, Dietrich 10 Liu, Jiamou 10 Montalbán, Antonio 10 Zimmermann, Martín G. 9 Barmpalias, George 9 Kasymov, Nadimulla Khabibullaevich 9 Nies, André Otfrid 9 Turetsky, Daniel D. 8 Lempp, Steffen 8 Sorbi, Andrea 7 Benerecetti, Massimo 7 Calvert, Wesley 7 Minnes, Mia 7 Mogavero, Fabio 7 Solomon, Reed 7 Zheng, Xizhong 6 Ćirić, Miroslav D. 6 Csima, Barbara F. 6 Dadazhanov, Ruzmat Normatovich 6 Droste, Manfred 6 Morozov, Andreĭ Sergeevich 6 Remmel, Jeffrey Brian 6 Selivanov, Viktor L’vovich 5 Berdinskiĭ, Dmitriĭ Aleksandrovich 5 Elder, Murray J. 5 Frolov, Andreĭ Nikolaevich 5 Gao, Ziyuan 5 Kogabaev, Nurlan Talgatovich 5 Lehtinen, Karoliina 5 Lewis-Pye, Andrew E. M. 5 Lohrey, Markus 5 Marchuk, Margaret I. 5 Miller, Joseph S. 5 Neider, Daniel 5 Shore, Richard Arnold 5 Weinert, Alexander 5 Zubkov, Maxim V. 4 Bélanger, David R. 4 Boker, Udi 4 Dell’Erba, Daniele 4 Franklin, Johanna N. Y. 4 Gavryushkin, Alexander 4 Greenberg, Noam 4 Hieronymi, Philipp 4 Ignjatović, Jelena 4 Kach, Asher M. 4 Kalmurzaev, Birzhan S. 4 Li, Wei 4 Mustafa, Manat 4 Myasnikov, Alexei G. 4 Nerode, Anil 4 Rahonis, George 4 Schlicht, Philipp 4 Stamenković, Aleksandar 4 Taback, Jennifer 4 Tadaki, Kohtaro 4 Turetsky, Dan 4 Vatev, Stefan V. 3 Badaev, Serikzhan A. 3 Bienvenu, Laurent 3 Case, John 3 Faĭzrahmanov, Marat Khaidarovich 3 Friedman, Sy-David 3 Gavryushkin, Alex 3 Hausmann, Daniel 3 Ibragimov, F. N. 3 Kihara, Takayuki 3 Laskowski, Michael Chris 3 Luo, Qinglong 3 McCoy, Charles F. D. 3 Ohlmann, Pierre 3 Sabili, Ammar Fathin 3 San Mauro, Luca 3 Shen, Alexander 3 Shin Ong, Yuh 3 Soskova, Alexandra A. 3 Wu, Guohua 3 Yamaleev, Mars Mansurovich 3 Abu Zaid, Faried 3 Zainetdinov, Damir Kh. 2 Alvir, Rachael ...and 405 more Authors all top 5 Cited in 82 Serials 45 The Journal of Symbolic Logic 36 Theoretical Computer Science 32 Annals of Pure and Applied Logic 29 Algebra and Logic 18 Information and Computation 16 Archive for Mathematical Logic 15 Siberian Mathematical Journal 14 Journal of Computer and System Sciences 13 The Bulletin of Symbolic Logic 12 Logical Methods in Computer Science 9 Proceedings of the American Mathematical Society 8 Transactions of the American Mathematical Society 7 Journal of Algebra 7 Notre Dame Journal of Formal Logic 7 Mathematical Logic Quarterly (MLQ) 7 Lobachevskii Journal of Mathematics 6 International Journal of Algebra and Computation 6 Journal of Mathematical Sciences (New York) 6 Theory of Computing Systems 5 Advances in Mathematics 5 Russian Mathematics 5 Journal of Mathematical Logic 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Acta Informatica 4 Fuzzy Sets and Systems 4 Information Sciences 4 Formal Methods in System Design 4 Computability 3 Information Processing Letters 3 Studia Logica 3 Journal of Complexity 3 RAIRO. Theoretical Informatics and Applications 2 Fundamenta Mathematicae 2 Algorithmica 2 MSCS. Mathematical Structures in Computer Science 2 International Journal of Foundations of Computer Science 2 Experimental Mathematics 2 Annals of Mathematics and Artificial Intelligence 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 2 ACM Transactions on Computational Logic 2 Journal of Logic and Analysis 2 RAIRO. Theoretical Informatics and Applications 1 Artificial Intelligence 1 Bulletin of the Australian Mathematical Society 1 Israel Journal of Mathematics 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Chaos, Solitons and Fractals 1 Algebra i Logika 1 Algebra Universalis 1 Computing 1 Mathematische Zeitschrift 1 Memoirs of the American Mathematical Society 1 Semigroup Forum 1 SIAM Journal on Computing 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Sugaku Expositions 1 Journal of Knot Theory and its Ramifications 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Logic, Language and Information 1 Filomat 1 The Electronic Journal of Combinatorics 1 Doklady Mathematics 1 Journal of Automata, Languages and Combinatorics 1 Soft Computing 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Foundations of Science 1 The Journal of Logic and Algebraic Programming 1 Central European Journal of Mathematics 1 Foundations of Physics 1 Oberwolfach Reports 1 Discrete Optimization 1 Optimization Letters 1 Groups, Geometry, and Dynamics 1 Asian-European Journal of Mathematics 1 Groups, Complexity, Cryptology 1 The Review of Symbolic Logic 1 Forum of Mathematics, Sigma all top 5 Cited in 30 Fields 366 Mathematical logic and foundations (03-XX) 229 Computer science (68-XX) 50 Group theory and generalizations (20-XX) 37 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 12 Combinatorics (05-XX) 9 General and overarching topics; collections (00-XX) 6 General algebraic systems (08-XX) 5 Field theory and polynomials (12-XX) 5 Operations research, mathematical programming (90-XX) 4 Geometry (51-XX) 4 Systems theory; control (93-XX) 3 Associative rings and algebras (16-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 Measure and integration (28-XX) 2 Functional analysis (46-XX) 2 General topology (54-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Algebraic geometry (14-XX) 1 Abstract harmonic analysis (43-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.