Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 111 Matematiikka
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Julkaisut
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 30 huhtikuuta 2020, julkaisussa : Journal of Computer and System Sciences. 15 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Descriptive complexity of real computation and probabilistic independence logic
Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., heinäkuuta 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, s. 550–563 14 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open access
Tiedosto
Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
Herzig, A. (toim.) & Kontinen, J. (toim.), 2020, Springer. 333 Sivumäärä (Lecture Notes in Computer Science)Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu
Polyteam Semantics
Hannula, M., Kontinen, J. & Virtema, J., 2020, (Hyväksytty/In press) julkaisussa : Journal of Logic and Computation.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
A Logical Approach to Context-Specific Independence
Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., syyskuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 9, s. 975-992 18 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open access
Tiedosto
Projektit
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
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)
Juha Kontinen (Tieteellisen komitean jäsen)
tammikuuta 2020 → heinäkuuta 2020
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
30 Years of Finite Model Theory in Finland
Juha Kontinen (Järjestäjätoimikunnan jäsen)
tammikuuta 2020 → elokuuta 2021
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
Supervisor of the Master's thesis of Tuukka Ylönen.
Juha Kontinen (Ohjaaja)
tammikuuta 2020 → toukokuuta 2020
Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
Member of the doctoral thesis committee of Martin Lück
Juha Kontinen (Vastaväittäjä)
9 tammikuuta 2020
Aktiviteetti: Tutkimustyypit › Vastaväittäjä
Leibniz University Hannover, Hannover, Germany
Juha Kontinen (Vieraileva tutkija)
7 tammikuuta 2020 → 10 tammikuuta 2020
Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon