Counting Modulo Quantifiers on Finite Linearly Ordered Trees. - Juha Nurmonen (LICS, 1996)

On Winning Strategies with Unary Quantifiers. - Juha Nurmonen (J. Log. Comput., 1996)

Counting and Locality over Finite Structures: A Survey. - Leonid Libkin; Juha Nurmonen (ESSLLI, 1997)

Notions of Locality and Their Logical Characterizations over Finite Models. - Lauri Hella; Leonid Libkin; Juha Nurmonen (J. Symb. Log., 1999)

Vectorization hierarchies of some graph quantifiers. - Lauri Hella; Juha Nurmonen (Arch. Math. Log., 2000)

Counting Modulo Quantifiers on Finite Structures. - Juha Nurmonen (Inf. Comput., 2000)

Logics with aggregate operators. - Lauri Hella; Leonid Libkin; Juha Nurmonen; Limsoon Wong (J. ACM, 2001)