Bakhadyr Khoussainov

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 33

Top Venues

CoRR

Theor. Comput. Sci.

MobiCASE

CiE

Publications

Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String Compression in FA-Presentable Structures. CoRR (2023)
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String compression in FA-presentable structures. Theor. Comput. Sci. 947 (2023)
Yiping Liu, Jiamou Liu, Bakhadyr Khoussainov, Miao Qiao, Bo Yan
Centralization Problem for Opinion Convergence in Decentralized Networks. CoRR (2022)
Zhengren Wang, Yi Zhou, Mingyn Xiao, Bakhadyr Khoussainov
Listing Maximal k-Plexes in Large Real-World Graphs. CoRR (2022)
Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng
Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures. INFOCOM (2022)
Zhengren Wang, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov
Listing Maximal k-Plexes in Large Real-World Graphs. WWW (2022)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. 51 (2) (2022)
Kaibin Wan, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov
Attacking Community Detectors: Mislead Detectors via Manipulating the Graph Structure. MobiCASE (2021)
Bakhadyr Khoussainov, Khí-Uí Soo
Quasi-Isometric Graph-Simplifications. CoRR (2021)
Yang Chen, Jiamou Liu, Bakhadyr Khoussainov
Maximum Entropy Inverse Reinforcement Learning for Mean Field Games. CoRR (2021)
Yiwei Liu, Jiamou Liu, Kaibin Wan, Zhan Qin, Zijian Zhang, Bakhadyr Khoussainov, Liehuang Zhu
From Local to Global Norm Emergence: Dissolving Self-reinforcing Substructures with Incremental Social Instruments. ICML (2021)
Siyu Zhang, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov
Improving Togetherness Using Structural Entropy. MobiCASE (2021)
Moses Ganardi, Bakhadyr Khoussainov
Automatic Equivalence Structures of Polynomial Growth. CSL (2020)
Bakhadyr Khoussainov, Toru Takisaka
Large Scale Geometries of Infinite Strings. CoRR (2019)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett. 149 (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. MFCS (2019)
Nurilla Avazov, Jiamou Liu, Bakhadyr Khoussainov
Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting. IJCNN (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. CoRR (2019)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. CoRR (2018)
Bakhadyr Khoussainov
A Brief Excursion to Parity Games. DLT (2018)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely generated semiautomatic groups. Comput. 7 (2-3) (2018)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. Theory Comput. Syst. 61 (4) (2017)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding parity games in quasipolynomial time. STOC (2017)
Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan
Reducibilities among equivalence relations induced by recursively enumerable structures. Theor. Comput. Sci. 612 (2016)
Ekaterina B. Fokina, Bakhadyr Khoussainov, Pavel Semukhin, Daniel Turetsky
Linear Orders Realized by C.E. Equivalence Relations. J. Symb. Log. 81 (2) (2016)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely Generated Semiautomatic Groups. CiE (2016)
Bakhadyr Khoussainov, Jiamou Liu
Decision Problems for Finite Automata over Infinite Algebraic Structures. CIAA (2016)
Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
Dynamic Algorithms for Multimachine Interval Scheduling Through Analysis of Idle Intervals. Algorithmica 76 (4) (2016)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Tree-automatic scattered linear orders. Theor. Comput. Sci. 626 (2016)
Dmitry Berdinsky, Bakhadyr Khoussainov
Cayley Automatic Representations of Wreath Products. Int. J. Found. Comput. Sci. 27 (2) (2016)
Bakhadyr Khoussainov
A Quest for Algorithmically Random Infinite Structures, II. LFCS (2016)
Dmitry Berdinsky, Bakhadyr Khoussainov
Cayley automatic representations of wreath products. CoRR (2015)
Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
Dynamic algorithms for monotonic interval scheduling problem. Theor. Comput. Sci. 562 (2015)
Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Graphs realised by r.e. equivalence relations. Ann. Pure Appl. Log. 165 (7-8) (2014)
Bakhadyr Khoussainov
A quest for algorithmically random infinite structures. CSL-LICS (2014)
Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
Dynamic Interval Scheduling for Multiple Machines. ISAAC (2014)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. CSR (2014)
Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
Dynamic Algorithms for Interval Scheduling on a Single Machine. CoRR (2014)
Dmitry Berdinsky, Bakhadyr Khoussainov
On Automatic Transitive Graphs. Developments in Language Theory (2014)
Alexander Gavruskin, Bakhadyr Khoussainov
On Decidable and Computable Models of Theories. CiE (2013)
Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
Dynamising Interval Scheduling: The Monotonic Case. IWOCA (2013)
Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
Solving infinite games on trees with back-edges. CATS (2012)
Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
On State Complexity of Finite Word and Tree Languages. Developments in Language Theory (2012)
Bakhadyr Khoussainov, Tomasz Kowalski
Computable Isomorphisms of Boolean Algebras with Operators. Stud Logica 100 (3) (2012)
Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
Finite Automata over Structures - (Extended Abstract). TAMC (2012)
Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov
From automatic structures to automatic groups CoRR (2011)
Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
Efficient Algorithms for Games Played on Trees with Back-edges. Fundam. Informaticae 111 (4) (2011)
Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu
Extracting Winning Strategies in Update Games. CiE (2011)
Aniruddh Gandhi, Nan Rosemary Ke, Bakhadyr Khoussainov
Descriptional Complexity of Determinization and Complementation for Finite Automata. CATS (2011)
Bakhadyr Khoussainov
Automatic Structures and Groups. LATA (2011)
Bakhadyr Khoussainov, Andrei S. Morozov
On Index Sets of Some Properties of Computable Algebras. CiE (2010)
Bakhadyr Khoussainov, Antonio Montalbán
-categorical structure whose theory computes true arithmetic. J. Symb. Log. 75 (2) (2010)
Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq
A Dynamic Algorithm for Reachability Games Played on Trees. MFCS (2009)
Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov
Linear orders with distinguished function symbol. Arch. Math. Log. 48 (1) (2009)
Bakhadyr Khoussainov, Mia Minnes
Model-theoretic complexity of automatic structures. Ann. Pure Appl. Log. 161 (3) (2009)
Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
Unary automatic graphs: an algorithmic perspective. Math. Struct. Comput. Sci. 19 (1) (2009)
Bakhadyr Khoussainov, Jiamou Liu
On complexity of Ehrenfeucht-Fraïssé games. Ann. Pure Appl. Log. 161 (3) (2009)
Bakhadyr Khoussainov, Anil Nerode
Open Questions in the Theory of Automatic Structures. Bull. EATCS 94 (2008)
Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu
Computable Categoricity of Graphs with Finite Components. CiE (2008)
Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
Unary Automatic Graphs: An Algorithmic Perspective. TAMC (2008)
Bakhadyr Khoussainov, Frank Stephan, Yue Yang
Computable categoricity and the Ershov hierarchy. Ann. Pure Appl. Log. 156 (1) (2008)
Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies
From Automatic Structures to Borel Structures. LICS (2008)
Barbara F. Csima, Bakhadyr Khoussainov
When Is Reachability Intrinsically Decidable?. Developments in Language Theory (2008)
Michael Brough, Bakhadyr Khoussainov, Peter Nelson
Sequential Automatic Algebras. CiE (2008)
Bakhadyr Khoussainov, Mia Minnes
Model Theoretic Complexity of Automatic Structures (Extended Abstract). TAMC (2008)
Bakhadyr Khoussainov, Pavel Semukhin, Frank Stephan
Applications of Kolmogorov complexity to computable model theory. J. Symb. Log. 72 (3) (2007)
Bakhadyr Khoussainov, Jiamou Liu
On Complexity of Ehrenfeucht-Fraïssé Games. LFCS (2007)
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures (2007)
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures (2007)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations. Log. Methods Comput. Sci. 3 (2) (2007)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations CoRR (2007)
Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
-Presentations of Algebras. Arch. Math. Log. 45 (6) (2006)
Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. Notre Dame J. Formal Log. 47 (1) (2006)
Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov
Adaptive Verification using Forced Simulation. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Bakhadyr Khoussainov, Sasha Rubin
Decidability of Term Algebras Extending Partial Algebras. CSL (2005)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
Automatic linear orders and trees. ACM Trans. Comput. Log. 6 (4) (2005)
Bakhadyr Khoussainov, Steffen Lempp, Theodore A. Slaman
Computably Enumerable Algebras, Their Expansions, and Isomorphisms. Int. J. Algebra Comput. 15 (3) (2005)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
Definability and Regularity in Automatic Structures. STACS (2004)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations. LICS (2004)
Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore
A computably categorical structure whose expansion by a constant has infinite computable dimension. J. Symb. Log. 68 (4) (2003)
Bakhadyr Khoussainov, Sasha Rubin
Automatic Structures: Overview and Future Directions. J. Autom. Lang. Comb. 8 (2) (2003)
Bakhadyr Khoussainov
On Algebraic Specifications of Abstract Data Types. CSL (2003)
Michael J. Dinneen, Bakhadyr Khoussainov
Update games and update networks. J. Discrete Algorithms 1 (1) (2003)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
On Automatic Partial Orders. LICS (2003)
Bakhadyr Khoussainov
On algebraic and logical specifications of classes of regular languages. Theor. Comput. Sci. 298 (2) (2003)
Bakhadyr Khoussainov
Finite State Strategies in One Player McNaughton Games. DMTCS (2003)
Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov
Relaxed Update and Partition Network Games. Fundam. Informaticae 49 (4) (2002)
Hajime Ishihara, Bakhadyr Khoussainov
Complexity of Some Infinite Games Played on Finite Graphs. WG (2002)
Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko
Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Log. 115 (1-3) (2002)
Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
Some Results on Automatic Structures. LICS (2002)
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. 255 (1-2) (2001)
Bakhadyr Khoussainov, Sasha Rubin
Graphs with Automatic Presentations over a Unary Alphabet. J. Autom. Lang. Comb. 6 (4) (2001)
Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov
On Game-Theoretic Models of Networks. ISAAC (2001)
Bakhadyr Khoussainov
Algebraic constraints, automata, and regular languages. Electron. Notes Theor. Comput. Sci. 31 (2000)
Bakhadyr Khoussainov
On Computability Theoretic Properties of Structures and Their Cartesian Products. Math. Log. Q. 46 (4) (2000)
Cristian Calude, Elena Calude, Bakhadyr Khoussainov
Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. 242 (1-2) (2000)
Michael J. Dinneen, Bakhadyr Khoussainov
Update Networks and Their Routing Strategies. WG (2000)
Bakhadyr Khoussainov, Richard A. Shore
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". Ann. Pure Appl. Log. 98 (1-3) (1999)
Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
Computably Categorical Structures and Expansions by Constants. J. Symb. Log. 64 (1) (1999)
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. 93 (1-3) (1998)

Bakhadyr Khoussainov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bakhadyr Khoussainov