Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Vetenskapsgrenar
- 111 Matematik
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
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. (red.). Cham: Springer International Publishing, s. 125-142 18 s. ( Lecture Notes in Computer Science; vol. 13137).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Tractability Frontier of Data Complexity in Team Semantics
Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., jan. 2022, I: ACM Transactions on Computational Logic. 23, 1, s. 1-21 21 s., 3.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., mars 2021, I: Journal of Computer and System Sciences. 116, s. 40 - 54 15 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Virtema, J., Hofmann, J., Finkbeiner, B., Kontinen, J. & Yang, F., dec. 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Bojańczyk, M. & Chekuri, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 213. s. 52:1-52:17 17 s. 52. (LIPIcs; vol. 213).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
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. (red.). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Vol. 183. s. 27:1-27:22 22 s. (Leibniz International Proceedings in Informatics (LIPIcs)).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil
Projekter
- 8 Slutfört
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Projekt: Forskningsprojekt
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Projekt: Forskningsprojekt
-
-
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Projekt: Forskningsprojekt
-
Aktiviteter
-
The Twenty second International Workshop on Logic and Computational Complexity
Juha Kontinen (Ordförande för vetenskaplig kommitté)
feb. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022)
Juha Kontinen (Medlem i organisationskommitté)
jan. 2021 → juni 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
The 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)
Juha Kontinen (Medlem av vetenskaplig kommitté)
jan. 2021 → aug. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Jonni Virtema
Juha Kontinen (Värd)
6 dec. 2021 → 14 dec. 2021Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Jonni Virtema
Juha Kontinen (Värd)
8 aug. 2021 → 13 aug. 2021Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU