Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 111 Matematiikka
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Julkaisut
-
A Parameterized View on the Complexity of Dependence Logic
Kontinen, J., Meier, A. & Mahmood, Y., 2022, Logical Foundations of Computer Science: International Symposium, LFCS 2022, Proceedings. Artemov, S. & Nerode, A. (toim.). Cham: Springer International Publishing, s. 125-142 18 Sivumäärä ( Lecture Notes in Computer Science; Vuosikerta 13137).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Tractability Frontier of Data Complexity in Team Semantics
Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., tammik. 2022, julkaisussa: ACM Transactions on Computational Logic. 23, 1, s. 1-21 21 Sivumäärä, 3.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., maalisk. 2021, julkaisussa: Journal of Computer and System Sciences. 116, s. 40 - 54 15 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Virtema, J., Hofmann, J., Finkbeiner, B., Kontinen, J. & Yang, F., jouluk. 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Bojańczyk, M. & Chekuri, C. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vuosikerta 213. s. 52:1-52:17 17 Sivumäärä 52. (LIPIcs; Vuosikerta 213).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (toim.). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Vuosikerta 183. s. 27:1-27:22 22 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs)).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Projektit
- 8 Päättynyt
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Projekti: Tutkimusprojekti
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Projekti: Tutkimusprojekti
-
-
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Projekti: Tutkimusprojekti
-
Aktiviteetit
-
The Twenty second International Workshop on Logic and Computational Complexity
Juha Kontinen (Tieteellisen komitean puheenjohtaja)
helmik. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022)
Juha Kontinen (Järjestäjätoimikunnan jäsen)
tammik. 2021 → kesäk. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
The 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)
Juha Kontinen (Tieteellisen komitean jäsen)
tammik. 2021 → elok. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Jonni Virtema
Juha Kontinen (Isäntä)
6 jouluk. 2021 → 14 jouluk. 2021Aktiviteetti: Vierailijan isännöinnin tyypit › Isännöity akateeminen vierailu Helsingin yliopistossa
-
Jonni Virtema
Juha Kontinen (Isäntä)
8 elok. 2021 → 13 elok. 2021Aktiviteetti: Vierailijan isännöinnin tyypit › Isännöity akateeminen vierailu Helsingin yliopistossa