Bakh Khoussainov
Bakh Khoussainov
Professor of Computer Science, The University of Auckland
Verified email at cs.auckland.ac.nz
Title
Cited by
Cited by
Year
Automatic presentations of structures
B Khoussainov, A Nerode
International Workshop on Logic and Computational Complexity, 367-392, 1994
3611994
Automata theory and its applications
B Khoussainov, A Nerode
Springer Science & Business Media, 2012
2092012
Degree spectra and computable dimensions in algebraic structures
DR Hirschfeldt, B Khoussainov, RA Shore, AM Slinko
Annals of Pure and Applied Logic 115 (1-3), 71-113, 2002
2062002
Deciding Parity Games in Quasi-Polynomial Time
CS Calude, S Jain, B Khoussainov, W Li, F Stephan
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017
1822017
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
1232004
Computable models of theories with few models
B Khoussainov, A Nies, RA Shore
Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997
112*1997
Recursively enumerable reals and Chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
Theoretical Computer Science 255 (1), 125-149, 2001
962001
Recursively enumerable reals and Chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
Annual Symposium on Theoretical Aspects of Computer Science, 596-606, 1998
851998
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
742005
Computable isomorphisms, degree spectra of relations, and Scott families
B Khoussainov, RA Shore
Annals of Pure and Applied Logic 93 (1-3), 153-193, 1998
561998
Computably categorical structures and expansions by constants
P Cholak, S Goncharov, B Khoussainov, RA Shore
The Journal of Symbolic Logic 64 (1), 13-37, 1999
551999
Three lectures on automatic structures
B Khoussainov, M Minnes
Proceedings of Logic Colloquium, 132-176, 2007
522007
From automatic structures to automatic groups
O Kharlampovich, B Khoussainov, A Myasnikov
Groups, Geometry, Dynamics 8 (1), 157-198, 2014
502014
Open Questions in the Theory of Automatic Structures.
B Khoussainov, A Nerode
Bulletin of the EATCS 94, 181-204, 2008
452008
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
STACS 2004, 440-451, 2004
452004
Complexity of categorical theories with computable models
SS Goncharov, B Khoussainov
Algebra and Logic 43 (6), 365-373, 2004
43*2004
Automatic structures: overview and future directions
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003
43*2003
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
412003
Limitwise monotonic sequences and degree spectra of structures
I Kalimullin, B Khoussainov, A Melnikov
Proceedings of the American Mathematical Society 141 (9), 3275-3289, 2013
372013
From automatic structures to Borel structures
G Hjorth, B Khoussainov, A Montalbán, A Nies
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 431-441, 2008
372008
The system can't perform the operation now. Try again later.
Articles 1–20