Entropy of formulas. - Vera Koponen (Arch. Math. Log., 2009)

Independence and the finite submodel property. - Vera Koponen (Ann. Pure Appl. Log., 2009)

Some connections between finite and infinite model theory. - Vera Koponen (Finite and Algorithmic Model Theory, 2011)

Asymptotic probabilities of extension properties and random l-colourable structures. - Vera Koponen (Ann. Pure Appl. Log., 2012)

Random graphs with bounded maximum degree: asymptotic structure and a logical limit law. - Vera Koponen (Discret. Math. Theor. Comput. Sci., 2012)

A limit law of almost l-partite graphs. - Vera Koponen (J. Symb. Log., 2013)

Typical automorphism groups of finite nonrigid structures. - Vera Koponen (Arch. Math. Log., 2015)

Limit laws and automorphism groups of random nonrigid structures. - Ove Ahlman; Vera Koponen (J. Log. Anal., 2015)

On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. - Vera Koponen; Tapani Hyttinen (Stud Logica, 2015)

Binary Primitive homogeneous Simple Structures. - Vera Koponen (J. Symb. Log., 2017)

Random ℓ-colourable structures with a pregeometry. - Ove Ahlman; Vera Koponen (Math. Log. Q., 2017)

Homogeneous 1-based structures and interpretability in random structures. - Vera Koponen (Math. Log. Q., 2017)

Binary simple homogeneous structures. - Vera Koponen (Ann. Pure Appl. Log., 2018)

On Constraints and dividing in Ternary homogeneous Structures. - Vera Koponen (J. Symb. Log., 2018)

Supersimple ω-categorical theories and pregeometries. - Vera Koponen (Ann. Pure Appl. Log., 2019)

Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. - Vera Koponen (Theor. Comput. Sci., 2020)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers. - Vera Koponen; Felix Weitkämper (CoRR, 2023)

Asymptotic elimination of partially continuous aggregation functions in directed graphical models. - Vera Koponen; Felix Weitkämper (Inf. Comput., 2023)

On the relative asymptotic expressivity of inference frameworks. - Vera Koponen; Felix Weitkämper (Log. Methods Comput. Sci., 2024)

Convergence Laws for Expansions of Linear Preorders. - Vera Koponen; Edward Karlsson (WoLLIC, 2025)

Random expansions of trees with bounded height. - Vera Koponen; Yasmin Tousinejad (Theor. Comput. Sci., 2025)

A convergence law for continuous logic and continuous structures with finite domains. - Vera Koponen (CoRR, 2025)