Regular Relations and the Quantifier "There Exist uncountably Many". - Zarko Mijajlovic; Valentina S. Harizanov (Math. Log. Q., 1983)

Uncountable Degree Spectra. - Valentina S. Harizanov (Ann. Pure Appl. Log., 1991)

Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. - Valentina S. Harizanov (Ann. Pure Appl. Log., 1991)

Frequency Computations and the Cardinality Theorem. - Valentina S. Harizanov; Martin Kummer; James C. Owings (J. Symb. Log., 1992)

The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. - Valentina S. Harizanov (Ann. Pure Appl. Log., 1993)

Effectively and Noneffectively Nowhere Simple Sets. - Valentina S. Harizanov (Math. Log. Q., 1996)

Turing Degrees of Certain Isomorphic Images of Computable Relations. - Valentina S. Harizanov (Ann. Pure Appl. Log., 1998)

Computability-theoretic complexity of countable structures. - Valentina S. Harizanov (Bull. Symb. Log., 2002)

Sequences of n-Diagrams. - Valentina S. Harizanov; Julia F. Knight; Andrei S. Morozov (J. Symb. Log., 2002)

Simple and immune relations on countable structures. - Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy (Arch. Math. Log., 2003)

Turing degrees of hypersimple relations on computable structures. - Valentina S. Harizanov (Ann. Pure Appl. Log., 2003)

Pi11 relations and paths through. - Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Richard A. Shore (J. Symb. Log., 2004)

Dependence relations in computably rigid computable vector spaces. - Rumen D. Dimitrov; Valentina S. Harizanov; Andrei S. Morozov (Ann. Pure Appl. Log., 2005)

Enumerations in computable structure theory. - Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Russell G. Miller; Reed Solomon (Ann. Pure Appl. Log., 2005)

Effective categoricity of equivalence structures. - Wesley Calvert; Douglas Cenzer; Valentina S. Harizanov; Andrei S. Morozov (Ann. Pure Appl. Log., 2006)

On the learnability of vector spaces. - Valentina S. Harizanov; Frank Stephan 001 (J. Comput. Syst. Sci., 2007)

Π10 classes and strong degree spectra of relations. - John Chisholm; Jennifer Chubb; Valentina S. Harizanov; Denis R. Hirschfeldt; Carl G. Jockusch Jr.; Timothy H. McNicholl; Sarah Pingrey (J. Symb. Log., 2007)

Bounding homogeneous models. - Barbara F. Csima; Valentina S. Harizanov; Denis R. Hirschfeldt; Robert I. Soare (J. Symb. Log., 2007)

Spectra of structures and relations. - Valentina S. Harizanov; Russell G. Miller (J. Symb. Log., 2007)

Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures. - Valentina S. Harizanov (Induction, Algorithmic Learning Theory, and Philosophy, 2007)

Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory. - Valentina S. Harizanov; Norma B. Goethe; Michèle Friend (Induction, Algorithmic Learning Theory, and Philosophy, 2007)

Partial automorphism semigroups. - Jennifer Chubb; Valentina S. Harizanov; Andrei S. Morozov; Sarah Pingrey; Eric Ufferman (Ann. Pure Appl. Log., 2008)

S01 and P01 Equivalence Structures. - Douglas A. Cenzer; Valentina S. Harizanov; Jeffrey B. Remmel (CiE, 2009)

Preface. - Douglas A. Cenzer; Valentina S. Harizanov; David Marker; Carol Wood (Arch. Math. Log., 2009)

Degree spectra of the successor relation of computable linear orderings. - Jennifer Chubb; Andrey N. Frolov; Valentina S. Harizanov (Arch. Math. Log., 2009)

Chains and antichains in partial orderings. - Valentina S. Harizanov; Carl G. Jockusch Jr.; Julia F. Knight (Arch. Math. Log., 2009)

Effective categoricity of Abelian p-groups. - Wesley Calvert; Douglas A. Cenzer; Valentina S. Harizanov; Andrei S. Morozov (Ann. Pure Appl. Log., 2009)

Intrinsic bounds on complexity and definability at limit levels. - John Chisholm; Ekaterina B. Fokina; Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Sara Quinn (J. Symb. Log., 2009)

Spaces of orders and their Turing degree spectra. - Malgorzata A. Dabkowska; Mieczyslaw K. Dabkowski; Valentina S. Harizanov; Amir A. Togha (Ann. Pure Appl. Log., 2010)

Effective Categoricity of Injection Structures. - Douglas Cenzer; Valentina S. Harizanov; Jeffrey B. Remmel (CiE, 2011)

Σ01 and Π01 equivalence structures. - Douglas Cenzer; Valentina S. Harizanov; Jeffrey B. Remmel (Ann. Pure Appl. Log., 2011)

Computability of Fraïssé limits. - Barbara F. Csima; Valentina S. Harizanov; Russell G. Miller; Antonio Montalbán (J. Symb. Log., 2011)

Isomorphism relations on computable structures. - Ekaterina B. Fokina; Sy-David Friedman; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Antonio Montalbán (J. Symb. Log., 2012)

Spectra of highn and non-lown degrees. - Andrey N. Frolov; Iskander Sh. Kalimullin; Valentina S. Harizanov; Oleg V. Kudinov; Russell G. Miller (J. Log. Comput., 2012)

Two-to-one structures. - Douglas Cenzer; Valentina S. Harizanov; Jeffrey B. Remmel (J. Log. Comput., 2013)

Computable model theory. - Ekaterina B. Fokina; Valentina S. Harizanov; Alexander G. Melnikov (Turing's Legacy, 2014)

Isomorphisms of Non-Standard Fields and Ash's Conjecture. - Rumen D. Dimitrov; Valentina S. Harizanov; Russell G. Miller; K. J. Mourad (CiE, 2014)

Turing Degrees of Isomorphism Types of Geometric Objects. - Wesley Calvert; Valentina S. Harizanov; Alexandra Shlapentokh (Comput., 2014)

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. - Rumen D. Dimitrov; Valentina S. Harizanov; Andrei S. Morozov (CiE, 2016)

The Lattice of Computably Enumerable Vector Spaces. - Rumen D. Dimitrov; Valentina S. Harizanov (Computability and Complexity, 2017)

Strong jump inversion. - Wesley Calvert; Andrey N. Frolov; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Alexandra A. Soskova; Stefan V. Vatev (J. Log. Comput., 2018)

Computability-theoretic categoricity and Scott families. - Ekaterina B. Fokina; Valentina S. Harizanov; Daniel Turetsky (Ann. Pure Appl. Log., 2019)

On the isomorphism problem for some classes of computable algebraic structures. - Valentina S. Harizanov; Steffen Lempp; Charles F. D. McCoy; Andrei S. Morozov; Reed Solomon (Arch. Math. Log., 2022)

Generically and coarsely computable isomorphisms. - Wesley Calvert; Douglas Cenzer; Valentina S. Harizanov (Comput., 2022)

Interpreting a field in its Heisenberg Group. - Rachael Alvir; Wesley Calvert; Grant Goodman; Valentina S. Harizanov; Julia F. Knight; Russell G. Miller; Andrey S. Morozov; Alexandra A. Soskova; Rose Weisshaar (J. Symb. Log., 2022)

Densely computable structures. - Wesley Calvert; Douglas Cenzer; Valentina S. Harizanov (J. Log. Comput., 2022)

Generically Computable Abelian Groups. - Wesley Calvert; Douglas Cenzer; Valentina S. Harizanov (UCNC, 2023)

On Cohesive powers of linear Orders. - Rumen D. Dimitrov; Valentina S. Harizanov; Andrei S. Morozov; Paul Shafer; Alexandra A. Soskova; Stefan V. Vatev (J. Symb. Log., 2023)

In Memory of Martin Davis. - Wesley Calvert; Valentina S. Harizanov; Eugenio G. Omodeo; Alberto Policriti; Alexandra Shlapentokh (CoRR, 2024)

Cohesive powers of structures. - Valentina S. Harizanov; Keshav Srinivasan (Arch. Math. Log., 2024)

Generically computable linear orderings. - Wesley Calvert; Douglas Cenzer; David Gonzalez; Valentina S. Harizanov (Ann. Pure Appl. Log., 2025)