Vera Koponen - RankMe

29 papers C 1Journal 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A convergence law for continuous logic and continuous structures with finite domains. Inf. Comput. Vera Koponen
2026	J	`jnl`	A general approach to asymptotic elimination of aggregation functions and generalized quantifiers. Arch. Math. Log. Vera Koponen, Felix Weitkämper
2026	J	`jnl`	Random expansions of finite structures with bounded degree. Ann. Pure Appl. Log. Vera Koponen
2025	J	`jnl`	A convergence law for continuous logic and continuous structures with finite domains. CoRR Vera Koponen
2025	C	`conf`	Convergence Laws for Expansions of Linear Preorders. WoLLIC Vera Koponen, Edward Karlsson
2025	J	`jnl`	Domain size asymptotics for Markov logic networks. CoRR Vera Koponen
2025	J	`jnl`	Random expansions of trees with bounded height. Theor. Comput. Sci. Vera Koponen, Yasmin Tousinejad
2024	J	`jnl`	On the relative asymptotic expressivity of inference frameworks. Log. Methods Comput. Sci. Vera Koponen, Felix Weitkämper
2024	J	`jnl`	Random expansions of trees with bounded height. CoRR Vera Koponen, Yasmin Tousinejad
2023	J	`jnl`	A general approach to asymptotic elimination of aggregation functions and generalized quantifiers. CoRR Vera Koponen, Felix Weitkämper
2023	J	`jnl`	Asymptotic elimination of partially continuous aggregation functions in directed graphical models. Inf. Comput. Vera Koponen, Felix Weitkämper
2022	J	`jnl`	On the relative asymptotic expressivity of inference frameworks. CoRR Vera Koponen, Felix Weitkämper
2021	J	`jnl`	Asymptotic elimination of partially continuous aggregation functions in directed graphical models. CoRR Vera Koponen, Felix Weitkämper
2020	J	`jnl`	Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. Theor. Comput. Sci. Vera Koponen
2019	J	`jnl`	Supersimple Ann. Pure Appl. Log. Vera Koponen
2018	J	`jnl`	Binary simple homogeneous structures. Ann. Pure Appl. Log. Vera Koponen
2018	J	`jnl`	On Constraints and dividing in Ternary homogeneous Structures. J. Symb. Log. Vera Koponen
2017	J	`jnl`	Binary Primitive homogeneous Simple Structures. J. Symb. Log. Vera Koponen
2017	J	`jnl`	Homogeneous 1-based structures and interpretability in random structures. Math. Log. Q. Vera Koponen
2017	J	`jnl`	Random ℓ-colourable structures with a pregeometry. Math. Log. Q. Ove Ahlman, Vera Koponen
2015	J	`jnl`	Limit laws and automorphism groups of random nonrigid structures. J. Log. Anal. Ove Ahlman, Vera Koponen
2015	J	`jnl`	On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. Stud Logica Vera Koponen, Tapani Hyttinen
2015	J	`jnl`	Typical automorphism groups of finite nonrigid structures. Arch. Math. Log. Vera Koponen
2013	J	`jnl`	A limit law of almost l-partite graphs. J. Symb. Log. Vera Koponen
2012	J	`jnl`	Asymptotic probabilities of extension properties and random l-colourable structures. Ann. Pure Appl. Log. Vera Koponen
2012	J	`jnl`	Random graphs with bounded maximum degree: asymptotic structure and a logical limit law. Discret. Math. Theor. Comput. Sci. Vera Koponen
2011	—	`ch.`	Some connections between finite and infinite model theory. Finite and Algorithmic Model Theory Vera Koponen
2009	J	`jnl`	Entropy of formulas. Arch. Math. Log. Vera Koponen
2009	J	`jnl`	Independence and the finite submodel property. Ann. Pure Appl. Log. Vera Koponen