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
-
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., Jan 2025, (E-pub ahead of print) In: JOURNAL OF LOGIC AND COMPUTATION. exae087.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 AccessFile3 Downloads (Pure) -
Dimension in team semantics
Hella, L., Luosto, K. & Väänänen, J., 2024, (E-pub ahead of print) In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile63 Downloads (Pure) -
Game characterizations for the number of quantifiers
Hella, L. & Luosto, K., 2024, (E-pub ahead of print) In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)21 Downloads (Pure) -
Quantifiers Closed Under Partial Polymorphisms
Dawar, A. & Hella, L., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile10 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