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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
The Expressive Power of CSP-Quantifiers
Hella, L., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). 25. (Leibniz International Proceedings in Informatics; vol. 252).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Bounded game-theoretic semantics for modal mu-calculus
Hella, L., Kuusisto, A. & Rönnholm, R., 2022, In: Information and Computation. 289, B, 19 p., 104882.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile12 Downloads (Pure) -
Complexity thresholds in inclusion logic
Hannula, M. & Hella, L., 2022, In: Information and Computation. 287, 104759.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile2 Downloads (Pure) -
Defining Long Words Succinctly in FO and MSO
Hella, L. & Vilander, M., 2022, Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings. Berger, U., Franklin, J. N. Y., Manea, F. & Pauly, A. (eds.). Springer, p. 125-138 14 p. (Lecture Notes in Computer Science; vol. 13359).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Independence-friendly logic without Henkin quantification
Barbero, F., Hella, L. & Rönnholm, R., 16 Jun 2021, In: Archive for Mathematical Logic.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile2 Downloads (Pure)
Activities
-
Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa
Lauri Hella (Examiner), Terhi Kaarakka (Examiner) & Ida Elina Viro (Examiner)
May 2020 → Nov 2020Activity: Evaluation, examination and supervision › Supervisor of master student
-
Tytti Kuokkanen: Osallistumisaktiivisuuden vaikutus oppimistuloksiin insinöörimatematiikan opintojaksoilla
Riikka Kangaslampi (Examiner), Jani Hirvonen (Examiner) & Lauri Hella (Examiner)
2020 → 2021Activity: Evaluation, examination and supervision › Supervisor of master student
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
13 Nov 2017 → 18 Nov 2017Activity: Visiting an external institution › Visit abroad
-
Computer Science Logic 2017 (CSL 2017) (Event)
Lauri Hella (Reviewer)
20 Aug 2017 → 24 Aug 2017Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
8 Nov 2015 → 14 Nov 2015Activity: Visiting an external institution › Visit abroad