Valokuva Juha Kontinen
  • Suomi

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20022020

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

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: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2020, (Hyväksytty/In press) julkaisussa : Journal of Logic and Computation.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Projektit

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 2020heinäkuuta 2020

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, 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 2020elokuuta 2021

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Supervisor of the Master's thesis of Tuukka Ylönen.

Juha Kontinen (Ohjaaja)

tammikuuta 2020toukokuuta 2020

Aktiviteetti: TutkimustyypitMuun 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: TutkimustyypitVastaväittäjä

Leibniz University Hannover, Hannover, Germany

Juha Kontinen (Vieraileva tutkija)

7 tammikuuta 202010 tammikuuta 2020

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon