Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Lauri Hella on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
Valmari, A. & Hella, L., 2023, julkaisussa: NOTRE DAME JOURNAL OF FORMAL LOGIC. 64, 1, s. 61-93 33 SivumääräTutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
-
The Expressive Power of CSP-Quantifiers
Hella, L., 1 helmik. 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (toim.). 25. (Leibniz International Proceedings in Informatics; Vuosikerta 252).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Open accessTiedosto -
Bounded game-theoretic semantics for modal mu-calculus
Hella, L., Kuusisto, A. & Rönnholm, R., 2022, julkaisussa: Information and Computation. 289, B, 19 Sivumäärä, 104882.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto15 Lataukset (Pure) -
Complexity thresholds in inclusion logic
Hannula, M. & Hella, L., 2022, julkaisussa: Information and Computation. 287, 104759.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto4 Lataukset (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. (toim.). Springer, s. 125-138 14 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13359).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa
Lauri Hella (Examiner), Terhi Kaarakka (Examiner) & Ida Elina Viro (Examiner)
toukok. 2020 → marrask. 2020Aktiviteetti: Maisteriopiskelijoiden ohjaaminen
-
Tytti Kuokkanen: Osallistumisaktiivisuuden vaikutus oppimistuloksiin insinöörimatematiikan opintojaksoilla
Riikka Kangaslampi (Examiner), Jani Hirvonen (Examiner) & Lauri Hella (Examiner)
2020 → 2021Aktiviteetti: Maisteriopiskelijoiden ohjaaminen
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
13 marrask. 2017 → 18 marrask. 2017Aktiviteetti: Vierailu ulkomaille
-
Computer Science Logic 2017 (CSL 2017) (Tapahtuma)
Lauri Hella (Arvioija)
20 elok. 2017 → 24 elok. 2017Aktiviteetti: Konferenssiartikkeleiden refereenä toimiminen
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
8 marrask. 2015 → 14 marrask. 2015Aktiviteetti: Vierailu ulkomaille