| 2022 | INFOCOM | Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures. | Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng |
| 2022 | WWW | Listing Maximal k-Plexes in Large Real-World Graphs. | Zhengren Wang, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov |
| 2021 | ICML | From Local to Global Norm Emergence: Dissolving Self-reinforcing Substructures with Incremental Social Instruments. | Yiwei Liu, Jiamou Liu, Kaibin Wan, Zhan Qin, Zijian Zhang, Bakhadyr Khoussainov, Liehuang Zhu |
| 2020 | CSL | Automatic Equivalence Structures of Polynomial Growth. | Moses Ganardi, Bakhadyr Khoussainov |
| 2019 | IJCNN | Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting. | Nurilla Avazov, Jiamou Liu, Bakhadyr Khoussainov |
| 2019 | MFCS | Random Subgroups of Rationals. | Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan |
| 2018 | DLT | A Brief Excursion to Parity Games. | Bakhadyr Khoussainov |
| 2017 | STOC | Deciding parity games in quasipolynomial time. | Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan |
| 2016 | CiE | Finitely Generated Semiautomatic Groups. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan |
| 2016 | LFCS | A Quest for Algorithmically Random Infinite Structures, II. | Bakhadyr Khoussainov |
| 2014 | CSL | A quest for algorithmically random infinite structures. | Bakhadyr Khoussainov |
| 2014 | CSR | Semiautomatic Structures. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou |
| 2014 | DLT | On Automatic Transitive Graphs. | Dmitry Berdinsky, Bakhadyr Khoussainov |
| 2014 | ISAAC | Dynamic Interval Scheduling for Multiple Machines. | Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu |
| 2013 | CiE | On Decidable and Computable Models of Theories. | Alexander Gavruskin, Bakhadyr Khoussainov |
| 2013 | IWOCA | Dynamising Interval Scheduling: The Monotonic Case. | Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu |
| 2012 | DLT | On State Complexity of Finite Word and Tree Languages. | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
| 2012 | TAMC | Finite Automata over Structures - (Extended Abstract). | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
| 2011 | CiE | Extracting Winning Strategies in Update Games. | Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu |
| 2011 | LATA | Automatic Structures and Groups. | Bakhadyr Khoussainov |
| 2010 | CiE | On Index Sets of Some Properties of Computable Algebras. | Bakhadyr Khoussainov, Andrei S. Morozov |
| 2009 | MFCS | A Dynamic Algorithm for Reachability Games Played on Trees. | Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq |
| 2008 | CiE | Sequential Automatic Algebras. | Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
| 2008 | CiE | Computable Categoricity of Graphs with Finite Components. | Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
| 2008 | DLT | When Is Reachability Intrinsically Decidable?. | Barbara F. Csima, Bakhadyr Khoussainov |
| 2008 | LICS | From Automatic Structures to Borel Structures. | Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbn, Andr Nies |
| 2008 | TAMC | Unary Automatic Graphs: An Algorithmic Perspective. | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
| 2008 | TAMC | Model Theoretic Complexity of Automatic Structures (Extended Abstract). | Bakhadyr Khoussainov, Mia Minnes |
| 2007 | LFCS | On Complexity of Ehrenfeucht-Frass Games. | Bakhadyr Khoussainov, Jiamou Liu |
| 2005 | CSL | Decidability of Term Algebras Extending Partial Algebras. | Bakhadyr Khoussainov, Sasha Rubin |
| 2004 | LICS | Automatic Structures: Richness and Limitations. | Bakhadyr Khoussainov, Andr Nies, Sasha Rubin, Frank Stephan |
| 2004 | STACS | Definability and Regularity in Automatic Structures. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2003 | CSL | On Algebraic Specifications of Abstract Data Types. | Bakhadyr Khoussainov |
| 2003 | LICS | On Automatic Partial Orders. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2002 | LICS | Some Results on Automatic Structures. | Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |
| 2002 | WG | Complexity of Some Infinite Games Played on Finite Graphs. | Hajime Ishihara, Bakhadyr Khoussainov |
| 2001 | ISAAC | On Game-Theoretic Models of Networks. | Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov |
| 2000 | WG | Update Networks and Their Routing Strategies. | Michael J. Dinneen, Bakhadyr Khoussainov |
| 1998 | STACS | Recursively Enumerable Reals and Chaitin Omega Numbers. | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
| 1997 | DLT | Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. | Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov |
| 1994 | LFCS | The Notion of Rank and Games. | Bakhadyr Khoussainov, Anil Nerode |