Concepedia

Bakhadyr Khoussainov

BK

Statistics

Publications

31

Citations

1.1K

H-Index

21

Active since

1997

Affiliations

University of Auckland(Current)

Cornell University

National University of Singapore

University of Chicago

Auckland University of Technology

Bakhadyr Khoussainov is an author at University of Auckland specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityCombinatorial OptimizationDiscrete MathematicsFormal VerificationGamesBusiness

Publications per year

1997–2022

31

Publications

31

Deciding parity games in quasipolynomial time

Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov et al. · 2017 · 168 citations

Mathematical Programming, Parity Game, Computational Complexity Theory +19

Degree spectra and computable dimensions in algebraic structures

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore et al. · Annals of Pure and Applied Logic · 2002 · 159 citations

Degree Spectra, Algebraic Analysis, Algebraic Structure

Recursively enumerable reals and Chaitin Ω numbers

Cristian S. Calude, Peter Hertling, Bakhadyr Khoussainov et al. · Theoretical Computer Science · 2001 · 76 citations

Foundation Of Mathematics, Recursive Function, Chaitin ω Numbers +1

Computable Models of Theories with Few Models

Bakhadyr Khoussainov, André Nies, Richard A. Shore · Notre Dame Journal of Formal Logic · 1997 · 72 citations · Full text

Engineering, Saturated Model, Automated Reasoning +9

Automatic linear orders and trees

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan · ACM Transactions on Computational Logic · 2005 · 66 citations

Order Theory, Tree Language, Combinatorics On Word +15

1–5 of 31