Vera Koponen

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 11

Top Topics

Quantifier Elimination

Directed Graphical Models

Cardinality Constraints

Aggregation Functions

Top Venues

Ann. Pure Appl. Log.

Publications

Vera Koponen, Felix Weitkämper
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers. CoRR (2023)
Vera Koponen, Felix Weitkämper
Asymptotic elimination of partially continuous aggregation functions in directed graphical models. Inf. Comput. 293 (2023)
Vera Koponen, Felix Weitkämper
On the relative asymptotic expressivity of inference frameworks. CoRR (2022)
Vera Koponen, Felix Weitkämper
Asymptotic elimination of partially continuous aggregation functions in directed graphical models. CoRR (2021)
Vera Koponen
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. Theor. Comput. Sci. 848 (2020)
Vera Koponen
-categorical theories and pregeometries. Ann. Pure Appl. Log. 170 (12) (2019)
Vera Koponen
Binary simple homogeneous structures. Ann. Pure Appl. Log. 169 (12) (2018)
Vera Koponen
On Constraints and dividing in Ternary homogeneous Structures. J. Symb. Log. 83 (4) (2018)
Vera Koponen
Homogeneous 1-based structures and interpretability in random structures. Math. Log. Q. 63 (1-2) (2017)
Ove Ahlman, Vera Koponen
Random ℓ-colourable structures with a pregeometry. Math. Log. Q. 63 (1-2) (2017)
Vera Koponen
Binary Primitive homogeneous Simple Structures. J. Symb. Log. 82 (1) (2017)
Vera Koponen, Tapani Hyttinen
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. Stud Logica 103 (1) (2015)
Ove Ahlman, Vera Koponen
Limit laws and automorphism groups of random nonrigid structures. J. Log. Anal. 7 (2015)
Vera Koponen
Typical automorphism groups of finite nonrigid structures. Arch. Math. Log. 54 (5-6) (2015)
Vera Koponen
A limit law of almost l-partite graphs. J. Symb. Log. 78 (3) (2013)
Vera Koponen
Random graphs with bounded maximum degree: asymptotic structure and a logical limit law. Discret. Math. Theor. Comput. Sci. 14 (2) (2012)
Vera Koponen
Asymptotic probabilities of extension properties and random l-colourable structures. Ann. Pure Appl. Log. 163 (4) (2012)
Vera Koponen
Entropy of formulas. Arch. Math. Log. 48 (6) (2009)
Vera Koponen
Independence and the finite submodel property. Ann. Pure Appl. Log. 158 (1-2) (2009)