Research output per year
Research output per year
Personal profile
Fields of Science
- 111 Mathematics
International and National Collaboration
Publications and projects within past five years.
-
A parameterized view on the complexity of dependence and independence logic
Kontinen, J., Meier, A. & Mahmood, Y., Dec 2022, In: Journal of Logic and Computation. 33, 8, p. 1624–1644 21 p., exac070.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
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. (eds.). Cham: Springer International Publishing, p. 125-142 18 p. ( Lecture Notes in Computer Science; vol. 13137).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Complete logics for elementary team properties
Kontinen, J. & Yang, F., Dec 2022, (E-pub ahead of print) In: Journal of Symbolic Logic. PII S0022481222000809.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
On elementary logics for quantitative dependencies
Hannula, M., Hirvonen, M. & Kontinen, J., Dec 2022, In: Annals of Pure and Applied Logic. 173, 10, 21 p., 103104.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Preface
Herzig, A. & Kontinen, J., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 145-147 3 p.Research output: Contribution to journal › Editorial › Scientific
Open Access
Projects
- 8 Finished
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Project: Research project
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Project: Research project
-
-
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Project: Research project
-
Activities
-
32th EACSL Annual Conference on Computer Science Logic (CSL 2024)
Juha Kontinen (Scientific Committee Member)
Mar 2023 → Feb 2024Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Leibniz University Hannover, Hannover, Germany
Juha Kontinen (Visiting researcher)
23 Jan 2023 → 3 Feb 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Universit ́e de Paris
Juha Kontinen (Visiting researcher)
27 Feb 2023 → 10 Mar 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Logics in team semantics
Juha Kontinen (Speaker)
3 Jun 2023Activity: Talk or presentation types › Invited talk
-
Pre-examiner of the doctoral thesis of Jana Hofmann (Universität des Saarlandes)
Juha Kontinen (Supervisor)
12 Dec 2022Activity: Examination types › Pre-examiner of doctoral thesis