Quasimaximality and principal filters isomorphism between. - Rumen D. Dimitrov (Arch. Math. Log., 2004)

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

A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{ ast}(Vinfinity). - Rumen D. Dimitrov (Arch. Math. Log., 2008)

Isomorphisms of Non-Standard Fields and Ash's Conjecture. - Rumen D. Dimitrov; Valentina S. Harizanov; Russell G. Miller; K. J. Mourad (CiE, 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)

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)