| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Finite Automata over Structures - (Extended Abstract).  |
TAMC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (eds.) |
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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Efficient Algorithms for Games Played on Trees with Back-edges. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov |
From automatic structures to automatic groups |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Automatic Structures and Groups. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu |
Extracting Winning Strategies in Update Games. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Antonio Montalbán |
A computable Alef0-categorical structure whose theory computes true arithmetic. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Andrey Morozov |
On Index Sets of Some Properties of Computable Algebras. |
CiE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
Unary automatic graphs: an algorithmic perspective. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu |
On complexity of Ehrenfeucht-Fraïssé games. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Mia Minnes |
Model-theoretic complexity of automatic structures. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov |
Linear orders with distinguished function symbol. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq |
A Dynamic Algorithm for Reachability Games Played on Trees. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Frank Stephan, Yue Yang |
Computable categoricity and the Ershov hierarchy. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
Open Questions in the Theory of Automatic Structures. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Mia Minnes |
Model Theoretic Complexity of Automatic Structures (Extended Abstract). |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
Unary Automatic Graphs: An Algorithmic Perspective. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) |
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 |
Algorithmic-Logical Theory of Infinite Structures |
2008 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Bakhadyr Khoussainov |
When Is Reachability Intrinsically Decidable?. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies |
From Automatic Structures to Borel Structures. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Borel, Buechi, automata, isomorphism |
| 1 | Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
Sequential Automatic Algebras. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
Computable Categoricity of Graphs with Finite Components. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Pavel Semukhin, Frank Stephan |
Applications of Kolmogorov complexity to computable model theory. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan |
Automatic Structures: Richness and Limitations. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan |
Automatic Structures: Richness and Limitations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu |
On Complexity of Ehrenfeucht-Fraïssé Games. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin |
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. |
Notre Dame Journal of Formal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin |
P01-Presentations of Algebras. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Steffen Lempp, Theodore A. Slaman |
Computably Enumerable Algebras, Their Expansions, and Isomorphisms. |
IJAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov |
Adaptive Verification using Forced Simulation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
Automatic linear orders and trees. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
Automatic structures, trees, linear orders |
| 1 | Bakhadyr Khoussainov, Sasha Rubin |
Decidability of Term Algebras Extending Partial Algebras. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
Definability and Regularity in Automatic Structures. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan |
Automatic Structures: Richness and Limitations. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
On algebraic and logical specifications of classes of regular languages. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore |
A computably categorical structure whose expansion by a constant has infinite computable dimension. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Sasha Rubin |
Automatic Structures: Overview and Future Directions. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Dinneen, Bakhadyr Khoussainov |
Update games and update networks. |
J. Discrete Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Finite State Strategies in One Player McNaughton Games. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
On Automatic Partial Orders. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
On Algebraic Specifications of Abstract Data Types. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko |
Degree spectra and computable dimensions in algebraic structures. |
Ann. Pure Appl. Logic |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov |
Relaxed Update and Partition Network Games. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov |
Complexity of Some Infinite Games Played on Finite Graphs. |
WG |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |
Some Results on Automatic Structures. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
Recursively enumerable reals and Chaitin Omega numbers. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Sasha Rubin |
Graphs with Automatic Presentations over a Unary Alphabet. |
Journal of Automata, Languages and Combinatorics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr Khoussainov |
On Game-Theoretic Models of Networks. |
ISAAC |
2001 |
DBLP DOI BibTeX RDF |
infinite graph games, McNaughton games, complexity, graph and network algorithms |
| 1 | Bakhadyr Khoussainov |
On Computability Theoretic Properties of Structures and Their Cartesian Products. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Algebraic constraints, automata, and regular languages. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Bakhadyr Khoussainov |
Finite nondeterministic automata: Simulation and minimality. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Dinneen, Bakhadyr Khoussainov |
Update Networks and Their Routing Strategies. |
WG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore |
Computably Categorical Structures and Expansions by Constants. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Richard A. Shore |
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis |
Games with Unknown Past. |
Math. Log. Q. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode |
Computable Kripke Models and Intermediate Logics. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode |
Decidable Kripke Models of Intuitionistic Theories. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Richard A. Shore |
Computable Isomorphisms, Degree Spectra of Relations, and Scott Families. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Randomness, Computability, and Algebraic Specifications. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
Recursively Enumerable Reals and Chaitin Omega Numbers. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, André Nies, Richard A. Shore |
Computable Models of Theories with Few Models. |
Notre Dame Journal of Formal Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov |
Logic in Computer Science. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov |
Effectiveness of the Completeness Theorem for an Intermediate Logic. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Bakhadyr Khoussainov |
Deterministic Automata: Simulation, Universality and Minimality. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov |
Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? |
Bulletin of the EATCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov |
Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. |
Developments in Language Theory |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Recursive Unary Algebras and Trees. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
Automatic Presentations of Structures. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
The Notion of Rank and Games. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")