Vera Koponen
According to our database1,
Vera Koponen
authored at least 20 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
2023
Asymptotic elimination of partially continuous aggregation functions in directed graphical models.
Inf. Comput., August, 2023
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers.
CoRR, 2023
2020
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination.
Theor. Comput. Sci., 2020
2019
Ann. Pure Appl. Log., 2019
2018
2017
Math. Log. Q., 2017
2015
Stud Logica, 2015
J. Log. Anal., 2015
2013
2012
Random graphs with bounded maximum degree: asymptotic structure and a logical limit law.
Discret. Math. Theor. Comput. Sci., 2012
Ann. Pure Appl. Log., 2012
2011
Some connections between finite and infinite model theory.
Proceedings of the Finite and Algorithmic Model Theory., 2011
2009