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
-
Complete logics for elementary team properties
Kontinen, J. & Yang, F., kesäk. 2023, julkaisussa: Journal of Symbolic Logic. 88, 2, s. 579 - 619 41 Sivumäärä, PII S0022481222000809.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
A parameterized view on the complexity of dependence and independence logic
Kontinen, J., Meier, A. & Mahmood, Y., jouluk. 2022, julkaisussa: Journal of Logic and Computation. 33, 8, s. 1624–1644 21 Sivumäärä, exac070.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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. (toim.). Cham: Springer International Publishing, s. 125-142 18 Sivumäärä ( Lecture Notes in Computer Science; Vuosikerta 13137).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
On elementary logics for quantitative dependencies
Hannula, M., Hirvonen, M. & Kontinen, J., jouluk. 2022, julkaisussa: Annals of Pure and Applied Logic. 173, 10, 21 Sivumäärä, 103104.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Preface
Herzig, A. & Kontinen, J., maalisk. 2022, julkaisussa: Annals of Mathematics and Artificial Intelligence. 90, 2-3, s. 145-147 3 SivumääräTutkimustuotos: Artikkelijulkaisu › Pääkirjoitus › Tieteellinen
Open access
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
-
32th EACSL Annual Conference on Computer Science Logic (CSL 2024)
Juha Kontinen (Tieteellisen komitean jäsen)
maalisk. 2023 → helmik. 2024Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Leibniz University Hannover, Hannover, Germany
Juha Kontinen (Vieraileva tutkija)
23 tammik. 2023 → 3 helmik. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Universit ́e de Paris
Juha Kontinen (Vieraileva tutkija)
27 helmik. 2023 → 10 maalisk. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Logics in team semantics
Juha Kontinen (Puhuja)
3 kesäk. 2023Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Pre-examiner of the doctoral thesis of Jana Hofmann (Universität des Saarlandes)
Juha Kontinen (Ohjaaja)
12 jouluk. 2022Aktiviteetti: Tutkimustyypit › Väitöskirjan esitarkastaja