Logical hierarchies in PTIME L Hella Information and Computation 129 (1), 1-19, 1996 | 220 | 1996 |

Logics with aggregate operators L Hella, L Libkin, J Nurmonen, L Wong Journal of the ACM (JACM) 48 (4), 880-907, 2001 | 109 | 2001 |

Definability hierarchies of generalized quantifiers. LT Hella | 96 | 1990 |

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 | 77 | 1999 |

Inclusion logic and fixed point logic P Galliani, L Hella arXiv preprint arXiv:1304.4267, 2013 | 71 | 2013 |

Weak models of distributed computing, with connections to modal logic L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ... Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012 | 68 | 2012 |

Almost everywhere equivalence of logics in finite model theory L Hella, PG Kolaitis, K Luosto Bulletin of Symbolic Logic 2 (4), 422-443, 1996 | 68 | 1996 |

The expressive power of modal dependence logic L Hella, K Luosto, K Sano, J Virtema arXiv preprint arXiv:1406.6266, 2014 | 51 | 2014 |

The expressive power of finitely many generalized quantifiers A Dawar, L Hella Information and Computation 123 (2), 172-184, 1995 | 45 | 1995 |

Extended modal dependence logic J Ebbing, L Hella, A Meier, JS Müller, J Virtema, H Vollmer International Workshop on Logic, Language, Information, and Computation, 126-137, 2013 | 41 | 2013 |

How to define a linear order on finite models L Hella, PG Kolaitis, K Luosto Annals of pure and applied logic 87 (3), 241-267, 1997 | 40 | 1997 |

The expressive power of modal logic with inclusion atoms L Hella, J Stumpf arXiv preprint arXiv:1509.07204, 2015 | 30 | 2015 |

Definability of polyadic lifts of generalized quantifiers L Hella, J Väänänen, D Westerståhl Journal of Logic, Language and Information 6 (3), 305-335, 1997 | 30 | 1997 |

Partially ordered connectives and finite graphs L Hella, G Sandu Quantifiers: Logics, Models and Computation: Volume Two: Contributions, 79-88, 1995 | 30 | 1995 |

The hierarchy theorem for generalized quantifiers L Hella, K Luosto, J Väänänen The Journal of Symbolic Logic 61 (3), 802-817, 1996 | 29 | 1996 |

Implicit definability and infinitary logic in finite model theory A Dawar, L Hella, PG Kolaitis Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 …, 1995 | 28 | 1995 |

The expressive power of finitely many generalized quantifiers A Dawar, L Hella Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 20-29, 1994 | 28 | 1994 |

One-dimensional fragment of first-order logic L Hella, A Kuusisto arXiv preprint arXiv:1404.4004, 2014 | 27 | 2014 |

Computing queries with higher-order logics L Hella, JM Turull-Torres Theoretical Computer Science 355 (2), 197-214, 2006 | 25 | 2006 |

Model checking and validity in propositional and modal inclusion logics L Hella, A Kuusisto, A Meier, J Virtema Journal of Logic and Computation 29 (5), 605-630, 2019 | 22 | 2019 |