Juha Nurmonen
Juha Nurmonen
Senior lecturer, HAAGA-HELIA University of Applied Sciences
Verified email at haaga-helia.fi - Homepage
Title
Cited by
Cited by
Year
Logics with aggregate operators
L Hella, L Libkin, J Nurmonen, L Wong
Journal of the ACM (JACM) 48 (4), 880-907, 2001
792001
Notions of locality and their logical characterizations over finite models
L Hella, L Libkin, J Nurmonen
The Journal of Symbolic Logic 64 (4), 1751-1773, 1999
641999
On winning strategies with unary quantifiers
J Nurmonen
Journal of Logic and Computation 6 (6), 779-798, 1996
451996
Counting modulo quantifiers on finite structures
J Nurmonen
Information and Computation 160 (1-2), 62-87, 2000
382000
WebALT Metadata= LOM+ CCD
J Karhima, J Nurmonen, M Pauna
1st WebALT conference and Exhibition, 127-140, 2006
102006
Counting and locality over finite structures A survey
L Libkin, J Nurmonen
European Summer School in Logic, Language and Information, 18-50, 1997
101997
Unary quantifiers and finite structures
J Nurmonen
Tummavouoren Kirjapaino Oy, 1996
71996
Notions of locality and their logical characterizations over finite models
L Hella, L Libkin, J Nurmonen
31997
Counting module quantifiers on finite linearly ordered trees
J Nurmonen
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 484-493, 1996
31996
Counting module quantifiers on finite linearly ordered trees
J Nurmonen
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 484-493, 1996
31996
Vectorization hierarchies of some graph quantifiers
L Hella, J Nurmonen
Archive for Mathematical Logic 39 (3), 183-207, 2000
22000
Counting and Locality over Finite Structures
L Libkin, J Nurmonen
Generalized Quantifiers and Computation, 18, 2003
2003
doi: 10.1006 ┬inco. 2000.2903, available online at http: ┬┬www. idealibrary. com on
PA Abdulla, R Alur, A Edalat, K Etessami, B Jonsson, G McCusker, ...
Information and Computation 160, 189, 2000
2000
Hop, J. 448
M Abadi, I Abdulla, T Altenkirch, D Aspinall, D Basin, M Benedikt, ...
Lauri Hella University of Helsinki and Leonid Libkin University of Toronto and Bell Labs
J Nurmonen, L Wong
Hop, J. 448
M Abadi, I Abdulla, T Altenkirch, D Aspinall, D Basin, M Benedikt, ...
The system can't perform the operation now. Try again later.
Articles 1–16