Decidability of the Clark's completion semantics for monadic programs and queries. - Levon Haykazyan (Theory Pract. Log. Program., 2015)

Categoricity in quasiminimal Pregeometry Classes. - Levon Haykazyan (J. Symb. Log., 2016)

Constructing quasiminimal structures. - Levon Haykazyan (Math. Log. Q., 2017)

Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. - Levon Haykazyan; Rahim Moosa (Ann. Pure Appl. Log., 2018)

Spaces of Types in positive Model Theory. - Levon Haykazyan (J. Symb. Log., 2019)