B. Khoussainov
发表
B. Khoussainov,
Mia Minnes,
2008,
0809.3430.
Cristian S. Calude,
B. Khoussainov,
Yongge Wang,
1997
.
B. Khoussainov,
1996
.
B. Khoussainov,
2014
.
Anil Nerode,
Bakhadyr Khoussainov,
A. Nerode,
2008,
Bull. EATCS.
B. Khoussainov,
Yongge Wang,
Peter Hertling,
2005
.
B. Khoussainov,
Mingyu Xiao,
Mengfan Ma,
2022,
ArXiv.
B. Khoussainov,
Matthias Aschenbrenner,
V. Becher,
2020,
The Journal of Symbolic Logic.
B Khoussainov,
S. S Goncharov,
B. Khoussainov,
2000
.
B. Khoussainov,
A. Yakhnis,
V. Yakhnis,
1997
.
B. Khoussainov,
Yongge Wang,
Peter Hertling,
2001
.
B. Khoussainov,
Mingyu Xiao,
Binglin Tao,
2022,
IEEE INFOCOM 2022 - IEEE Conference on Computer Communications.
Anil Nerode,
Bakhadyr Khoussainov,
A. Nerode,
1994,
LCC.
B. Khoussainov,
S. Rubin,
2000
.
B. Khoussainov,
Mingyu Xiao,
Yu-chao Song,
2022,
AAAI.
B. Khoussainov,
M. Dinneen,
1999
.
B. Khoussainov,
S. Linz,
Khí-Uí Soo,
2021,
2111.13238.
Denis R. Hirschfeldt,
B. Khoussainov,
D. Hirschfeldt,
2012
.
B. Khoussainov,
S. Goncharov,
2002
.
Cristian S. Calude,
B. Khoussainov,
Peter Hertling,
1998
.
A. Nies,
B. Khoussainov,
M. Dinneen,
2012
.
Anil Nerode,
Bakhadyr Khoussainov,
A. Nerode,
1994,
LFCS.
Cristian S. Calude,
B. Khoussainov,
Yongge Wang,
2001
.
Sanjay Jain,
Frank Stephan,
Bakhadyr Khoussainov,
2017,
Theory of Computing Systems.
B. Khoussainov,
Bo Yan,
Jiamou Liu,
2022,
ArXiv.
B. Khoussainov,
A. Yakhnis,
Yakhnis,
1997
.
Sanjay Jain,
F. Stephan,
B. Khoussainov,
2017,
Theory of Computing Systems.
B. Khoussainov,
A. Melnikov,
2022,
Algebra and Logic.
B. Khoussainov,
D. Hirschfeldt,
2012,
Algebra and Logic.
B. Khoussainov,
A. Slinko,
1997
.
Liehuang Zhu,
Bakhadyr Khoussainov,
Zijian Zhang,
2021,
ICML.
Bakhadyr Khoussainov,
B. Khoussainov,
2014,
CSL-LICS.
Bakhadyr Khoussainov,
B. Khoussainov,
2003,
CSL.
Bakhadyr Khoussainov,
B. Khoussainov,
1998,
Ann. Pure Appl. Log..
Alexei G. Myasnikov,
Olga Kharlampovich,
Bakhadyr Khoussainov,
2011,
ArXiv.
Bakhadyr Khoussainov,
B. Khoussainov,
2011,
LATA.
B. Khoussainov,
Yang Chen,
Jialing He,
2023,
ArXiv.
B. Khoussainov,
Mengxiao Zhang,
Mingyu Xiao,
2023,
arXiv.org.
Arno Pauly,
Bakh Khoussainov,
Gafurjan I. Ibragimov,
2019,
ArXiv.
B. Khoussainov,
Mingyu Xiao,
Yuchao Song,
2023,
arXiv.org.
André Nies,
Frank Stephan,
Sasha Rubin,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
B. Khoussainov,
Yi Zhou,
Mingyu Xiao,
2022,
WWW.
Cristian S. Calude,
Elena Calude,
Bakhadyr Khoussainov,
2000,
Theor. Comput. Sci..
Cristian S. Calude,
Elena Calude,
Bakhadyr Khoussainov,
1997,
Ann. Pure Appl. Log..
Bakh Khoussainov,
B. Khoussainov,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bakhadyr Khoussainov,
Alexei Miasnikov,
B. Khoussainov,
2013
.
Mohsen Guizani,
Xiaojiang Du,
Liehuang Zhu,
2021,
IEEE Transactions on Network Science and Engineering.
Jiamou Liu,
Bakhadyr Khoussainov,
Alex Gavryushkin,
2016,
Algorithmica.
Jiamou Liu,
Bakhadyr Khoussainov,
Alex Gavryushkin,
2014,
Theor. Comput. Sci..
Bakhadyr Khoussainov,
Jiamou Liu,
Nurilla Avazov,
2019,
2019 International Joint Conference on Neural Networks (IJCNN).
B. Khoussainov,
Zihui Liang,
Mingyu Xiao,
2023,
ArXiv.
Jiamou Liu,
Bakhadyr Khoussainov,
Imran Khaliq,
2011,
CiE.
Jiamou Liu,
Bakhadyr Khoussainov,
Imran Khaliq,
2009,
MFCS.
Cristian S. Calude,
Sanjay Jain,
Frank Stephan,
2017,
STOC.
Shubin Xu,
Haotian Cao,
Feng Gao,
2022,
IEEE Internet of Things Journal.
Roopak Sinha,
Partha S. Roop,
Bakhadyr Khoussainov,
2005,
FESCA@ETAPS.
B. Khoussainov,
J. Liu,
A. Gavryushkin,
2015,
Theoretical Computer Science.
Jiamou Liu,
Bakhadyr Khoussainov,
Alex Gavryushkin,
2013,
IWOCA.
Joseph S. Miller,
B. Khoussainov,
Yuh-jeng Liang,
2008
.
Michael J. Dinneen,
Bakhadyr Khoussainov,
B. Khoussainov,
2003,
J. Discrete Algorithms.
Michael J. Dinneen,
Bakhadyr Khoussainov,
B. Khoussainov,
2000,
WG.
Bakhadyr Khoussainov,
B. Khoussainov,
2022
.
B. Khoussainov,
Mingyu Xiao,
Yuchao Song,
2023,
ECAI.
Bakhadyr Khoussainov,
B. Khoussainov,
2003,
Theor. Comput. Sci..
Jiamou Liu,
Bakhadyr Khoussainov,
Alex Gavryushkin,
2014,
ISAAC.
Arkadii M. Slinko,
Denis R. Hirschfeldt,
Richard A. Shore,
2002,
Ann. Pure Appl. Log..
Frank Stephan,
Sasha Rubin,
Bakhadyr Khoussainov,
2005,
TOCL.
Bakhadyr Khoussainov,
Jiamou Liu,
Yang Chen,
2021
.
Cristian S. Calude,
Yongge Wang,
Bakhadyr Khoussainov,
2001,
Theoretical Computer Science.
Cristian S. Calude,
B. Khoussainov,
M. Dinneen,
2000
.
Vladimir Yakhnis,
Bakhadyr Khoussainov,
Alexander Yakhnis,
1998,
Math. Log. Q..
Philipp Schlicht,
Sanjay Jain,
Frank Stephan,
2018,
Inf. Process. Lett..
Greg Hjorth,
André Nies,
Antonio Montalbán,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Bakhadyr Khoussainov,
Nan Rosemary Ke,
Aniruddh Gandhi,
2011,
CATS.
Antonio Montalbán,
Bakhadyr Khoussainov,
B. Khoussainov,
2010,
The Journal of Symbolic Logic.
Richard A. Shore,
Bakhadyr Khoussainov,
Peter Cholak,
1999,
Journal of Symbolic Logic.
Sasha Rubin,
Bakhadyr Khoussainov,
B. Khoussainov,
2003,
J. Autom. Lang. Comb..
Sasha Rubin,
Hajime Ishihara,
Bakhadyr Khoussainov,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
B Khoussainov,
B. Khoussainov,
S. Rubin,
2002
.
Sasha Rubin,
Bakhadyr Khoussainov,
Hajime Ishihara,
2002
.
Bakh Khoussainov,
B. Khoussainov,
2018,
CiE.
Dmitry Berdinsky,
Bakhadyr Khoussainov,
B. Khoussainov,
2015,
Int. J. Found. Comput. Sci..
A. Nerode,
B. Khoussainov,
H. Ishihara,
1998,
Inf. Comput..
B. Khoussainov,
1998
.
Bakhadyr Khoussainov,
Jiamou Liu,
Yang Chen,
2021,
ArXiv.
B. Khoussainov,
Yang Chen,
Jiamou Liu,
2021
.
B. Khoussainov,
F. Stephan,
D. Berdinsky,
2023,
Theor. Comput. Sci..
Chang Xu,
Hao Yin,
Zijian Zhang,
2021,
Computer Communications.