Research output per year
Research output per year
Fingerprint
Dive into the research topics where Lauri Hella is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms
Dawar, A., Hella, L. & Pago, B., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026. Guerrini, S. & Konig, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 9:1-9:17 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile1 Downloads (Pure) -
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., 2025, In: Journal of Logic and Computation. 35, 5, exae087.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)34 Downloads (Pure) -
Regular Representations of Uniform TC0
Hella, L., Kontinen, J. & Luosto, K., 1 Sept 2025, In: ACM Transactions on Computational Logic. 26, 4, 21.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile6 Downloads (Pure) -
Defining long words succinctly in FO and MSO
Hella, L. & Vilander, M., 28 Nov 2024, In: Computability. 13, 3-4, p. 377-398 22 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile30 Downloads (Pure) -
Dimension in team semantics
Hella, L., Luosto, K. & Väänänen, J., 2024, In: Mathematical Structures in Computer Science. 34, 5, p. 410-454Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Citations (Scopus)141 Downloads (Pure)
Activities
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
3 Oct 2022 → 29 Nov 2022Activity: Visiting an external institution › Visit abroad
-
University of Cambridge, Computer Laboratory
Hella, L. (Visitor)
25 Sept 2022 → 30 Sept 2022Activity: Visiting an external institution › Visit abroad
-
30 Years of Finite Model Theory in Finland
Hella, L. (Chair)
1 Sept 2021 → 31 Aug 2022Activity: Participating in or organising an event › Membership of an organizing committee of a conference or seminar
-
Annual Symposium on Logic in Computer Science, LICS 2021
Hella, L. (Chair)
1 Jun 2020 → 31 Jul 2021Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa
Hella, L. (Examiner), Kaarakka, T. (Examiner) & Viro, I. E. (Examiner)
May 2020 → Nov 2020Activity: Evaluation, examination and supervision › Supervisor of master student