| 2001 |
|---|
| 8 | EE | Lauri Hella,
Leonid Libkin,
Juha Nurmonen,
Limsoon Wong:
Logics with aggregate operators.
J. ACM 48(4): 880-907 (2001) |
| 2000 |
|---|
| 7 | EE | Lauri Hella,
Juha Nurmonen:
Vectorization hierarchies of some graph quantifiers.
Arch. Math. Log. 39(3): 183-207 (2000) |
| 6 | | Juha Nurmonen:
Counting Modulo Quantifiers on Finite Structures.
Inf. Comput. 160(1-2): 62-87 (2000) |
| 1999 |
|---|
| 5 | EE | Lauri Hella,
Leonid Libkin,
Juha Nurmonen,
Limsoon Wong:
Logics with Aggregate Operators.
LICS 1999: 35-44 |
| 4 | | Lauri Hella,
Leonid Libkin,
Juha Nurmonen:
Notions of Locality and Their Logical Characterizations over Finite Models.
J. Symb. Log. 64(4): 1751-1773 (1999) |
| 1997 |
|---|
| 3 | EE | Leonid Libkin,
Juha Nurmonen:
Counting and Locality over Finite Structures: A Survey.
ESSLLI 1997: 18-50 |
| 1996 |
|---|
| 2 | | Juha Nurmonen:
Counting Modulo Quantifiers on Finite Linearly Ordered Trees.
LICS 1996: 484-493 |
| 1 | | Juha Nurmonen:
On Winning Strategies with Unary Quantifiers.
J. Log. Comput. 6(6): 779-798 (1996) |
