 | 2012 |
| 31 |  | Ekaterina B. Fokina,
Sy-David Friedman,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy,
Antonio Montalbán:
Isomorphism relations on computable structures.
J. Symb. Log. 77(1): 122-132 (2012) |
| 2011 |
| 30 |  | Douglas Cenzer,
Valentina S. Harizanov,
Jeffrey B. Remmel:
Effective Categoricity of Injection Structures.
CiE 2011: 51-60 |
| 29 |  | Douglas Cenzer,
Valentina S. Harizanov,
Jeffrey B. Remmel:
Σ01 and Π01 equivalence structures.
Ann. Pure Appl. Logic 162(7): 490-503 (2011) |
| 28 |  | Barbara F. Csima,
Valentina S. Harizanov,
Russell Miller,
Antonio Montalbán:
Computability of Fraïssé limits.
J. Symb. Log. 76(1): 66-93 (2011) |
| 2010 |
| 27 |  | Malgorzata A. Dabkowska,
Mieczyslaw K. Dabkowski,
Valentina S. Harizanov,
Amir A. Togha:
Spaces of orders and their Turing degree spectra.
Ann. Pure Appl. Logic 161(9): 1134-1143 (2010) |
| 2009 |
| 26 |  | Douglas A. Cenzer,
Valentina S. Harizanov,
Jeffrey B. Remmel:
S01 and P01 Equivalence Structures.
CiE 2009: 99-108 |
| 25 |  | Wesley Calvert,
Douglas A. Cenzer,
Valentina S. Harizanov,
Andrei S. Morozov:
Effective categoricity of Abelian p-groups.
Ann. Pure Appl. Logic 159(1-2): 187-197 (2009) |
| 24 |  | Douglas A. Cenzer,
Valentina S. Harizanov,
David Marker,
Carol Wood:
Preface.
Arch. Math. Log. 48(1): 1-6 (2009) |
| 23 |  | Valentina S. Harizanov,
Carl G. Jockusch Jr.,
Julia F. Knight:
Chains and antichains in partial orderings.
Arch. Math. Log. 48(1): 39-53 (2009) |
| 22 |  | Jennifer Chubb,
Andrey Frolov,
Valentina S. Harizanov:
Degree spectra of the successor relation of computable linear orderings.
Arch. Math. Log. 48(1): 7-13 (2009) |
| 21 |  | John Chisholm,
Ekaterina B. Fokina,
Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Sara Quinn:
Intrinsic bounds on complexity and definability at limit levels.
J. Symb. Log. 74(3): 1047-1060 (2009) |
| 2008 |
| 20 |  | Jennifer Chubb,
Valentina S. Harizanov,
Andrei S. Morozov,
Sarah Pingrey,
Eric Ufferman:
Partial automorphism semigroups.
Ann. Pure Appl. Logic 156(2-3): 245-258 (2008) |
| 2007 |
| 19 |  | Valentina S. Harizanov,
Frank Stephan:
On the learnability of vector spaces.
J. Comput. Syst. Sci. 73(1): 109-122 (2007) |
| 18 |  | Barbara F. Csima,
Valentina S. Harizanov,
Denis R. Hirschfeldt,
Robert I. Soare:
Bounding homogeneous models.
J. Symb. Log. 72(1): 305-323 (2007) |
| 17 |  | Valentina S. Harizanov,
Russel G. Miller:
Spectra of structures and relations.
J. Symb. Log. 72(1): 324-348 (2007) |
| 16 |  | John Chisholm,
Jennifer Chubb,
Valentina S. Harizanov,
Denis R. Hirschfeldt,
Carl G. Jockusch Jr.,
Timothy H. McNicholl,
Sarah Pingrey:
Pi10 classes and strong degree spectra of relations.
J. Symb. Log. 72(3): 1003-1018 (2007) |
| 2006 |
| 15 |  | Wesley Calvert,
Douglas Cenzer,
Valentina S. Harizanov,
Andrei S. Morozov:
Effective categoricity of equivalence structures.
Ann. Pure Appl. Logic 141(1-2): 61-78 (2006) |
| 2005 |
| 14 |  | Rumen D. Dimitrov,
Valentina S. Harizanov,
Andrei S. Morozov:
Dependence relations in computably rigid computable vector spaces.
Ann. Pure Appl. Logic 132(1): 97-108 (2005) |
| 13 |  | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy,
Russell Miller,
Reed Solomon:
Enumerations in computable structure theory.
Ann. Pure Appl. Logic 136(3): 219-246 (2005) |
| 2004 |
| 12 |  | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Richard A. Shore:
Pi11 relations and paths through.
J. Symb. Log. 69(2): 585-611 (2004) |
| 2003 |
| 11 |  | Valentina S. Harizanov:
Turing degrees of hypersimple relations on computable structures.
Ann. Pure Appl. Logic 121(2-3): 209-226 (2003) |
| 10 |  | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy:
Simple and immune relations on countable structures.
Arch. Math. Log. 42(3): 279-291 (2003) |
| 2002 |
| 9 |  | Valentina S. Harizanov,
Frank Stephan:
On the Learnability of Vector Spaces.
ALT 2002: 233-247 |
| 8 |  | Valentina S. Harizanov:
Computability-theoretic complexity of countable structures.
Bulletin of Symbolic Logic 8(3): 457-477 (2002) |
| 7 |  | Valentina S. Harizanov,
Julia F. Knight,
Andrei S. Morozov:
Sequences of n-Diagrams.
J. Symb. Log. 67(3): 1227-1247 (2002) |
| 1998 |
| 6 |  | Valentina S. Harizanov:
Turing Degrees of Certain Isomorphic Images of Computable Relations.
Ann. Pure Appl. Logic 93(1-3): 103-113 (1998) |
| 1996 |
| 5 |  | Valentina S. Harizanov:
Effectively and Noneffectively Nowhere Simple Sets.
Math. Log. Q. 42: 241-248 (1996) |
| 1993 |
| 4 |  | Valentina S. Harizanov:
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum.
Ann. Pure Appl. Logic 60(1): 1-30 (1993) |
| 1992 |
| 3 |  | Valentina S. Harizanov,
Martin Kummer,
James C. Owings:
Frequency Computations and the Cardinality Theorem.
J. Symb. Log. 57(2): 682-687 (1992) |
| 1991 |
| 2 |  | Valentina S. Harizanov:
Uncountable Degree Spectra.
Ann. Pure Appl. Logic 54(3): 255-263 (1991) |
| 1 |  | Valentina S. Harizanov:
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.
Ann. Pure Appl. Logic 55(1): 51-65 (1991) |