Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Vetenskapsgrenar
- 111 Matematik
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., mar 2021, I: Journal of Computer and System Sciences. 116, s. 40 - 54 15 s.Forskningsoutput: Tidskriftsbidrag › Artikel › 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 -
Complete logics for elementary team properties
Kontinen, J. & Yang, F., 2020, (Insänt) I: arXiv.org .Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Descriptive complexity of real computation and probabilistic independence logic
Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., jul 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, s. 550–563 14 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
Herzig, A. (red.) & Kontinen, J. (red.), 2020, Springer. 333 s. (Lecture Notes in Computer Science)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review
-
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
-
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Juha Kontinen (Medlem av vetenskaplig kommitté)
jan 2021 → 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 → jun 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
-
Member of the doctoral thesis committee of Martin Lück
Juha Kontinen (Opponent)
9 jan 2020Aktivitet: Examinationstyper › Opponent i doktorsavhandling
-
PhD supervisor of Max Sandström
Juha Kontinen (Handledare)
feb 2020 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling