Deciding Semantic Matching of Stateless Services. - Duncan Hull; Evgeny Zolin; Andrey Bovykin; Ian Horrocks 001; Ulrike Sattler; Robert Stevens 001 (AAAI, 2006)

Resplendent models and S11{ Sigma_1^1} -definability with an oracle. - Andrey Bovykin (Arch. Math. Log., 2008)

Exact unprovability results for compound well-quasi-ordered combinatorial classes. - Andrey Bovykin (Ann. Pure Appl. Log., 2009)

Unprovability threshold for the planar graph minor theorem. - Andrey Bovykin (Ann. Pure Appl. Log., 2010)

The strength of infinitary Ramseyan principles can be accessed by their densities. - Andrey Bovykin; Andreas Weiermann (Ann. Pure Appl. Log., 2017)

A Glimpse at Polynomials with Quantifiers. - Andrey Bovykin; Michiel De Smet (FLAP, 2017)