| Logics with aggregate operators L Hella, L Libkin, J Nurmonen, L Wong Journal of the ACM (JACM) 48 (4), 880-907, 2001 | 113 | 2001 |
| 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 | 81 | 1999 |
| On winning strategies with unary quantifiers J Nurmonen Journal of Logic and Computation 6 (6), 779-798, 1996 | 48 | 1996 |
| Counting modulo quantifiers on finite structures J Nurmonen Information and Computation 160 (1-2), 62-87, 2000 | 46 | 2000 |
| WebALT Metadata= LOM+ CCD J Karhima, J Nurmonen, M Pauna 1st WebALT conference and Exhibition, 127-140, 2006 | 10 | 2006 |
| Counting and locality over finite structures a survey L Libkin, J Nurmonen European Summer School in Logic, Language and Information, 18-50, 1997 | 10 | 1997 |
| Unary quantiifers and finite structures J Nurmonen | 7 | 1996 |
| Vectorization hierarchies of some graph quantifiers L Hella, J Nurmonen Archive for Mathematical Logic 39 (3), 183-207, 2000 | 3 | 2000 |
| Counting module quantifiers on finite linearly ordered trees J Nurmonen Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 484-493, 1996 | 3 | 1996 |
| Counting and Locality over Finite Structures L Libkin, J Nurmonen Generalized Quantifiers and Computation: 9th European Summer School in Logic …, 2003 | | 2003 |
| P vs. NP-kysymys ratkaisun keksimisestä ja sen tarkistamisesta J Nurmonen Arkhimedes 6, 8-11, 2001 | | 2001 |
| 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 |
| Notions of locality and their logical characterizations over finite models L Hella, L Libkin, J Nurmonen | | 1997 |
| 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, ... | | |
Leonid LibkinProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
