×

Khoussainov, Bakhadyr M.

Author ID: khoussainov.bakhadyr-m Recent zbMATH articles by "Khoussainov, Bakhadyr M."
Published as: Khoussainov, Bakhadyr; Khoussainov, B.; Khoussainov, Bakhadyr M.; Khusainov, Bakhadyr
External Links: MGP · Wikidata · Twitter · GND · IdRef

Publications by Year

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 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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.