Bakhadyr Khoussainov

120 papers A* 8A 2B 10C 17Misc 4Journal 63Unranked 12

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Finding small feedback arc sets on large graphs. Comput. Oper. Res. Ziliang Xiong, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov
2023	J	`jnl`	String Compression in FA-Presentable Structures. CoRR Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
2023	J	`jnl`	String compression in FA-presentable structures. Theor. Comput. Sci. Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
2022	J	`jnl`	Centralization Problem for Opinion Convergence in Decentralized Networks. CoRR Yiping Liu, Jiamou Liu, Bakhadyr Khoussainov, Miao Qiao, Bo Yan
2022	J	`jnl`	Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
2022	A*	`conf`	Listing Maximal k-Plexes in Large Real-World Graphs. WWW Zhengren Wang, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov
2022	J	`jnl`	Listing Maximal k-Plexes in Large Real-World Graphs. CoRR Zhengren Wang, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov
2022	A*	`conf`	Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures. INFOCOM Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng
2021	—	`conf`	Attacking Community Detectors: Mislead Detectors via Manipulating the Graph Structure. MobiCASE Kaibin Wan, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov
2021	A*	`conf`	From Local to Global Norm Emergence: Dissolving Self-reinforcing Substructures with Incremental Social Instruments. ICML Yiwei Liu, Jiamou Liu, Kaibin Wan, Zhan Qin, Zijian Zhang, Bakhadyr Khoussainov, Liehuang Zhu
2021	—	`conf`	Improving Togetherness Using Structural Entropy. MobiCASE Siyu Zhang, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov
2021	J	`jnl`	Maximum Entropy Inverse Reinforcement Learning for Mean Field Games. CoRR Yang Chen, Jiamou Liu, Bakhadyr Khoussainov
2021	J	`jnl`	Quasi-Isometric Graph-Simplifications. CoRR Bakhadyr Khoussainov, Khí-Uí Soo
2020	B	`conf`	Automatic Equivalence Structures of Polynomial Growth. CSL Moses Ganardi, Bakhadyr Khoussainov
2019	J	`jnl`	Large Scale Geometries of Infinite Strings. CoRR Bakhadyr Khoussainov, Toru Takisaka
2019	B	`conf`	Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting. IJCNN Nurilla Avazov, Jiamou Liu, Bakhadyr Khoussainov
2019	B	`conf`	Random Subgroups of Rationals. MFCS Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
2019	J	`jnl`	Random Subgroups of Rationals. CoRR Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
2019	J	`jnl`	The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett. Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
2018	C	`conf`	A Brief Excursion to Parity Games. DLT Bakhadyr Khoussainov
2018	J	`jnl`	Finitely generated semiautomatic groups. Comput. Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
2018	J	`jnl`	The isomorphism problem for tree-automatic ordinals with addition. CoRR Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
2017	—	`ed.`	Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday Computability and Complexity Adam R. Day, Michael R. Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander G. Melnikov, Frances A. Rosamond
2017	A*	`conf`	Deciding parity games in quasipolynomial time. STOC Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
2017	J	`jnl`	Semiautomatic Structures. Theory Comput. Syst. Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
2016	Misc	`conf`	A Quest for Algorithmically Random Infinite Structures, II. LFCS Bakhadyr Khoussainov
2016	J	`jnl`	Cayley Automatic Representations of Wreath Products. Int. J. Found. Comput. Sci. Dmitry Berdinsky, Bakhadyr Khoussainov
2016	C	`conf`	Decision Problems for Finite Automata over Infinite Algebraic Structures. CIAA Bakhadyr Khoussainov, Jiamou Liu
2016	J	`jnl`	Dynamic Algorithms for Multimachine Interval Scheduling Through Analysis of Idle Intervals. Algorithmica Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
2016	C	`conf`	Finitely Generated Semiautomatic Groups. CiE Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
2016	J	`jnl`	Linear Orders Realized by C.E. Equivalence Relations. J. Symb. Log. Ekaterina B. Fokina, Bakhadyr Khoussainov, Pavel Semukhin, Daniel Turetsky
2016	J	`jnl`	Reducibilities among equivalence relations induced by recursively enumerable structures. Theor. Comput. Sci. Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan
2016	J	`jnl`	Tree-automatic scattered linear orders. Theor. Comput. Sci. Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
2015	J	`jnl`	Cayley automatic representations of wreath products. CoRR Dmitry Berdinsky, Bakhadyr Khoussainov
2015	J	`jnl`	Dynamic algorithms for monotonic interval scheduling problem. Theor. Comput. Sci. Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
2014	—	`conf`	A quest for algorithmically random infinite structures. CSL-LICS Bakhadyr Khoussainov
2014	J	`jnl`	Dynamic Algorithms for Interval Scheduling on a Single Machine. CoRR Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
2014	B	`conf`	Dynamic Interval Scheduling for Multiple Machines. ISAAC Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
2014	J	`jnl`	Graphs realised by r.e. equivalence relations. Ann. Pure Appl. Log. Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
2014	C	`conf`	On Automatic Transitive Graphs. Developments in Language Theory Dmitry Berdinsky, Bakhadyr Khoussainov
2014	Misc	`conf`	Semiautomatic Structures. CSR Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
2013	C	`conf`	Dynamising Interval Scheduling: The Monotonic Case. IWOCA Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu
2013	C	`conf`	On Decidable and Computable Models of Theories. CiE Alexander Gavruskin, Bakhadyr Khoussainov
2012	J	`jnl`	Computable Isomorphisms of Boolean Algebras with Operators. Stud Logica Bakhadyr Khoussainov, Tomasz Kowalski
2012	—	`ed.`	Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers Computation, Physics and Beyond Michael J. Dinneen, Bakhadyr Khoussainov, André Nies
2012	C	`conf`	Finite Automata over Structures - (Extended Abstract). TAMC Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
2012	—	`book`	Lectures on Discrete Mathematics for Computer Science Bakhadyr Khoussainov, Nodira Khoussainova
2012	C	`conf`	On State Complexity of Finite Word and Tree Languages. Developments in Language Theory Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
2012	—	`conf`	Solving infinite games on trees with back-edges. CATS Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
2011	C	`conf`	Automatic Structures and Groups. LATA Bakhadyr Khoussainov
2011	—	`conf`	Descriptional Complexity of Determinization and Complementation for Finite Automata. CATS Aniruddh Gandhi, Nan Rosemary Ke, Bakhadyr Khoussainov
2011	J	`jnl`	Efficient Algorithms for Games Played on Trees with Back-edges. Fundam. Informaticae Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
2011	C	`conf`	Extracting Winning Strategies in Update Games. CiE Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu
2011	J	`jnl`	From automatic structures to automatic groups CoRR Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov
2010	J	`jnl`	A computable Alef J. Symb. Log. Bakhadyr Khoussainov, Antonio Montalbán
2010	C	`conf`	On Index Sets of Some Properties of Computable Algebras. CiE Bakhadyr Khoussainov, Andrei S. Morozov
2009	B	`conf`	A Dynamic Algorithm for Reachability Games Played on Trees. MFCS Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq
2009	J	`jnl`	Linear orders with distinguished function symbol. Arch. Math. Log. Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov
2009	J	`jnl`	Model-theoretic complexity of automatic structures. Ann. Pure Appl. Log. Bakhadyr Khoussainov, Mia Minnes
2009	J	`jnl`	On complexity of Ehrenfeucht-Fraïssé games. Ann. Pure Appl. Log. Bakhadyr Khoussainov, Jiamou Liu
2009	J	`jnl`	Unary automatic graphs: an algorithmic perspective. Math. Struct. Comput. Sci. Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
2008	—	`ed.`	Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 Algorithmic-Logical Theory of Infinite Structures Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2008	C	`conf`	Computable Categoricity of Graphs with Finite Components. CiE Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu
2008	J	`jnl`	Computable categoricity and the Ershov hierarchy. Ann. Pure Appl. Log. Bakhadyr Khoussainov, Frank Stephan, Yue Yang
2008	A*	`conf`	From Automatic Structures to Borel Structures. LICS Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies
2008	C	`conf`	Model Theoretic Complexity of Automatic Structures (Extended Abstract). TAMC Bakhadyr Khoussainov, Mia Minnes
2008	J	`jnl`	Open Questions in the Theory of Automatic Structures. Bull. EATCS Bakhadyr Khoussainov, Anil Nerode
2008	C	`conf`	Sequential Automatic Algebras. CiE Michael Brough, Bakhadyr Khoussainov, Peter Nelson
2008	C	`conf`	Unary Automatic Graphs: An Algorithmic Perspective. TAMC Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
2008	C	`conf`	When Is Reachability Intrinsically Decidable?. Developments in Language Theory Barbara F. Csima, Bakhadyr Khoussainov
2007	—	`conf`	07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2007	—	`conf`	07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2007	J	`jnl`	Applications of Kolmogorov complexity to computable model theory. J. Symb. Log. Bakhadyr Khoussainov, Pavel Semukhin, Frank Stephan
2007	J	`jnl`	Automatic Structures: Richness and Limitations CoRR Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2007	J	`jnl`	Automatic Structures: Richness and Limitations. Log. Methods Comput. Sci. Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2007	Misc	`conf`	On Complexity of Ehrenfeucht-Fraïssé Games. LFCS Bakhadyr Khoussainov, Jiamou Liu
2006	J	`jnl`	An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. Notre Dame J. Formal Log. Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin
2006	J	`jnl`	P Arch. Math. Log. Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
2005	—	`conf`	Adaptive Verification using Forced Simulation. FESCA@ETAPS Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov
2005	J	`jnl`	Automatic linear orders and trees. ACM Trans. Comput. Log. Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2005	J	`jnl`	Computably Enumerable Algebras, Their Expansions, and Isomorphisms. Int. J. Algebra Comput. Bakhadyr Khoussainov, Steffen Lempp, Theodore A. Slaman
2005	B	`conf`	Decidability of Term Algebras Extending Partial Algebras. CSL Bakhadyr Khoussainov, Sasha Rubin
2004	A*	`conf`	Automatic Structures: Richness and Limitations. LICS Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2004	A	`conf`	Definability and Regularity in Automatic Structures. STACS Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2003	J	`jnl`	A computably categorical structure whose expansion by a constant has infinite computable dimension. J. Symb. Log. Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore
2003	J	`jnl`	Automatic Structures: Overview and Future Directions. J. Autom. Lang. Comb. Bakhadyr Khoussainov, Sasha Rubin
2003	—	`conf`	Finite State Strategies in One Player McNaughton Games. DMTCS Bakhadyr Khoussainov
2003	B	`conf`	On Algebraic Specifications of Abstract Data Types. CSL Bakhadyr Khoussainov
2003	A*	`conf`	On Automatic Partial Orders. LICS Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2003	J	`jnl`	On algebraic and logical specifications of classes of regular languages. Theor. Comput. Sci. Bakhadyr Khoussainov
2003	J	`jnl`	Update games and update networks. J. Discrete Algorithms Michael J. Dinneen, Bakhadyr Khoussainov
2002	B	`conf`	Complexity of Some Infinite Games Played on Finite Graphs. WG Hajime Ishihara, Bakhadyr Khoussainov
2002	J	`jnl`	Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Log. Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko
2002	J	`jnl`	Relaxed Update and Partition Network Games. Fundam. Informaticae Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov
2002	A*	`conf`	Some Results on Automatic Structures. LICS Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
2001	J	`jnl`	Graphs with Automatic Presentations over a Unary Alphabet. J. Autom. Lang. Comb. Bakhadyr Khoussainov, Sasha Rubin
2001	B	`conf`	On Game-Theoretic Models of Networks. ISAAC Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov
2001	J	`jnl`	Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
2000	—	`conf`	Algebraic constraints, automata, and regular languages. CATS Bakhadyr Khoussainov
2000	J	`jnl`	Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. Cristian Calude, Elena Calude, Bakhadyr Khoussainov
2000	J	`jnl`	On Computability Theoretic Properties of Structures and Their Cartesian Products. Math. Log. Q. Bakhadyr Khoussainov
2000	B	`conf`	Update Networks and Their Routing Strategies. WG Michael J. Dinneen, Bakhadyr Khoussainov
1999	J	`jnl`	Computably Categorical Structures and Expansions by Constants. J. Symb. Log. Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
1999	J	`jnl`	Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". Ann. Pure Appl. Log. Bakhadyr Khoussainov, Richard A. Shore
1998	J	`jnl`	Computable Isomorphisms, Degree Spectra of Relations, and Scott Families. Ann. Pure Appl. Log. Bakhadyr Khoussainov, Richard A. Shore
1998	J	`jnl`	Computable Kripke Models and Intermediate Logics. Inf. Comput. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1998	J	`jnl`	Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1998	J	`jnl`	Games with Unknown Past. Math. Log. Q. Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis
1998	J	`jnl`	Randomness, Computability, and Algebraic Specifications. Ann. Pure Appl. Log. Bakhadyr Khoussainov
1998	A	`conf`	Recursively Enumerable Reals and Chaitin Omega Numbers. STACS Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
1997	J	`jnl`	Computable Models of Theories with Few Models. Notre Dame J. Formal Log. Bakhadyr Khoussainov, André Nies, Richard A. Shore
1997	J	`jnl`	Deterministic Automata: Simulation, Universality and Minimality. Ann. Pure Appl. Log. Cristian Calude, Elena Calude, Bakhadyr Khoussainov
1997	C	`conf`	Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. Developments in Language Theory Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov
1997	J	`jnl`	Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? Bull. EATCS Cristian Calude, Peter Hertling, Bakhadyr Khoussainov
1997	J	`jnl`	Effectiveness of the Completeness Theorem for an Intermediate Logic. J. Univers. Comput. Sci. Hajime Ishihara, Bakhadyr Khoussainov
1997	J	`jnl`	Logic in Computer Science. J. Univers. Comput. Sci. Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
1996	—	`conf`	Categoricity and Scott Families. DMTCS Bakhadyr Khoussainov, Richard A. Shore
1994	—	`conf`	Automatic Presentations of Structures. LCC Bakhadyr Khoussainov, Anil Nerode
1994	J	`jnl`	Recursive Unary Algebras and Trees. Ann. Pure Appl. Log. Bakhadyr Khoussainov
1994	Misc	`conf`	The Notion of Rank and Games. LFCS Bakhadyr Khoussainov, Anil Nerode