Valokuva: Juha Kontinen
  • Suomi

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20022021
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 2002 2019

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

Continuous Team Semantics

Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (toim.). Springer, Vuosikerta 11436. s. 262-278 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11436).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., elokuuta 2019, Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Facets of Distribution Identities in Probabilistic Team Semantics

Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (toim.). Springer, Vuosikerta 11468. s. 304-320 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11468).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 2019, 19 Sivumäärä

Tutkimustuotos: Kirja/raporttiTutkimusraporttiAmmatillinen

Projektit 2009 2021

Aktiviteetit 2001 2019

Leibniz Universität Hannover

Juha Kontinen (Vieraileva tutkija)
17 maaliskuuta 201929 maaliskuuta 2019

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

Juha Kontinen (Puhuja: esitelmän pitäjä)
7 toukokuuta 201911 toukokuuta 2019

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

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Juha Kontinen (Osallistuja)
13 tammikuuta 201918 tammikuuta 2019

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

The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020),

Juha Kontinen (Tieteellisen komitean jäsen)
toukokuuta 2019 → …

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

Jonni Virtema

Juha Kontinen (Isäntä)
23 huhtikuuta 201930 huhtikuuta 2019

Aktiviteetti: Vierailijan isännöinnin tyypitIsännöity akateeminen vierailu Helsingin yliopistossa