1. Finite Relation Algebras;The Journal of Symbolic Logic;2021-10-19
2. Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Two first-order logics of permutations;Journal of Combinatorial Theory, Series A;2020-04
4. DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS;The Journal of Symbolic Logic;2019-08-19
5. Logical limit laws for minor-closed classes of graphs;Journal of Combinatorial Theory, Series B;2018-05