Research output per year
Research output per year
Personal profile
Fields of Science
- 111 Mathematics
Supervisor for doctoral programme
- Doctoral Programme in Science
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Anttila, A., Kontinen, J. & Yang, F., 2026, (Accepted/In press) Proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026). Springer (LNCS)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Counting of Teams in First-Order Team Logics
Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Jan 2026, In: ACM Transactions on Computational Logic. 27, 1, p. 1-22 22 p., 5.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Expressivity of asynchronous TeamLTL and HyperLTL
Kontinen, J. A., Sandström, M. J. & Virtema, J., 26 May 2026, In: Acta Informatica. 63, 2, 21 p., 18.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Independence Under Incomplete Information
Hannula, M., Hirvonen, M., Kontinen, J. & Link, S., 2026, (Accepted/In press) Proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026). Springer (LNCS)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
Kontinen, J. A. & Ciardelli, I., 29 Jun 2026, Proceedings of the Sixteenth International Conference on Advances in Modal Logic (AiML 2026). p. 552-566 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 447).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
-
Characterizing Complexity via Algebra an
Kontinen, J. (Project manager)
01/02/2025 → 31/07/2027
Project: Foundations (Private Foundations, Non-Profit Foundations, Charitable Trusts)
-
Logic and Computation over Semirings
Kontinen, J. (Project manager)
01/09/2026 → 31/08/2030
Project: Research Council of Finland: Academy Project
-
Applications and complexity of logics in semiring team semantics
Kontinen, J. (Project manager)
Suomen Akatemia Projektilaskutus
01/03/2024 → 28/02/2026
Project: Research Council of Finland: Researcher mobility abroad
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
Kontinen, J. (Project manager)
01/09/2017 → 31/08/2021
Project: Research project
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
Kontinen, J. (Project manager)
20/01/2017 → 31/12/2018
Project: Research project
Activities
-
Descriptive Complexity of Boolean and Algebraic Complexity Classes
Kontinen, J. (Keynote speaker)
10 Jan 2026Activity: Talk or presentation types › Invited talk
-
Matematiikan päivät 2026
Kontinen, J. (Attendee)
8 Jan 2026 → 9 Jan 2026Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Kai Sauerwald
Kontinen, J. (Host)
19 Jan 2026 → 23 Jan 2026Activity: Hosting a visitor types › Academic visit at UH
-
Nicolas Fröhlich
Kontinen, J. (Host)
8 Sept 2025 → 12 Sept 2025Activity: Hosting a visitor types › Academic visit at UH
-
WLD 2025 Logic in Estonia Workshop
Kontinen, J. (Attendee)
11 Jan 2025Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars