Vera Koponen

According to our database, Vera Koponen authored at least 19 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Asymptotic elimination of partially continuous aggregation functions in directed graphical models.

Vera Koponen, Felix Weitkämper

Inf. Comput., August, 2023

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers.

Vera Koponen, Felix Weitkämper

CoRR, 2023

2022

On the relative asymptotic expressivity of inference frameworks.

Vera Koponen, Felix Weitkämper

CoRR, 2022

2020

Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination.

Vera Koponen

Theor. Comput. Sci., 2020

2019

Supersimple <i>ω</i>-categorical theories and pregeometries.

Vera Koponen

Ann. Pure Appl. Log., 2019

2018

On Constraints and dividing in Ternary homogeneous Structures.

Vera Koponen

J. Symb. Log., 2018

Binary simple homogeneous structures.

Vera Koponen

Ann. Pure Appl. Log., 2018

2017

Homogeneous 1-based structures and interpretability in random structures.

Vera Koponen

Math. Log. Q., 2017

Random ℓ-colourable structures with a pregeometry.

Ove Ahlman, Vera Koponen

Math. Log. Q., 2017

Binary Primitive homogeneous Simple Structures.

Vera Koponen

J. Symb. Log., 2017

2015

On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.

Vera Koponen, Tapani Hyttinen

Stud Logica, 2015

Limit laws and automorphism groups of random nonrigid structures.

Ove Ahlman, Vera Koponen

J. Log. Anal., 2015

Typical automorphism groups of finite nonrigid structures.

Vera Koponen

Arch. Math. Log., 2015

2013

A limit law of almost l-partite graphs.

Vera Koponen

J. Symb. Log., 2013

2012

Random graphs with bounded maximum degree: asymptotic structure and a logical limit law.

Vera Koponen

Discret. Math. Theor. Comput. Sci., 2012

Asymptotic probabilities of extension properties and random l-colourable structures.

Vera Koponen

Ann. Pure Appl. Log., 2012

2011

Some connections between finite and infinite model theory.

Vera Koponen

Proceedings of the Finite and Algorithmic Model Theory., 2011

2009

Independence and the finite submodel property.

Vera Koponen

Ann. Pure Appl. Log., 2009

Entropy of formulas.

Vera Koponen

Arch. Math. Log., 2009