Bakhadyr Khoussainov

According to our database, Bakhadyr Khoussainov authored at least 135 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

HCA: Hashchain-Based Consensus Acceleration Via Re-Voting.

Zijian Zhang, Xuyang Liu, Meng Li, Hao Yin, Liehuang Zhu, Bakh Khoussainov, Keke Gai

IEEE Trans. Dependable Secur. Comput., 2024

2023

InFocus: Amplifying Critical Feature Influence on Non-Intrusive Load Monitoring Through Self-Attention Mechanisms.

Jialing He, Zijian Zhang, Liran Ma, Zhouyu Zhang, Meng Li, Bakh Khoussainov, Jiamou Liu, Liehuang Zhu

IEEE Trans. Smart Grid, September, 2023

String compression in FA-presentable structures.

Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan

Theor. Comput. Sci., February, 2023

Two new algorithms for solving Müller games and their applications.

Zihui Liang, Bakh Khoussainov, Mingyu Xiao

CoRR, 2023

Incentivising Diffusion while Preserving Differential Privacy.

Fengjuan Jia, Mengxiao Zhang, Jiamou Liu, Bakh Khoussainov

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Connectivity in the Presence of an Opponent.

Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao

Proceedings of the 31st Annual European Symposium on Algorithms, 2023

Characterizations of Network Auctions and Generalizations of VCG.

Mingyu Xiao, Guixin Lin, Bakh Khoussainov, Yuchao Song

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Multi-Unit Auction over a Social Network.

Yuan Fang, Mengxiao Zhang, Jiamou Liu, Bakh Khoussainov, Mingyu Xiao

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Topological Network-Control Games.

Zihui Liang, Bakh Khoussainov, Haidong Yang

Proceedings of the Computing and Combinatorics - 29th International Conference, 2023

Learning Density-Based Correlated Equilibria for Markov Games.

Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Differentially Private Diffusion Auction: The Single-unit Case.

Fengjuan Jia, Mengxiao Zhang, Jiamou Liu, Bakh Khoussainov

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Centralization Problem for Opinion Convergence in Decentralized Networks.

Yiping Liu, Jiamou Liu, Bakh Khoussainov, Miao Qiao, Bo Yan, Mengxiao Zhang

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2023

Facility Location Games with Entrance Fees.

Mengfan Ma, Mingyu Xiao, Tian Bai, Bakh Khoussainov

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

MSDC: Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring Based on a Dual-CNN Model.

Jialing He, Jiamou Liu, Zijian Zhang, Yang Chen, Yiwei Liu, Bakh Khoussainov, Liehuang Zhu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Video Aficionado: We Know What You Are Watching.

Jialing He, Zijian Zhang, Jian Mao, Liran Ma, Bakh Khoussainov, Rui Jin, Liehuang Zhu

IEEE Trans. Mob. Comput., 2022

Deciding Parity Games in Quasi-polynomial Time.

Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan

SIAM J. Comput., 2022

Infinite Strings and their Large Scale Properties.

Bakh Khoussainov, Toru Takisaka

J. Symb. Log., 2022

Proof of Continuous Work for Reliable Data Storage Over Permissionless Blockchain.

Hao Yin, Zijian Zhang, Jialing He, Liran Ma, Liehuang Zhu, Meng Li, Bakh Khoussainov

IEEE Internet Things J., 2022

Chain-Based Covert Data Embedding Schemes in Blockchain.

Haotian Cao, Hao Yin, Feng Gao, Zijian Zhang, Bakh Khoussainov, Shubin Xu, Liehuang Zhu

IEEE Internet Things J., 2022

Centralization Problem for Opinion Convergence in Decentralized Networks.

Yiping Liu, Jiamou Liu, Bakhadyr Khoussainov, Miao Qiao, Bo Yan

CoRR, 2022

Facility Location with Entrance Fees.

Mengfan Ma, Mingyu Xiao, Tian Bai, Bakh Khoussainov

CoRR, 2022

Listing Maximal k-Plexes in Large Real-World Graphs.

Zhengren Wang, Yi Zhou, Mingyu Xiao, Bakhadyr Khoussainov

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures.

Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng

Proceedings of the IEEE INFOCOM 2022, 2022

Multi-Unit Auction in Social Networks with Budgets.

Mingyu Xiao, Yuchao Song, Bakh Khoussainov

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A Blockchain-Based Storage System With Financial Incentives for Load-balancing.

Hao Yin, Zijian Zhang, Liehuang Zhu, Meng Li, Xiaojiang Du, Mohsen Guizani, Bakh Khoussainov

IEEE Trans. Netw. Sci. Eng., 2021

Quasi-Isometric Graph-Simplifications.

Bakhadyr Khoussainov, Khí-Uí Soo

CoRR, 2021

Maximum Entropy Inverse Reinforcement Learning for Mean Field Games.

Yang Chen, Jiamou Liu, Bakhadyr Khoussainov

CoRR, 2021

Exploring active attacks for three incorrect implementations of the ISO/IEC 9798 in satellite networks.

Zhengjia Zhu, Hao Yin, Zijian Zhang, Tielei Li, Jiamou Liu, Bakh Khoussainov, Chang Xu

Comput. Commun., 2021

Improving Togetherness Using Structural Entropy.

Siyu Zhang, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov

Proceedings of the Mobile Computing, Applications, and Services, 2021

Attacking Community Detectors: Mislead Detectors via Manipulating the Graph Structure.

Kaibin Wan, Jiamou Liu, Yiwei Liu, Zijian Zhang, Bakhadyr Khoussainov

Proceedings of the Mobile Computing, Applications, and Services, 2021

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

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

WiPOS: A POS Terminal Password Inference System Based on Wireless Signals.

Zijian Zhang, Nurilla Avazov, Jiamou Liu, Bakh Khoussainov, Xin Li, Keke Gai, Liehuang Zhu

IEEE Internet Things J., 2020

Automatic Equivalence Structures of Polynomial Growth.

Moses Ganardi, Bakhadyr Khoussainov

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Whispers on Ethereum: Blockchain-based Covert Data Embedding Schemes.

Shaoyuan Liu, Zhi Fang, Feng Gao, Bakh Khoussainov, Zijian Zhang, Jiamou Liu, Liehuang Zhu

Proceedings of the BSCI '20: Proceedings of the 2nd ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2020

2019

The isomorphism problem for tree-automatic ordinals with addition.

Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan

Inf. Process. Lett., 2019

Computability Aspects of Differential Games in Euclidian Spaces.

Gafurjan I. Ibragimov, Bakh Khoussainov, Arno Pauly

CoRR, 2019

Effective aspects of algorithmically random structures.

Matthew Harrison-Trainor, Bakh Khoussainov, Daniel Turetsky

Comput., 2019

Random Subgroups of Rationals.

Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting.

Nurilla Avazov, Jiamou Liu, Bakhadyr Khoussainov

Proceedings of the International Joint Conference on Neural Networks, 2019

2018

Finitely generated semiautomatic groups.

Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan

Comput., 2018

A Brief Excursion to Parity Games.

Bakhadyr Khoussainov

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

A Journey to Computably Enumerable Structures (Tutorial Lectures).

Bakh Khoussainov

Proceedings of the Sailing Routes in the World of Computation, 2018

2017

Semiautomatic Structures.

Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou

Theory Comput. Syst., 2017

Deciding parity games in quasipolynomial time.

Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan

Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

Large scale geometries of infinite strings.

Bakh Khoussainov, Toru Takisaka

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Tree-automatic scattered linear orders.

Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan

Theor. Comput. Sci., 2016

Reducibilities among equivalence relations induced by recursively enumerable structures.

Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

Theor. Comput. Sci., 2016

Linear Orders Realized by C.E. Equivalence Relations.

Ekaterina B. Fokina, Bakhadyr Khoussainov, Pavel Semukhin, Daniel Turetsky

J. Symb. Log., 2016

Cayley Automatic Representations of Wreath Products.

Dmitry Berdinsky, Bakhadyr Khoussainov

Int. J. Found. Comput. Sci., 2016

Dynamic Algorithms for Multimachine Interval Scheduling Through Analysis of Idle Intervals.

Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

Algorithmica, 2016

Decision Problems for Finite Automata over Infinite Algebraic Structures.

Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Implementation and Application of Automata, 2016

Quantifier Free Definability on Infinite Algebras.

Bakh Khoussainov

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Quest for Algorithmically Random Infinite Structures, II.

Bakhadyr Khoussainov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Dynamic algorithms for monotonic interval scheduling problem.

Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

Theor. Comput. Sci., 2015

2014

Dynamic Algorithms for Interval Scheduling on a Single Machine.

Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

CoRR, 2014

Graphs realised by r.e. equivalence relations.

Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan

Ann. Pure Appl. Log., 2014

Dynamic Interval Scheduling for Multiple Machines.

Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

Proceedings of the Algorithms and Computation - 25th International Symposium, 2014

On Automatic Transitive Graphs.

Dmitry Berdinsky, Bakhadyr Khoussainov

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

A quest for algorithmically random infinite structures.

Bakhadyr Khoussainov

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Fine-grained access control for cloud computing.

Xinfeng Ye, Bakh Khoussainov

Int. J. Grid Util. Comput., 2013

A Game Theoretic Approach to Service Discovery and Selection.

Yi Chen, Bakh Khoussainov, Xinfeng Ye

Proceedings of the IEEE International Conference on Systems, 2013

A Game Theory-Based Approach to Service Rating.

Xinfeng Ye, Jupeng Zheng, Bakh Khoussainov

Proceedings of the International Conference on Parallel and Distributed Computing, 2013

Dynamising Interval Scheduling: The Monotonic Case.

Alexander Gavruskin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

On Decidable and Computable Models of Theories.

Alexander Gavruskin, Bakhadyr Khoussainov

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

A Robust Service Recommendation Scheme.

Xinfeng Ye, Jupeng Zheng, Bakh Khoussainov

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

Computable Isomorphisms of Boolean Algebras with Operators.

Bakhadyr Khoussainov, Tomasz Kowalski

Stud Logica, 2012

Finite Automata over Structures - (Extended Abstract).

Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Theory and Applications of Models of Computation, 2012

On State Complexity of Finite Word and Tree Languages.

Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

Solving infinite games on trees with back-edges.

Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012

Lectures on Discrete Mathematics for Computer Science

Bakhadyr Khoussainov, Nodira Khoussainova

Algebra and Discrete Mathematics 3, World Scientific, ISBN: 978-981-4340-50-2, 2012

2011

Efficient Algorithms for Games Played on Trees with Back-edges.

Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu

Fundam. Informaticae, 2011

From automatic structures to automatic groups

Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov

CoRR, 2011

Automatic Structures and Groups.

Bakhadyr Khoussainov

Proceedings of the Language and Automata Theory and Applications, 2011

Extracting Winning Strategies in Update Games.

Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Models of Computation in Context, 2011

Descriptional Complexity of Determinization and Complementation for Finite Automata.

Aniruddh Gandhi, Nan Rosemary Ke, Bakhadyr Khoussainov

Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

2010

A computable Alef₀-categorical structure whose theory computes true arithmetic.

Bakhadyr Khoussainov, Antonio Montalbán

J. Symb. Log., 2010

On Index Sets of Some Properties of Computable Algebras.

Bakhadyr Khoussainov, Andrei S. Morozov

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Unary automatic graphs: an algorithmic perspective.

Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes

Math. Struct. Comput. Sci., 2009

Model-theoretic complexity of automatic structures.

Bakhadyr Khoussainov, Mia Minnes

Ann. Pure Appl. Log., 2009

On complexity of Ehrenfeucht-Fraïssé games.

Bakhadyr Khoussainov, Jiamou Liu

Ann. Pure Appl. Log., 2009

Linear orders with distinguished function symbol.

Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov

Arch. Math. Log., 2009

A Dynamic Algorithm for Reachability Games Played on Trees.

Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

2008

Open Questions in the Theory of Automatic Structures.

Bakhadyr Khoussainov, Anil Nerode

Bull. EATCS, 2008

Computable categoricity and the Ershov hierarchy.

Bakhadyr Khoussainov, Frank Stephan, Yue Yang

Ann. Pure Appl. Log., 2008

Model Theoretic Complexity of Automatic Structures (Extended Abstract).

Bakhadyr Khoussainov, Mia Minnes

Proceedings of the Theory and Applications of Models of Computation, 2008

From Automatic Structures to Borel Structures.

Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

When Is Reachability Intrinsically Decidable?.

Barbara F. Csima, Bakhadyr Khoussainov

Proceedings of the Developments in Language Theory, 12th International Conference, 2008

Computable Categoricity of Graphs with Finite Components.

Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Logic and Theory of Algorithms, 2008

Sequential Automatic Algebras.

Michael Brough, Bakhadyr Khoussainov, Peter Nelson

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Automatic Structures: Richness and Limitations.

Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan

Log. Methods Comput. Sci., 2007

Applications of Kolmogorov complexity to computable model theory.

Bakhadyr Khoussainov, Pavel Semukhin, Frank Stephan

J. Symb. Log., 2007

07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi

Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi

Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007

2006

An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated.

Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin

Notre Dame J. Formal Log., 2006

P⁰₁-Presentations of Algebras.

Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

Arch. Math. Log., 2006

2005

Automatic linear orders and trees.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

ACM Trans. Comput. Log., 2005

Computably Enumerable Algebras, Their Expansions, and Isomorphisms.

Bakhadyr Khoussainov, Steffen Lempp, Theodore A. Slaman

Int. J. Algebra Comput., 2005

Adaptive Verification using Forced Simulation.

Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

Decidability of Term Algebras Extending Partial Algebras.

Bakhadyr Khoussainov, Sasha Rubin

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Definability and Regularity in Automatic Structures.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

Proceedings of the STACS 2004, 2004

2003

On algebraic and logical specifications of classes of regular languages.

Bakhadyr Khoussainov

Theor. Comput. Sci., 2003

A computably categorical structure whose expansion by a constant has infinite computable dimension.

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore

J. Symb. Log., 2003

Update games and update networks.

Michael J. Dinneen, Bakhadyr Khoussainov

J. Discrete Algorithms, 2003

Automatic Structures: Overview and Future Directions.

Bakhadyr Khoussainov, Sasha Rubin

J. Autom. Lang. Comb., 2003

On Automatic Partial Orders.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Finite State Strategies in One Player McNaughton Games.

Bakhadyr Khoussainov

Proceedings of the Discrete Mathematics and Theoretical Computer Science, 2003

On Algebraic Specifications of Abstract Data Types.

Bakhadyr Khoussainov

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Relaxed Update and Partition Network Games.

Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov

Fundam. Informaticae, 2002

Degree spectra and computable dimensions in algebraic structures.

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko

Ann. Pure Appl. Log., 2002

Complexity of Some Infinite Games Played on Finite Graphs.

Hajime Ishihara, Bakhadyr Khoussainov

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002

Some Results on Automatic Structures.

Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Recursively enumerable reals and Chaitin Omega numbers.

Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang

Theor. Comput. Sci., 2001

Graphs with Automatic Presentations over a Unary Alphabet.

Bakhadyr Khoussainov, Sasha Rubin

J. Autom. Lang. Comb., 2001

On Game-Theoretic Models of Networks.

Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov

Proceedings of the Algorithms and Computation, 12th International Symposium, 2001

2000

Algebraic constraints, automata, and regular languages.

Bakhadyr Khoussainov

Proceedings of the Computing: the Australasian Theory Symposium, 2000

Finite nondeterministic automata: Simulation and minimality.

Cristian Calude, Elena Calude, Bakhadyr Khoussainov

Theor. Comput. Sci., 2000

On Computability Theoretic Properties of Structures and Their Cartesian Products.

Bakhadyr Khoussainov

Math. Log. Q., 2000

Update Networks and Their Routing Strategies.

Michael J. Dinneen, Bakhadyr Khoussainov

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2000

1999

Computably Categorical Structures and Expansions by Constants.

Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore

J. Symb. Log., 1999

Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families".

Bakhadyr Khoussainov, Richard A. Shore

Ann. Pure Appl. Log., 1999

1998

Games with Unknown Past.

Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis

Math. Log. Q., 1998

Computable Kripke Models and Intermediate Logics.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Inf. Comput., 1998

Computable Isomorphisms, Degree Spectra of Relations, and Scott Families.

Bakhadyr Khoussainov, Richard A. Shore

Ann. Pure Appl. Log., 1998

Randomness, Computability, and Algebraic Specifications.

Bakhadyr Khoussainov

Ann. Pure Appl. Log., 1998

Decidable Kripke Models of Intuitionistic Theories.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Ann. Pure Appl. Log., 1998

1997

Computable Models of Theories with Few Models.

Bakhadyr Khoussainov, André Nies, Richard A. Shore

Notre Dame J. Formal Log., 1997

Effectiveness of the Completeness Theorem for an Intermediate Logic.

Hajime Ishihara, Bakhadyr Khoussainov

J. Univers. Comput. Sci., 1997

Logic in Computer Science.

Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov

J. Univers. Comput. Sci., 1997

Do the Zeros of Riemann's Zeta-Function Form a Random Sequence?

Cristian Calude, Peter Hertling, Bakhadyr Khoussainov

Bull. EATCS, 1997

Deterministic Automata: Simulation, Universality and Minimality.

Cristian Calude, Elena Calude, Bakhadyr Khoussainov

Ann. Pure Appl. Log., 1997

Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract.

Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

1996

Categoricity and Scott Families.

Bakhadyr Khoussainov, Richard A. Shore

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1994

Recursive Unary Algebras and Trees.

Bakhadyr Khoussainov

Ann. Pure Appl. Log., 1994

The Notion of Rank and Games.

Bakhadyr Khoussainov, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Automatic Presentations of Structures.

Bakhadyr Khoussainov, Anil Nerode

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994