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
-
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., maaliskuuta 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., 2021, (Hyväksytty/In press) Proceedings of FSTTCS 2021.Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open access -
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 -
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
Kontinen, J. & Sandström, M., 2021, Proceedings of WoLLIC 2021. Springer (LNCS)Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Tractability Frontier of Data Complexity in Team Semantics
Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., 2021, (Hyväksytty/In press) julkaisussa: ACM Transactions on Computational Logic.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
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)
helmikuuta 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Juha Kontinen (Tieteellisen komitean jäsen)
tammikuuta 2021 → helmikuuta 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)
tammikuuta 2021 → kesäkuuta 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)
tammikuuta 2021 → elokuuta 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Member of the doctoral thesis committee of Martin Lück
Juha Kontinen (Vastaväittäjä)
9 tammikuuta 2020Aktiviteetti: Tutkimustyypit › Vastaväittäjä